Characteristic subgroup: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Vipul Naik
No edit summary
 
imported>Richard Pinch
(corrected definition of fully invariant)
(6 intermediate revisions by 4 users not shown)
Line 1: Line 1:
==Definition==
{{subpages}}


A [[subgroup]] ''H'' of a [[group]] ''G'' is termed '''characteristic''' if the following holds: Given any automorphism <math>\sigma</math> of ''G'' and any element ''h'' in ''H'', <math>\sigma(h) \in H</math>.
In [[group theory]], a [[subgroup]] ''H'' of a [[group]] ''G'' is termed '''characteristic''' if it mapped to itself by any [[group automorphism]], that is: given any automorphism <math>\sigma</math> of ''G'' and any element ''h'' in ''H'', <math>\sigma(h) \in H</math>.


Any characteristic subgroup of a group is [[normal subgroup|normal]].
Any characteristic subgroup of a group is [[normal subgroup|normal]], but the converse does not always hold.
 
A '''fully invariant''' subgroup is one mapped to itself by any [[endomorphism]] of the group: that is, if ''f'' is any [[group homomorphism|homomorphism]] from ''G'' to itself, then <math>f[H] \subseteq H</math>.  Fully invariant subgroups are characteristic, but again the converse does not always hold.


==Some elementary examples and non-examples==
==Some elementary examples and non-examples==
Line 9: Line 11:
===Functions giving subgroups===
===Functions giving subgroups===


Any procedure that, for any given group, outputs a unique subgroup of it, must output a characteristic subgroup. Thus, for instance, the [[center]] of any group is a characteristic subgroup. The center is defined as the set of elements that commute with all elements. It is characteristic because the property of commuting with all elements does not change upon performing automorphisms.
The group itself and the trivial subgroup are characteristic.
 
Any procedure that, for any given group, outputs a unique subgroup of it, must output a characteristic subgroup. Thus, for instance, the [[centre of a group]] is a characteristic subgroup. The center is defined as the set of elements that commute with all elements. It is characteristic because the property of commuting with all elements does not change upon performing automorphisms.


Similarly, the [[Frattini subgroup]], which is defined as the intersection of all maximal subgroups, is characteristic because any automorphism will take a maximal subgroup to a maximal subgroup.
Similarly, the [[Frattini subgroup]], which is defined as the intersection of all maximal subgroups, is characteristic because any automorphism will take a maximal subgroup to a maximal subgroup.
The [[commutator subgroup]] is characteristic because an automorphism permutes the generating [[commutator]]s


===Non-examples===
===Non-examples===
Line 19: Line 25:
There are also examples of normal subgroups which are not characteristic. The easiest class of examples is as follows. Take any nontrivial group ''G''. Then consider ''G'' as a subgroup of <math>G \times G</math>. The first copy ''G'' is a normal subgroup, but it is not characteristic, because it is not invariant under the exchange automorphism <math>(x,y) \mapsto (y,x)</math>.
There are also examples of normal subgroups which are not characteristic. The easiest class of examples is as follows. Take any nontrivial group ''G''. Then consider ''G'' as a subgroup of <math>G \times G</math>. The first copy ''G'' is a normal subgroup, but it is not characteristic, because it is not invariant under the exchange automorphism <math>(x,y) \mapsto (y,x)</math>.


[[Category:Mathematics Workgroup]]
==References==
* {{cite book | author=Marshall Hall jr | title=The theory of groups | publisher=Macmillan | location=New York | year=1959 | pages=31 }}

Revision as of 02:37, 18 November 2008

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In group theory, a subgroup H of a group G is termed characteristic if it mapped to itself by any group automorphism, that is: given any automorphism of G and any element h in H, .

Any characteristic subgroup of a group is normal, but the converse does not always hold.

A fully invariant subgroup is one mapped to itself by any endomorphism of the group: that is, if f is any homomorphism from G to itself, then . Fully invariant subgroups are characteristic, but again the converse does not always hold.

Some elementary examples and non-examples

Functions giving subgroups

The group itself and the trivial subgroup are characteristic.

Any procedure that, for any given group, outputs a unique subgroup of it, must output a characteristic subgroup. Thus, for instance, the centre of a group is a characteristic subgroup. The center is defined as the set of elements that commute with all elements. It is characteristic because the property of commuting with all elements does not change upon performing automorphisms.

Similarly, the Frattini subgroup, which is defined as the intersection of all maximal subgroups, is characteristic because any automorphism will take a maximal subgroup to a maximal subgroup.

The commutator subgroup is characteristic because an automorphism permutes the generating commutators

Non-examples

Since every characteristic subgroup is normal, an easy way to find examples of subgroups which are not characteristic is to find subgroups which are not normal. For instance, the subgroup of order two in the symmetric group on three elements, is a non-normal subgroup.

There are also examples of normal subgroups which are not characteristic. The easiest class of examples is as follows. Take any nontrivial group G. Then consider G as a subgroup of . The first copy G is a normal subgroup, but it is not characteristic, because it is not invariant under the exchange automorphism .

References

  • Marshall Hall jr (1959). The theory of groups. New York: Macmillan, 31.