Visit

Groupprops, The Group Properties Wiki (pre-alpha)

YOUR FEEDBACK IS IMPORTANT!

Please take a short user satisfaction survey about Groupprops.

Your survey responses will be helpful in improving the site experience!

Thanks in advance!

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 property implications | Subgroup property non-implications |
VIEW FACTS THAT:| prove, or show that, a subgroup satisfies the property
RANDOM TIP:The testing section provides information on practical testing for the subgroup property, including implementation in GAP, when possible.

Definition

A subgroup of a group is termed a normal-extensible automorphism-invariant subgroup' if it is invariant under every normal-extensible automorphism of the whole group.

Formalisms

Function restriction expression

This subgroup property is a function restriction-expressible subgroup property: it can be expressed by means of the function restriction formalism, viz there is a function restriction expression for it.
Find other function restriction-expressible subgroup properties | View the function restriction formalism chart for a graphic placement of this property

The property of being a normal-extensible automorphism-invariant subgroup can be expressed as the invariance property:

Normal-extensible automorphism Function

It can also be expressed as the endo-invariance property:

Normal-extensible automorphism Endomorphism

Finally, since the inverse of a normal-extensible automorphism is also normal-extensible, it can be expressed as an auto-invariance property:

Normal-extensible automorphism Automorphism

Relation with other properties

Stronger properties

• Characteristic-extensible automorphism-invariant subgroup
  • Characteristic-potentially characteristic subgroup
• Normal-potentially characteristic subgroup
• Normal-potentially relatively characteristic subgroup

Weaker properties

• Normal subgroup: For proof of the implication, refer Normal-extensible automorphism-invariant implies normal and for proof of its strictness (i.e. the reverse implication being false) refer Normal not implies normal-extensible automorphism-invariant.

Metaproperties

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 other trim subgroup properties | View other trivially true subgroup properties | View other identity-true subgroup properties

Intersection-closedness

YES: This subgroup property is intersection-closed: an arbitrary (nonempty) intersection of subgroups with this property, also has this property.
ABOUT THIS PROPERTY: |
ABOUT INTERSECTION-CLOSEDNESS: View all intersection-closed subgroup properties (or, strongly intersection-closed properties) | View all subgroup properties that are not intersection-closed | Read a survey article on proving intersection-closedness | Read a survey article on disproving intersection-closedness

Join-closedness

YES: This subgroup property is join-closed: an arbitrary (nonempty) join of subgroups with this property, also has this property.
ABOUT THIS PROPERTY: |
ABOUT JOIN-CLOSEDNESS: View all join-closed subgroup properties (or, strongly join-closed properties) | View all subgroup properties that are not join-closed | Read a survey article on proving join-closedness | Read a survey article on disproving join-closedness