Characteristic closure: Difference between revisions

Latest revision as of 00:51, 12 January 2010

This article is about a standard (though not very rudimentary) definition in group theory. The article text may, however, contain more than just the basic definition
VIEW: Definitions built on this | Facts about this: (facts closely related to Characteristic closure, all facts related to Characteristic closure) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a complete list of semi-basic definitions on this wiki

This article defines a subgroup operator related to the subgroup property characteristic subgroup. By subgroup operator is meant an operator that takes as input a subgroup of a group and outputs a subgroup of the same group.

Definition

QUICK PHRASES: smallest characteristic subgroup containing, intersection of all characteristic subgroups containing, join of all automorphic subgroups

Symbol-free definition

The characteristic closure of a subgroup in a group can be defined in any of the following equivalent ways:

As the intersection of all characteristic subgroups containing the given subgroup
As the subgroup generated by all automorphic subgroups to the given subgroup
As the set of all elements that can be written as products of finite length of elements from the subgroup and their automorphs

The characteristic closure of a subset is defined as the characteristic closure of the subgroup generated by that subset.

Definition with symbols

The characteristic closure of a subgroup $H$ in a group $G$ is defined in the following equivalent ways:

As the intersection of all characteristic subgroups of $G$ containing $H$
As the subgroup generated by all $\sigma (H)$ where $\sigma \in \operatorname {Aut} (G)$

The characteristic closure of a subset $A$ in $G$ is defined as the characteristic closure of the subgroup generated, i.e., of $\langle A\rangle$ in $G$ .

Relation with other operators

Related operators

Normal closure operator

The fact that characteristicity is the left transiter for normality has an interesting implication on the relation between characteristic closure and normal closure. Namely, given a subgroup $H$ of $G$ , the characteristic closure of $H$ in $G$ is the smallest subgroup $L$ containing $H$ such that whenever $G\triangleleft K$ , $L\triangleleft K$ .

In other words, the normal closure of a subgroup may not remain a normal closure if we expand the bigger group. However,the characteristic closure remains normal even in an expanded bigger group (as long we we expand normally).

Facts

Characteristic closure of a minimal normal subgroup is a direct power of it

We can prove that for any minimal normal subgroup, the characteristic closure is a direct product of its automorphs. The idea of the proof is induction -- we build a collection of automorphs of the minimal normal subgroup. At each stage, we check if the automorphs generate the characteristic closure. If they do, then we have shown that the characteristic closure is a direct product of automorphs.

Otherwise, there is some automorph not in the direct product of automorphs so far. Since this automorph is again a minimal normal subgroup, it must intersect the direct product so far, trivially. Thus, we have got a bigger direct product.

@@ Line 1: / Line 1: @@
-{{subgroupoperatorrelatedto|characteristicity}}
 {{semibasicdef}}
+{{subgroup operator related to|characteristic subgroup}}
 ==Definition==
+{{quick phrase|[[quick phrase::smallest characteristic subgroup containing]], [[quick phrase::intersection of all characteristic subgroups containing]], [[quick phrase::join of all automorphic subgroups]]}}
 ===Symbol-free definition===
-The '''normal closure'''  of a [[subgroup]] in a [[group]] can be defined in any of the following equivalent ways:
+The '''characteristic closure'''  of a [[subgroup]] in a [[group]] can be defined in any of the following equivalent ways:
-* As the intersection of all [[characteristic subgroup]]s containing the given subgroup
+* As the intersection of all [[defining ingredient::characteristic subgroup]]s containing the given subgroup
-* As the subgroup generated by all [[automorphs]] to the given subgroup
+* As the subgroup generated by all [[defining ingredient::automorphic subgroups]] to the given subgroup
 * As the set of all elements that can be written as products of finite length of elements from the subgroup and their automorphs
+The '''characteristic closure of a subset''' is defined as the characteristic closure of the [[defining ingredient::subgroup generated by a subset|subgroup generated]] by that subset.
 ===Definition with symbols===
-The '''normal closure''' of a [[subgroup]] <math>H</math> in a [[group]] <math>G</math>, denoted as <math>\langle H^G \rangle</math> is defined in the following equivalent ways:
+The '''characteristic closure''' of a [[subgroup]] <math>H</math> in a [[group]] <math>G</math> is defined in the following equivalent ways:
+* As the intersection of all [[characteristic subgroup]]s of <math>G</math> containing <math>H</math>
+* As the subgroup generated by all <math>\sigma(H)</math> where <math>\sigma \in \operatorname{Aut}(G)</math>
-* As the intersection of all [[normal subgroup]]s of <math>G</math> containing <math>H</math>
+The '''characteristic closure of a subset''' <math>A</math> in <math>G</math> is defined as the characteristic closure of the [[defining ingredient::subgroup generated by a subset|subgroup generated]], i.e., of <math>\langle A \rangle</math> in <math>G</math>.
-* As the subgroup generated by all <math>\sigma(H)</math> where <math>\sigma \in Aut(G)</math>
 ==Relation with other operators==
 ===Related operators===
-* [[Fully characteristic closure]]
+* [[Fully invariant closure]]
 * [[Normal closure]]
 * [[Characteristic core]]