Group satisfying normalizer condition: Difference between revisions

Revision as of 23:22, 16 April 2017

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]

VIEW: Definitions built on this | Facts about this: (facts closely related to Group satisfying normalizer condition, all facts related to Group satisfying normalizer condition) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View other semistandard definitions in group theory

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions

This is a variation of nilpotence|Find other variations of nilpotence | Read a survey article on varying nilpotence

Definition

A group $G$ is said to satisfy the normalizer condition, if it satisfies the following equivalent conditions:

The normalizer $N_{G}(H)$ of any proper subgroup $H$ properly contains it
There is no proper self-normalizing subgroup of $G$
Every subgroup of $G$ is ascendant

Groups satisfying the normalizer condition have been termed N-groups but the term N-group is also used for groups with a particular condition on normalizers of solvable subgroups.

Metaproperties

Metaproperty name	Satisfied?	Proof	Statement with symbols
subgroup-closed group property	Yes		If $G$ is a group satisfying normalizer condition, and $H$ is a subgroup of $G$ , then $H$ also satisfies normalizer condition.
quotient-closed group property	Yes		If $G$ is a group satisfying normalizer condition, and $H$ is a normal subgroup of $G$ , then the quotient group $G/H$ also satisfies normalizer condition.

Relation with other properties

Stronger properties

Nilpotent group: It turns out that for a finitely generated group, the two properties are equivalent. For proof of the implication, refer Nilpotent implies normalizer condition and for proof of its strictness (i.e. the reverse implication being false) refer Normalizer condition not implies nilpotent.
Group in which every subgroup is subnormal

Weaker properties

Metaproperties

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

Definition links

Planetmath page

@@ Line 7: / Line 7: @@
 A [[group]] <math>G</math> is said to satisfy the '''normalizer condition''', if it satisfies the following equivalent conditions:
-* The [[normalizer]] <math>N_G(H)</math> of any [[proper subgroup]] <math>H</math> properly contains it
+# The [[normalizer]] <math>N_G(H)</math> of any [[proper subgroup]] <math>H</math> properly contains it
-* There is no [[proper subgroup|proper]] [[self-normalizing subgroup]] of <math>G</math>
+# There is no [[proper subgroup|proper]] [[self-normalizing subgroup]] of <math>G</math>
-* Every subgroup of <math>G</math> is [[ascendant subgroup|ascendant]]
+# Every subgroup of <math>G</math> is [[ascendant subgroup|ascendant]]
 Groups satisfying the normalizer condition have been termed '''N-groups''' but the term [[N-group]] is also used for groups with a particular condition on normalizers of solvable subgroups.