Ad
related to: abelian group properties
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 ...
A free abelian group with basis has the following universal property: for every function from to an abelian group , there exists a unique group homomorphism from to which extends . [ 4 ] [ 9 ] Here, a group homomorphism is a mapping from one group to the other that is consistent with the group product law: performing a product before or after ...
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.
In mathematics, specifically in group theory, the direct product is an operation that takes two groups G and H and constructs a new group, usually denoted G × H.This operation is the group-theoretic analogue of the Cartesian product of sets and is one of several important notions of direct product in mathematics.
Many properties of a group – such as whether or not it is abelian, which elements are inverses of which elements, and the size and contents of the group's center – can be discovered from its Cayley table. A simple example of a Cayley table is the one for the group {1, −1} under ordinary multiplication:
A group with () = {} for some n in N is called a solvable group; this is weaker than abelian, which is the case n = 1. A group with () {} for all n in N is called a non-solvable group. A group with () = {} for some ordinal number, possibly infinite, is called a hypoabelian group; this is weaker than solvable, which is the case α is finite (a ...
In abstract algebra, a basic subgroup is a subgroup of an abelian group which is a direct sum of cyclic subgroups and satisfies further technical conditions. This notion was introduced by L. Ya. Kulikov (for p-groups) and by László Fuchs (in general) in an attempt to formulate classification theory of infinite abelian groups that goes beyond the Prüfer theorems.
A group is called torsion-free if it has no non-trivial torsion elements. The factor-group A/T(A) is the unique maximal torsion-free quotient of A and its rank coincides with the rank of A. The notion of rank with analogous properties can be defined for modules over any integral domain, the case of abelian groups corresponding to modules over Z.
Ad
related to: abelian group properties