Automorph-conjugate subgroup

From Groupprops

BEWARE! This term is nonstandard and is being used locally within the wiki. For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this | Survey articles about this
Learn more about terminology local to the wiki | view a complete list of such terminology

This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof.
View a complete list of subgroup properties|Get subgroup property lookup help |Get exploration suggestions
VIEW RELATED: Subgroup property implications | Subgroup property non-implications | Subgroup metaproperty satisfactions | Subgroup metaproperty dissatisfactions | |
RANDOM SUBGROUP PROPERTY: Permutable subgroup: A subgroup that commutes with every other subgroup. May not be normal.

This is a variation of characteristicity
View a complete list of variations of characteristicity OR read a survey article on varying characteristicity

History

This subgroup property was studied somewhat by Wielandt, who dubbed them intravariant subgroups.

This term is local to the wiki. To learn more about why this name was chosen for the term, and how it does not conflict with existing choice of terminology, refer the talk page.

Definition

Symbol-free definition

A subgroup of a group is termed automorph-conjugate (or intravariant) if it satisfies the following equivalent conditions:

Any automorph (i.e. any subgroup to which it can go via an automorphism of the whole group), is also conjugate to the subgroup.
Whenever the bigger group is embedded as a normal subgroup of some ambient group, the product of the bigger group with the normalizer of the smaller group in the ambient group, is the whole group.

Definition with symbols

A subgroup $H$ of a group $G$ is termed automorph-conjugate (or intravariant) in $G$ if it satisfies the following equivalent conditions:

For any automorphism $σ$ of $G$ , $H$ and $σ(H)$ are conjugate subgroups in $G$ (that is, there exists $g \in G$ such that $σ(H) = g H g - 1$ ).
Whenever $G \triangleleft M$ for some group $M$ , $G N M (H) = M$ .

The latter formulation is important because it provides the necessary and sufficient conditions for Frattini's argument to go through.

Equivalence of definitions

Check out Frattini's argument.

Formalisms

BEWARE! This section of the article uses terminology local to the wiki, possibly without giving a full explanation of the terminology used (though efforts have been made to clarify terminology as much as possible within the particular context)

Relation implication expression

This subgroup property can be defined and viewed using a relation implication expression
View all subgroup properties having such expressions

The subgroup property of being automorph-conjugate can be expressed as automorph $\implies$ conjugate subgroups. In other words, $H$ is automorph-conjugate in $G$ iff for every automorph $K$ of $H$ , $H$ and $K$ are conjugate subgroups.

Relation with other properties

Stronger properties

Order-dominating subgroup
Homomorph-dominating subgroup when the subgroup is a co-Hopfian group.
Endomorph-dominating subgroup when the subgroup is a co-Hopfian group.
Isomorph-conjugate subgroup
Characteristic subgroup: For full proof, refer: Characteristic implies automorph-conjugate
Sylow subgroup: For full proof, refer: Sylow implies automorph-conjugate
Intermediately automorph-conjugate subgroup

Weaker properties

Conjunction with other properties

Any normal automorph-conjugate subgroup is characteristic. Thus, this subgroup property is normal-to-characteristic

For full proof, refer: Automorph-conjugate and normal equals characteristic

Related group properties

A group in which every automorph-conjugate subgroup is characteristic is termed an ACIC-group.

Metaproperties

Transitivity

This subgroup property is transitive: a subgroup with this property in a subgroup with this property, also has this property.
View a complete list of transitive subgroup properties|View a complete list of facts related to transitivity of subgroup properties

If $H$ is an automorph-conjugate subgroup of $K$ and $K$ is an automorph-conjugate subgroup of $G$ , then $H$ is an automorph-conjugate subgroup of $G$ .

For full proof, refer: Automorph-conjugacy is transitive

Trimness

This subgroup property is trim -- it is both trivially true (true for the trivial subgroup) and identity-true (true for a group as a subgroup of itself)
View all trim subgroup properties OR view trivially true subgroup properties OR view identity-true subgroup properties

Intersection-closedness

This subgroup property is not intersection-closed, viz., it is not true that an intersection of subgroups with this property must have this property
Read an article on methods to prove that a subgroup property is not intersection-closed

An intersection of automorph-conjugate subgroups need not be automorph-conjugate. In fact, an intersection of conjugate automorph-conjugate subgroups need not be automorph-conjugate either. For full proof, refer: Automorph-conjugacy is not intersection-closed, Automorph-conjugacy is not conjugate-intersection-closed

Intermediate subgroup condition

This subgroup property does not satisfy the intermediate subgroup condition

The property of being automorph-conjugate does not satisfy the intermediate subgroup condition.

Join-closedness

This subgroup property is not join-closed, viz., it is not true that an intersection of subgroups with this property must have this property
Read an article on methods to prove that a subgroup property is not join-closed

A join of automorph-conjugate subgroups need not be automorph-conjugate. For full proof, refer: Automorph-conjugacy is not join-closed

Centralizer-closedness

This subgroup property is centralizer-closed: the centralizer of any subgroup with this property, in the whole group, again has this property
View a complete list of centralizer-closed subgroup properties

The centralizer of an automorph-conjugate subgroup of a group is again automorph-conjugate. For full proof, refer: Automorph-conjugacy is centralizer-closed

Normalizer-closedness

This subgroup property is normalizer-closed: the normalizer of any subgroup with this property, in the whole group, again has this property
View a complete list of normalizer-closed subgroup properties

The normalizer of an automorph-conjugate subgroup of a group is again automorph-conjugate. For full proof, refer: Automorph-conjugacy is normalizer-closed

Effect of operators

Intermediately operator

The result of applying the intermediately operator to the property of being automorph-conjugate gives the property of being an intermediately automorph-conjugate subgroup. This implies the property of being pronormal.

Testing

GAP code

One can write code to test this subgroup property in GAP (Groups, Algorithms and Programming), though there is no direct command for it.
View other GAP-codable subgroup properties | View subgroup properties with in-built commands

Here is a short piece of code that can be used to test whether a subgroup in a finite group is automorph-conjugate. The code is not very efficient.

AutomorphicImage := function(a,K)
		 local L, g;
		 L := List([]);
		 for g in Set(K) do
		     Add(L,g^a);
		 od;
		 return Group(L);
end;;

IsAutomorphConjugateSubgroup := function(G,H)
		     local A, s;
		     A := AutomorphismGroup(G);
		     for s in A do
		     	 if not (AutomorphicImage(s,H) in ConjugateSubgroups(G,H)) then
			    return false;
			    fi;
			 od;
		     return true;
end;;

References

Journal references

Paper:Wielandt58^{More info}

Defined in	Wielandt58 (?, ?, ?) +
Defining ingredient	Automorph +, Conjugate subgroups +, Normal subgroup +, and Normalizer +
Referenced in	Wielandt58 (?, ?, ?) +
Stronger than	Intersection of automorph-conjugate subgroups +, Join of automorph-conjugate subgroups +, Core-characteristic subgroup +, Closure-characteristic subgroup +, and Normal-to-characteristic subgroup +
Weaker than	Order-dominating subgroup +, Isomorph-conjugate subgroup +, Characteristic subgroup +, Sylow subgroup +, and Intermediately automorph-conjugate subgroup +