Search results
Results from the WOW.Com Content Network
To qualify as an abelian group, the set and operation, (,), must satisfy four requirements known as the abelian group axioms (some authors include in the axioms some properties that belong to the definition of an operation: namely that the operation is defined for any ordered pair of elements of A, that the result is well-defined, and that the ...
Every elementary abelian p-group is a vector space over the prime field with p elements, and conversely every such vector space is an elementary abelian group. By the classification of finitely generated abelian groups, or by the fact that every vector space has a basis, every finite elementary abelian group must be of the form (Z/pZ) n for n a ...
Every subgroup of a free abelian group is itself free abelian; this fact allows a general abelian group to be understood as a quotient of a free abelian group by "relations", or as a cokernel of an injective homomorphism between free abelian groups. The only free abelian groups that are free groups are the trivial group and the infinite cyclic ...
Every abelian category A is a module over the monoidal category of finitely generated abelian groups; that is, we can form a tensor product of a finitely generated abelian group G and any object A of A. The abelian category is also a comodule; Hom(G,A) can be interpreted as an object of A.
The fundamental theorem of finitely generated abelian groups can be stated two ways, generalizing the two forms of the fundamental theorem of finite abelian groups.The theorem, in both forms, in turn generalizes to the structure theorem for finitely generated modules over a principal ideal domain, which in turn admits further generalizations.
An object in Ab is injective if and only if it is a divisible group; it is projective if and only if it is a free abelian group. The category has a projective generator (Z) and an injective cogenerator (Q/Z). Given two abelian groups A and B, their tensor product A⊗B is defined; it is again an abelian group.
Abelian varieties appear naturally as Jacobian varieties (the connected components of zero in Picard varieties) and Albanese varieties of other algebraic varieties. The group law of an abelian variety is necessarily commutative and the variety is non-singular. An elliptic curve is an abelian variety of dimension 1.
An abelian group A is torsion-free if and only if it is flat as a Z-module, which means that whenever C is a subgroup of some abelian group B, then the natural map from the tensor product C ⊗ A to B ⊗ A is injective. Tensoring an abelian group A with Q (or any divisible group) kills torsion. That is, if T is a torsion group then T ⊗ Q = 0.