The Group Properties Wiki (pre-alpha)
TIP: Read more about how the definition in Groupprops is structured
ABOUT US: We use a Creative Commons license. All our content is free to reuse, with attribution. Learn more
ALSO CHECK OUT: Topospaces: The Topology Wiki
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
such that σ(H) = gHg − 1).
- Whenever
for some group M, GNM(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
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
- Intersection of automorph-conjugate subgroups
- Join of automorph-conjugate subgroups
- Core-characteristic subgroup
- Closure-characteristic subgroup
- Normal-to-characteristic subgroup
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

