Some Facts
- Φ(G) is equal to the set of all non-generators or non-generating elements of G. A non-generating element of G is an element that can always be removed from a generating set; that is, an element a of G such that whenever X is a generating set of G containing a, X − {a} is also a generating set of G.
- Φ(G) is always a characteristic subgroup of G; in particular, it is always a normal subgroup of G.
- If G is finite, then Φ(G) is nilpotent.
- If G is a finite p-group, then Φ(G) = Gp . Thus the Frattini subgroup is the smallest (with respect to inclusion) normal subgroup N such that the quotient group G/N is an elementary abelian group, i.e., isomorphic to a direct sum of cyclic groups of order p. Moreover, if the quotient group G/Φ(G) (also called the Frattini quotient of G) has order pk, then k is the smallest number of generators for G (that is the smallest cardinality of a generating set for G). In particular a finite p-group is cyclic if and only if its Frattini quotient is cyclic (of order p). A finite p-group is elementary abelian if and only if its Frattini subgroup is the trivial group, Φ(G) = e.
An example of a group with nontrivial Frattini subgroup is the cyclic group G of order p2, where p is prime, generated by a, say; here, .
Read more about this topic: Frattini Subgroup
Famous quotes containing the word facts:
“The men the American people admire most extravagantly are the most daring liars; the men they detest most violently are those who try to tell them the truth. A Galileo could no more be elected President of the United States than he could be elected Pope of Rome. Both posts are reserved for men favored by God with an extraordinary genius for swathing the bitter facts of life in bandages of soft illusion.”
—H.L. (Henry Lewis)
“In general, Russia suffers from a frightening poverty in the sphere of facts and a frightening wealth of all types of arguments.”
—Anton Pavlovich Chekhov (1860–1904)