Search results
Results from the WOW.Com Content Network
A proper subgroup of a group G is a subgroup H which is a proper subset of G (that is, H ≠ G). This is often represented notationally by H < G, read as "H is a proper subgroup of G". Some authors also exclude the trivial group from being proper (that is, H ≠ {e} ). [2] [3] If H is a subgroup of G, then G is sometimes called an overgroup of H.
Similarly, a normal subgroup N of G is said to be a maximal normal subgroup (or maximal proper normal subgroup) of G if N < G and there is no normal subgroup K of G such that N < K < G. We have the following theorem: Theorem: A normal subgroup N of a group G is a maximal normal subgroup if and only if the quotient G/N is simple.
For example, the subgroup Z 7 of the non-abelian group of order 21 is normal (see List of small non-abelian groups and Frobenius group#Examples). An alternative proof of the result that a subgroup of index lowest prime p is normal, and other properties of subgroups of prime index are given in .
A maximal compact subgroup is a maximal subgroup amongst compact subgroups – a maximal (compact subgroup) – rather than being (alternate possible reading) a maximal subgroup that happens to be compact; which would probably be called a compact (maximal subgroup), but in any case is not the intended meaning (and in fact maximal proper subgroups are not in general compact).
The reason is that for such a group G, the Frattini subgroup of G contains the commutator subgroup of G and hence the rank of G is equal to the rank of the abelianization of G. [14] The rank problem is undecidable for word hyperbolic groups. [15] The rank problem is decidable for torsion-free Kleinian groups. [16]
One of the non-abelian groups is the semidirect product of a normal cyclic subgroup of order p 2 by a cyclic group of order p. The other is the quaternion group for p = 2 and a group of exponent p for p > 2. Order p 4: The classification is complicated, and gets much harder as the exponent of p increases.
Subgroup growth studies these functions, their interplay, and the characterization of group theoretical properties in terms of these functions. The theory was motivated by the desire to enumerate finite groups of given order, and the analogy with Mikhail Gromov 's notion of word growth .
The subgroup of M 22 fixing a point in the 3-transitive 22-point permutation representation is sometimes called M 21, and is isomorphic to PSL(3,4) (i.e. isomorphic to A 2 (4)). A 4-transitive permutation group on 23 points, and is the point stabilizer of M 24 (in the 5-transitive 24-point permutation representation of M 24 ).