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:
“Whilst Marx turned the Hegelian dialectic outwards, making it an instrument with which he could interpret the facts of history and so arrive at an objective science which insists on the translation of theory into action, Kierkegaard, on the other hand, turned the same instruments inwards, for the examination of his own soul or psychology, arriving at a subjective philosophy which involved him in the deepest pessimism and despair of action.”
—Sir Herbert Read (1893–1968)
“Coincidence is a pimp and a cardsharper in ordinary fiction but a marvelous artist in the patterns of facts recollected by a non-ordinary memorist.”
—Vladimir Nabokov (1899–1977)