# Difference between revisions of "Hereditarily normal subgroup"

m (2 revisions) |
|||

Line 11: | Line 11: | ||

A subgroup <math>H</math> of a group <math>G</math> is termed '''hereditarily normal''' (sometimes, '''quasicentral''') if for any subgroup <math>K \le H</math>, <math>K</math> is normal in <math>G</math>. | A subgroup <math>H</math> of a group <math>G</math> is termed '''hereditarily normal''' (sometimes, '''quasicentral''') if for any subgroup <math>K \le H</math>, <math>K</math> is normal in <math>G</math>. | ||

− | === | + | ==Formalisms== |

− | The property of being hereditarily normal is a result of applying the [[ | + | {{obtainedbyapplyingthe|hereditarily operator|normal subgroup}} |

+ | |||

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

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

## Revision as of 16:31, 22 November 2008

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]

## Contents

## Definition

### Symbol-free definition

A subgroup of a group is termed **hereditarily normal** (sometimes, **quasicentral**) if every subgroup of it is normal in the whole group.

### Definition with symbols

A subgroup of a group is termed **hereditarily normal** (sometimes, **quasicentral**) if for any subgroup , is normal in .

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

## Relation with other properties

### Stronger properties

- Central subgroup (subgroup lying inside the center)

### Weaker properties

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