# Difference between revisions of "Hereditarily normal subgroup"

(4 intermediate revisions by the same user not shown) | |||

Line 1: | Line 1: | ||

+ | {{semistddef}} | ||

{{subgroup property}} | {{subgroup property}} | ||

− | + | {{group-subgroup property conjunction|transitively normal subgroup|Dedekind group}} | |

==Definition== | ==Definition== | ||

===Symbol-free definition=== | ===Symbol-free definition=== | ||

− | A subgroup of a group is termed '''hereditarily normal''' | + | A subgroup of a group is termed '''hereditarily normal''' or '''quasicentral''' if it satisfies the following equivalent conditions: |

+ | |||

+ | # Every subgroup of the subgroup is a [[defining ingredient::normal subgroup]] of the whole group. | ||

+ | # It is both a [[transitively normal subgroup]] of the whole group and a [[Dedekind group]]. | ||

+ | # All [[inner automorphism]]s of the whole group restrict to [[power automorphism]]s on the subgroup. | ||

===Definition with symbols=== | ===Definition with symbols=== | ||

− | A subgroup <math>H</math> of a group <math>G</math> is termed '''hereditarily normal''' | + | A subgroup <math>H</math> of a group <math>G</math> is termed '''hereditarily normal''' or '''quasicentral''' if it satisfies the following equivalent conditions: |

+ | |||

+ | # For every subgroup <math>K</math> of <math>H</math>, <math>K</math> is a [[normal subgroup]] of <math>G</math>. | ||

+ | # <math>H</math> is both a [[Dedekind group]] and a [[transitively normal subgroup]] of <math>G</math>. | ||

+ | # For any <math>g \in G</math>, the [[inner automorphism]] of <math>G</math> given by conjugation by <math>g</math> restricts to a [[power automorphism]] of <math>H</math>. | ||

+ | |||

+ | ==Formalisms== | ||

+ | {{obtainedbyapplyingthe|hereditarily operator|normal subgroup}} | ||

+ | |||

+ | The property of being hereditarily normal is a result of applying the [[hereditarily operator]] on the property of normality. | ||

+ | |||

+ | {{frexp}} | ||

− | == | + | {| class="wikitable" border="1" |

− | + | ! Function restriction expression !! <math>H</math> is a hereditarily normal subgroup of <math>G</math> if ... !! This means that "hereditarily normal" is ... !! Additional comments | |

+ | |- | ||

+ | | [[left side of function restriction expression::inner automorphism]] <math>\to</math> [[right side of function restriction expression::power automorphism]] || every inner automorphism of <math>G</math> restricts to a power automorphism of <math>H</math> || || | ||

+ | |- | ||

+ | | [[left side of function restriction expression::class-preserving automorphism]] <math>\to</math> [[right side of function restriction expression::power automorphism]] || every class-preserving automorphism of <math>G</math> restricts to a power automorphism of <math>H</math> || || | ||

+ | |- | ||

+ | | [[left side of function restriction expression::subgroup-conjugating automorphism]] <math>\to</math> [[right side of function restriction expression::power automorphism]] || every subgroup-conjugating automorphism of <math>G</math> restricts to a power automorphism of <math>H</math> || || | ||

+ | |- | ||

+ | | [[left side of function restriction expression::normal automorphism]] <math>\to</math> [[right side of function restriction expression::power automorphism]] || every normal automorphism of <math>G</math> restricts to a power automorphism of <math>H</math> || || | ||

+ | |} | ||

==Relation with other properties== | ==Relation with other properties== | ||

Line 18: | Line 43: | ||

===Stronger properties=== | ===Stronger properties=== | ||

− | + | {| class="sortable" border="1" | |

+ | ! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions | ||

+ | |- | ||

+ | | [[Weaker than::Central subgroup]] || contained in the [[center]] || [[central implies hereditarily normal]] || [[hereditarily normal not implies central]] || {{intermediate notions short|hereditarily normal subgroup|central subgroup}} | ||

+ | |- | ||

+ | | [[Weaker than::Cyclic normal subgroup]] || normal and [[cyclic group|cyclic as a group]] || || || {{intermediate notions short|hereditarily normal subgroup|cyclic normal subgroup}} | ||

+ | |- | ||

+ | | [[Weaker than::Abelian hereditarily normal subgroup]] || abelian subgroup and every subgroup of it is normal in whole group || || || {{intermediate notions short|hereditarily normal subgroup|abelian hereditarily normal subgroup}} | ||

+ | |} | ||

===Weaker properties=== | ===Weaker properties=== | ||

− | + | {| class="sortable" border="1" | |

− | + | ! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions | |

− | + | |- | |

+ | | [[Stronger than::SCAB-subgroup]] || every [[subgroup-conjugating automorphism]] of the whole group restricts to a subgroup-conjugating automorphism of the subgroup || [[hereditarily normal implies SCAB]] || [[SCAB not implies hereditarily normal]] || {{intermediate notions short|SCAB-subgroup|hereditarily normal subgroup}} | ||

+ | |- | ||

+ | | [[Stronger than::Transitively normal subgroup]] || every normal subgroup of it is normal in the whole group || || || {{intermediate notions short|transitively normal subgroup|hereditarily normal subgroup}} | ||

+ | |- | ||

+ | | [[Stronger than::Hereditarily permutable subgroup]] || every subgroup of it is [[permutable subgroup|permutable]] in the whole group || || || {{intermediate notions short|hereditarily permutable subgroup|hereditarily normal subgroup}} | ||

+ | |- | ||

+ | | [[Stronger than::Hereditarily subnormal subgroup]] || every subgroup of it is [[subnormal subgroup|subnormal]] in the whole group || || || {{intermediate notions short|hereditarily subnormal subgroup|hereditarily normal subgroup}} | ||

+ | |- | ||

+ | | [[Stronger than::Hereditarily pronormal subgroup]] || every subgroup of it is [[pronormal subgroup|pronormal]] in the whole group || || || {{intermediate notions short|hereditarily pronormal subgroup|hereditarily normal subgroup}} | ||

+ | |- | ||

+ | | [[Stronger than::Normal subgroup]] || || || || {{intermediate notions short|normal subgroup|hereditarily normal subgroup}} | ||

+ | |} | ||

==Metaproperties== | ==Metaproperties== |

## Latest revision as of 17:15, 18 January 2010

This article defines a term that has been used or referenced in a journal article or standard publication, but may not be generally accepted by the mathematical community as a standard term.[SHOW MORE]

This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties[SHOW MORE]

This article describes a property that arises as the conjunction of a subgroup property: transitively normal subgroup with a group property (itself viewed as a subgroup property): Dedekind group

View a complete list of such conjunctions

## Definition

### Symbol-free definition

A subgroup of a group is termed **hereditarily normal** or **quasicentral** if it satisfies the following equivalent conditions:

- Every subgroup of the subgroup is a normal subgroup of the whole group.
- It is both a transitively normal subgroup of the whole group and a Dedekind group.
- All inner automorphisms of the whole group restrict to power automorphisms on the subgroup.

### Definition with symbols

A subgroup of a group is termed **hereditarily normal** or **quasicentral** if it satisfies the following equivalent conditions:

- For every subgroup of , is a normal subgroup of .
- is both a Dedekind group and a transitively normal subgroup of .
- For any , the inner automorphism of given by conjugation by restricts to a power automorphism of .

## Formalisms

### In terms of the hereditarily operator

This property is obtained by applying the hereditarily operator to the property: normal subgroup

View other properties obtained by applying the hereditarily operator

The property of being hereditarily normal is a result of applying the hereditarily operator on the property of normality.

### 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

Function restriction expression | is a hereditarily normal subgroup of if ... | This means that "hereditarily normal" is ... | Additional comments |
---|---|---|---|

inner automorphism power automorphism | every inner automorphism of restricts to a power automorphism of | ||

class-preserving automorphism power automorphism | every class-preserving automorphism of restricts to a power automorphism of | ||

subgroup-conjugating automorphism power automorphism | every subgroup-conjugating automorphism of restricts to a power automorphism of | ||

normal automorphism power automorphism | every normal automorphism of restricts to a power automorphism of |

## Relation with other properties

### Stronger properties

Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|

Central subgroup | contained in the center | central implies hereditarily normal | hereditarily normal not implies central | Abelian hereditarily normal subgroup|FULL LIST, MORE INFO |

Cyclic normal subgroup | normal and cyclic as a group | Abelian hereditarily normal subgroup|FULL LIST, MORE INFO | ||

Abelian hereditarily normal subgroup | abelian subgroup and every subgroup of it is normal in whole group | |FULL LIST, MORE INFO |

### Weaker properties

Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|

SCAB-subgroup | every subgroup-conjugating automorphism of the whole group restricts to a subgroup-conjugating automorphism of the subgroup | hereditarily normal implies SCAB | SCAB not implies hereditarily normal | |FULL LIST, MORE INFO |

Transitively normal subgroup | every normal subgroup of it is normal in the whole group | SCAB-subgroup|FULL LIST, MORE INFO | ||

Hereditarily permutable subgroup | every subgroup of it is permutable in the whole group | |FULL LIST, MORE INFO | ||

Hereditarily subnormal subgroup | every subgroup of it is subnormal in the whole group | Nilpotent subnormal subgroup|FULL LIST, MORE INFO | ||

Hereditarily pronormal subgroup | every subgroup of it is pronormal in the whole group | |FULL LIST, MORE INFO | ||

Normal subgroup | Dedekind normal subgroup, SCAB-subgroup, Transitively normal subgroup|FULL LIST, MORE INFO |

## Metaproperties

### Left-hereditariness

This subgroup property is left-hereditary: any subgroup of a subgroup with this property also has this property. Hence, it is also a transitive subgroup property.

Since the left-hereditarily operator is idempotent, the property of being hereditarily normal is itself left hereditary (that is, every subgroup of a hereditarily normal subgroup is hereditarily normal).

Note that being a left-hereditary property, it is automatically transitive and also intersection-closed.

### Transfer condition

YES:This subgroup property satisfies the transfer condition: if a subgroup has the property in the whole group, its intersection with any subgroup has the property in that subgroup.

View other subgroup properties satisfying the transfer condition

Since normality satisfies the intermediate subgroup condition, and the left-hereditarily operator preserves the intermediate subgroup condition, the property of being hereditarily normal also satisfies the transfer. condition. Hence it also satisfies the intermediate subgroup condition.

### Trimness

The trivial group is obviously hereditarily normal.

The whole group is hereditarily normal if and only if *every* subgroup of the group is normal. Groups with this property are either Abelian groups or Hamiltonian groups.