Visit

Groupprops, The Group Properties Wiki (pre-alpha)

TIP: Having trouble locating the wiki page for a term/definition? Get tips

ABOUT US: We use Semantic MediaWiki. Learn more about using Semantic MediaWiki

ALSO CHECK OUT: Commalg: The Commutative Algebra Wiki

From Groupprops

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]

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: Facts about this | Survey articles about this |
VIEW RELATED:
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[SHOW MORE]

VIEW RELATED: Subgroup metaproperty satisfactions | Subgroup metaproperty dissatisfactions |
VIEW FACTS THAT:|
RANDOM SUBGROUP PROPERTY: Automorph-conjugate subgroup: A subgroup of a group that is conjugate to any automorphic subgroup. Any characteristic subgroup is automorph-conjugate.

Definition

Definition with symbols

• (Left-action convention): A subgroup H of a group G is termed procharacteristic in G if, for any automorphism σ of G, there exists such that gHg ^{− 1} = σ(H).
• (Right-action convention): A subgroup H of a group G is termed procharacteristic in G if, for any automorphism σ of G, there exists such that H^g = H^σ.

Relation with other properties

Stronger properties

• Characteristic subgroup
• Intermediately isomorph-conjugate subgroup

Weaker properties

• Automorph-conjugate subgroup
• Weakly procharacteristic subgroup
• Pronormal subgroup
• Weakly pronormal subgroup

Facts

• Any procharacteristic subgroup of a normal subgroup is pronormal. Further information: Procharacteristic of normal implies pronormal
• A subgroup H of a group G is procharacteristic in G if and only if whenever G is normal in some group K, H is pronormal in K. Further information: Left residual of pronormal by normal is procharacteristic