Search results
Results from the WOW.Com Content Network
In mathematics, the term maximal subgroup is used to mean slightly different things in different areas of algebra. In group theory, a maximal subgroup H of a group G is a proper subgroup, such that no proper subgroup K contains H strictly. In other words, H is a maximal element of the partially ordered set of subgroups of G that are not equal to G.
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 lattice of subgroups of the infinite cyclic group can be described in the same way, as the dual of the divisibility lattice of all positive integers. If the infinite cyclic group is represented as the additive group on the integers, then the subgroup generated by d is a subgroup of the subgroup generated by e if and only if e is a divisor ...
If H is a subgroup of G, then the largest subgroup of G in which H is normal is the subgroup N G (H). If S is a subset of G such that all elements of S commute with each other, then the largest subgroup of G whose center contains S is the subgroup C G (S). A subgroup H of a group G is called a self-normalizing subgroup of G if N G (H) = H.
G 0 is the trivial subgroup; G i is a normal subgroup of G i+1 (for every i between 0 and n - 1) and the quotient group G i+1 / G i is a cyclic group (for every i between 0 and n - 1) A metacyclic group is a polycyclic group with n ≤ 2, or in other words an extension of a cyclic group by a cyclic group.
A large subgroup H (preferably a maximal subgroup) of the Monster is selected in which it is easy to perform calculations. The subgroup H chosen is 3 1+12.2.Suz.2, where Suz is the Suzuki group. Elements of the monster are stored as words in the elements of H and an extra generator T.
A maximal torus in G is a maximal abelian subgroup, but the converse need not hold. [4] The maximal tori in G are exactly the Lie subgroups corresponding to the maximal abelian subalgebras of [5] (cf. Cartan subalgebra) Every element of G lies in some maximal torus; thus, the exponential map for G is surjective.
M 12 has a simple subgroup of order 660, a maximal subgroup. That subgroup is isomorphic to the projective special linear group PSL 2 ( F 11 ) over the field of 11 elements . With −1 written as a and infinity as b , two standard generators are (0123456789a) and (0b)(1a)(25)(37)(48)(69).