PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] proof that abelian groups form an abelian category (Proof)

Anyone with an account can edit this entry. Please help improve it!

"proof that abelian groups form an abelian category" is owned by mps. [ full author list (3) ]
(view preamble | get metadata)

View style:

See Also: alternative definition of an Abelian category, index of categories, examples of abelian categories

Other names:  category $Ab$ of Abelian groups
Also defines:  category Ab of abelian groups
Keywords:  proof, Abelian category of Abelian groups

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: alternative definition of an Abelian category, implies, surjections, epimorphism, formula, kernel, monomorphism, order, well-defined, group homomorphism, quotient group, subgroup, injective, normal subgroup, inclusion, subset, cokernels, has kernels, products, finite, abelian, Cartesian product, categorical direct product, zero object, group, proofs, diagram, distributes over, morphisms, composition, identity, homomorphism, function, addition, associativity, commutativity, operation, elements, axioms, abelian category, abelian groups, category
There are 2 references to this entry.

This is version 9 of proof that abelian groups form an abelian category, born on 2007-02-20, modified 2009-01-07.
Object id is 8932, canonical name is ProofThatAbelianGroupsFormAnAbelianCategory.
Accessed 1918 times total.

Classification:
AMS MSC18E10 (Category theory; homological algebra :: Abelian categories :: Exact categories, abelian categories)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)