Characteristic subgroup

From AoPSWiki

Revision as of 03:30, 15 May 2008 by Boy Soprano II (Talk | contribs)

(diff) ← Older revision | Current revision (diff) | Newer revision → (diff)

A characteristic subgroup of a group $G$ is a subgroup of $G$ that is stable under every automorphism on $G$ . Since the map $y \mapsto xyx^{-1}$ is an automorphism (specifically, an inner automorphism) on $G$ , for every $x$ , it follows that every characteristic subgroup of $G$ is also a normal subgroup of $G$ .

Examples

Every group is a characteristic subgroup of itself; a group's trivial subgroup is characteristic.

Let $n$ be a natural number that divides the order of $G$ . Then the set of elements $a$ of $G$ for which $\text{ord}(a)$ divides $n$ is a characteristic subgroup of $G$ . Since every subgroup of a cyclic group is cyclic, it follows that every subgroup of a cyclic group is a characteristic group.

In general, though, not every cyclic group of an Abelian group is characteristic. For instance, the Klein 4-group has no non-trivial characteristic subgroups, since any permutation of its non-identity elements is an automorphism. For an odd prime $p$ , the group $G=(\mathbb{Z}/p\mathbb{Z})^2$ has no nontrivial characteristic subgroups either. Indeed, for any $\alpha, \beta$ relatively prime to $p$ , the mapping $(a,b) \mapsto (\alpha a + \beta b, \alpha a - \beta b)$ is an automorphism, as is the mapping $(a,b) \mapsto (b,a)$ . Thus if $(a,0)$ ( $a \neq 0$ ) is a member of a characteristic subgroup, then so is $(0,a)$ , and these two evidently generate $G$ ; and if $(a,b)$ ( $a,b \neq 0$ ) is an element of a characteristic subroup, then setting $\alpha = b, \beta = a$ , we see that $(2ab,0)$ is an element of this characteristic subgroup; therefore so is all of $G$ .

This idea also shows that $(\mathbb{Z}/p\mathbb{Z})^n$ has no non-trivial characteristic subgroups, for any natural number $n$ . In fact, the characteristic subgroups of $(\mathbb{Z}/p^k\mathbb{Z})^n$ are of the form $(p^a \mathbb{Z}/p^k\mathbb{Z})^n$ , for some integer $a<k$ .