Existence of Subgroups of Given Order
Lagrange's theorem raises the converse question as to whether every divisor of the order of a group is the order of some subgroup. This does not hold in general: given a finite group G and a divisor d of |G|, there does not necessarily exist a subgroup of G with order d. The smallest example is the alternating group G = A4, which has 12 elements but no subgroup of order 6. A CLT group is a finite group with the property that for every divisor of the order of the group, there is a subgroup of that order. It is known that a CLT group must be solvable and that every supersolvable group is a CLT group: however there exist solvable groups that are not CLT and CLT groups that are not supersolvable.
There are partial converses to Lagrange's theorem. For general groups, Cauchy's theorem guarantees the existence of an element, and hence of a cyclic subgroup, of order any prime dividing the group order; Sylow's theorem extends this to the existence of a subgroup of order equal to the maximal power of any prime dividing the group order. For solvable groups, Hall's theorems assert the existence of a subgroup of order equal to any unitary divisor of the group order (that is, a divisor coprime to its cofactor).
Read more about this topic: Lagrange's Theorem (group Theory)
Famous quotes containing the words existence of, existence and/or order:
“‘Tis going, I own, like the Knight of the Woeful Countenance, in quest of melancholy adventures—but I know not how it is, but I am never so perfectly conscious of the existence of a soul within me, as when I am entangled in them.”
—Laurence Sterne (1713–1768)
“The duty of the State toward the citizen is the duty of the servant to its master.... One of the duties of the State is that of caring for those of its citizens who find themselves the victims of such adverse circumstances as makes them unable to obtain even the necessities for mere existence without the aid of others.... To these unfortunate citizens aid must be extended by government—not as a matter of charity but as a matter of social duty.”
—Franklin D. Roosevelt (1882–1945)
“The sick man is taken away by the institution that takes charge not of the individual, but of his illness, an isolated object transformed or eliminated by technicians devoted to the defense of health the way others are attached to the defense of law and order or tidiness.”
—Michel de Certeau (1925–1986)