Search results
Results from the WOW.Com Content Network
A free group of rank k clearly has subgroups of every rank less than k. Less obviously, a (nonabelian!) free group of rank at least 2 has subgroups of all countable ranks. The commutator subgroup of a free group of rank k > 1 has infinite rank; for example for F(a,b), it is freely generated by the commutators [a m, b n] for non-zero m and n ...
Abelian groups of rank 0 are exactly the periodic abelian groups. The group Q of rational numbers has rank 1. Torsion-free abelian groups of rank 1 are realized as subgroups of Q and there is a satisfactory classification of them up to isomorphism. By contrast, there is no satisfactory classification of torsion-free abelian groups of rank 2. [2]
The problem asks, for a particular class of finitely presented groups if there exists an algorithm that, given a finite presentation of a group from the class, computes the rank of that group. The rank problem is one of the harder algorithmic problems studied in group theory and relatively little is known about it. Known results include:
An important step in the proof of the classification of finitely generated abelian groups is that every such torsion-free group is isomorphic to a . A non-finitely generated countable example is given by the additive group of the polynomial ring Z [ X ] {\displaystyle \mathbb {Z} [X]} (the free abelian group of countable rank).
F 4 (q) has a non-trivial graph automorphism when q is a power of 2. These groups are the automorphism groups of 8-dimensional Cayley algebras over finite fields, which gives them 7-dimensional representations. They also act on the corresponding Lie algebras of dimension 14. G 2 (q) has a non-trivial graph automorphism when q is a power of 3
If a group has nilpotency class at most n, then it is sometimes called a nil-n group. It follows immediately from any of the above forms of the definition of nilpotency, that the trivial group is the unique group of nilpotency class 0, and groups of nilpotency class 1 are exactly the non-trivial abelian groups. [2] [3]
The automorphism groups of two infinite-rank free abelian groups have the same first-order theories as each other, if and only if their ranks are equivalent cardinals from the point of view of second-order logic. This result depends on the structure of involutions of free abelian groups, the automorphisms that are their own inverse. Given a ...
Order p 4: The classification is complicated, and gets much harder as the exponent of p increases. Most groups of small order have a Sylow p subgroup P with a normal p-complement N for some prime p dividing the order, so can be classified in terms of the possible primes p, p-groups P, groups N, and actions of P on N. In some sense this reduces ...