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:
“Science is facts. Just as houses are made of stones, so is science made of facts. But a pile of stones is not a house and a collection of facts is not necessarily science.”
—Jules Henri Poincare (1854–1912)
“Had Adam tenderly reproved his wife, and endeavored to lead her to repentance instead of sharing in her guilt, I should be much more ready to accord to man that superiority which he claims; but as the facts stand disclosed by the sacred historian, it appears to me that to say the least, there was as much weakness exhibited by Adam as by Eve. They both fell from innocence, and consequently from happiness, but not from equality.”
—Sarah M. Grimke (1792–1873)