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:
“Still, it will sometimes strike a scientific man that the philosophers have been less intent on finding out what the facts are, than on inquiring what belief is most in harmony with their system.”
—Charles Sanders Peirce (1839–1914)
“Now, what I want is, Facts. Teach these boys and girls nothing but Facts. Facts alone are wanted in life. Plant nothing else, and root out everything else. You can only form the minds of reasoning animals upon Facts: nothing else will ever be of any service to them. This is the principle on which I bring up my own children, and this is the principle on which I bring up these children. Stick to Facts, sir!”
—Charles Dickens (1812–1870)