Baer norm: Difference between revisions

Latest revision as of 13:33, 8 July 2011

This article is about a definition in group theory that is standard among the group theory community (or sub-community that dabbles in such things) but is not very basic or common for people outside.
VIEW: Definitions built on this | Facts about this: (facts closely related to Baer norm, all facts related to Baer norm) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a list of other standard non-basic definitions

This article defines a subgroup-defining function, viz., a rule that takes a group and outputs a unique subgroup
View a complete list of subgroup-defining functions OR View a complete list of quotient-defining functions

Definition

Symbol-free definition

The Baer norm of a group is defined in the following equivalent ways:

It is the intersection of normalizers of all its subgroups
It is the intersection of normalizers of all cyclic subgroups.
It is the set of those elements of the group for which the corresponding conjugation is a power automorphism.

Definition with symbols

The Baer norm of a group $G$ is defined as the intersection, over all subgroups $H$ of $G$ of the groups $N_{G}(H)$ .

In terms of the intersect-all operator

This property is obtained by applying the intersect-all operator to the property: normalizer subgroup
View other properties obtained by applying the intersect-all operator

Group properties

The Baer norm is a Dedekind group, i.e., it is a group in which every subgroup is normal. Conversely, every Dedekind group equals its own Baer norm.

Further information: Baer norm is Dedekind

Subgroup properties

Properties satisfied

Property	Meaning	Proof of satisfaction
Normal subgroup
Hereditarily permutable subgroup	every subgroup is a permutable subgroup of the whole group	Baer norm is hereditarily permutable
Hereditarily 2-subnormal subgroup	every subgroup is a 2-subnormal subgroup of the whole group	Baer norm is hereditarily 2-subnormal
Characteristic subgroup	invariant under all automorphisms	Baer norm is characteristic
Strictly characteristic subgroup	invariant under all surjective endomorphisms	Baer norm is strictly characteristic

Properties not satisfied

Property	Meaning	Proof of dissatisfaction
Fully invariant subgroup	invariant under all endomorphisms	Baer norm not is fully invariant
Hereditarily normal subgroup	every subgroup is normal in the whole group	Baer norm not is hereditarily normal

Examples

Dedekind groups

A Dedekind group is a group in which every subgroup is normal, or equivalently, a group that equals its own Baer norm. The finite Dedekind groups are precisely the following:

finite abelian groups
finite nilpotent groups whose 2-Sylow subgroup is a product of the quaternion group of order eight and an elementary abelian group, and all other Sylow subgroups are abelian.

The smallest examples of Dedekind non-abelian groups are quaternion group and direct product of Q8 and Z2.

Examples in groups of prime power order

Here are some examples where the Baer norm is a proper subgroup:

	Group part	Subgroup part	Quotient part
Center of dihedral group:D8	Dihedral group:D8	Cyclic group:Z2	Klein four-group

Examples in other groups

Here are some examples in non-nilpotent groups:

Relation with other subgroup-defining functions

Smaller subgroup-defining functions

Subgroup-defining function	Meaning	Proof of containment	Proof of strictness
Center	Elements that commute with every element	Baer norm contains center	Center not contains Baer norm

Larger subgroup-defining functions

Subgroup-defining function	Meaning	Proof of containment	Proof of strictness
Wielandt subgroup	intersection of normalizers of subnormal subgroup	Wielandt subgroup contains Baer norm	Baer norm not contains Wielandt subgroup
Second center	second member of upper central series	Second center contains Baer norm	Baer norm not contains second center
Centralizer of derived subgroup	centralizer of derived subgroup (commutator subgroup)	Centralizer of derived subgroup contains Baer norm	Baer norm not contains centralizer of derived subgroup

Related subgroup properties

Subgroup contained in the Baer norm is a subgroup contained in the Baer norm.
Normal subgroup contained in the Baer norm is a normal subgroup of the whole group contained in the Baer norm.

Subgroup-defining function properties

Reverse monotonicity

The Baer norm subgroup-defining function is weakly reverse monotone, that is, if $K$ is a subgroup of $G$ containing the Baer norm of $G$ , then the Baer norm of $K$ contains the Baer norm of $H$ .

Idempotence and iteration

The Baer norm of a group equals its own Baer norm. A group equals its own Baer norm if and only if it is a Dedekind group, that is, every subgroup in it is normal.

Quotient-idempotence and quotient-iteration

The quotient function corresponding to the Baer norm is not transitive.

@@ Line 1: / Line 1: @@
+{{stdnonbasicdef}}
 {{subgroup-defining function}}
@@ Line 13: / Line 14: @@
 ===Definition with symbols===
-The ''Baer norm''' of a [[group]] <math>G</math> is defined as the intersection, over all subgroups <math>H</math> of <math>G</math> of the groups <math>N_G(H)</math>.
+The '''Baer norm''' of a [[group]] <math>G</math> is defined as the intersection, over all subgroups <math>H</math> of <math>G</math> of the groups <math>N_G(H)</math>.
 {{obtainedbyapplyingthe|intersect-all operator|normalizer subgroup}}
-==Property theory==
+==Group properties==
+The Baer norm is a [[Dedekind group]], i.e., it is a group in which every subgroup is [[normal subgroup|normal]]. Conversely, every Dedekind group equals its own Baer norm.
+{{further|[[Baer norm is Dedekind]]}}
+==Subgroup properties==
+===Properties satisfied===
+{| class="sortable" border="1"
+! Property !! Meaning !! Proof of satisfaction
+|-
+| [[satisfies property::Normal subgroup]] || ||
+|-
+| [[satisfies property::Hereditarily permutable subgroup]] || every subgroup is a [[permutable subgroup]] of the whole group|| [[Baer norm is hereditarily permutable]]
+|-
+| [[satisfies property::Hereditarily 2-subnormal subgroup]] || every subgroup is a [[2-subnormal subgroup]] of the whole group || [[Baer norm is hereditarily 2-subnormal]]
+|-
+| [[satisfies property::Characteristic subgroup]] || invariant under all [[automorphism]]s || [[Baer norm is characteristic]]
+|-
+| [[satisfies property::Strictly characteristic subgroup]] || invariant under all [[surjective endomorphism]]s || [[Baer norm is strictly characteristic]]
+|}
+===Properties not satisfied===
+{| class="sortable" border="1"
+! Property !! Meaning !! Proof of dissatisfaction
+|-
+| [[dissatisfies property::Fully invariant subgroup]] || invariant under all [[endomorphism]]s || [[Baer norm not is fully invariant]]
+|-
+| [[dissatisfies property::Hereditarily normal subgroup]] || every subgroup is [[normal subgroup|normal]] in the whole group || [[Baer norm not is hereditarily normal]]
+|}
+==Examples==
+===Dedekind groups===
+A [[Dedekind group]] is a group in which every subgroup is normal, or equivalently, a group that equals its own Baer norm. The finite Dedekind groups are precisely the following:
+* [[finite abelian group]]s
+* [[finite nilpotent group]]s whose 2-Sylow subgroup is a product of the [[quaternion group]] of order eight and an [[elementary abelian group]], and all other Sylow subgroups are abelian.
+The smallest examples of Dedekind non-abelian groups are [[quaternion group]] and [[direct product of Q8 and Z2]].
+===Examples in groups of prime power order===
+Here are some examples where the Baer norm is a proper subgroup:
+{{#ask: [[arises as subgroup-defining function::Baer norm]][[group part.satisfies property::group of prime power order]]|?group part|?subgroup part|?quotient part}}
+===Examples in other groups===
+Here are some examples in non-nilpotent groups:
+{{#ask: [[arises as subgroup-defining function::Baer norm]][[group part.dissatisfies property::group of prime power order]]|?group part|?subgroup part|?quotient part}}
+==Relation with other subgroup-defining functions==
+===Smaller subgroup-defining functions===
+{| class="sortable" border="1"
+! Subgroup-defining function !! Meaning !! Proof of containment !! Proof of strictness
+|-
+| [[Contains::Center]] || Elements that commute with every element || [[Baer norm contains center]] || [[Center not contains Baer norm]]
+|}
+===Larger subgroup-defining functions===
+{| class="sortable" border="1"
+! Subgroup-defining function !! Meaning !! Proof of containment !! Proof of strictness
+|-
+| [[Contained in::Wielandt subgroup]] || intersection of normalizers of subnormal subgroup || [[Wielandt subgroup contains Baer norm]] || [[Baer norm not contains Wielandt subgroup]]
+|-
+| [[Contained in::Second center]] || second member of [[upper central series]] || [[Second center contains Baer norm]] || [[Baer norm not contains second center]]
+|-
+| [[Contained in::Centralizer of derived subgroup]] || [[centralizer]] of [[derived subgroup]] (commutator subgroup) || [[Centralizer of derived subgroup contains Baer norm]] || [[Baer norm not contains centralizer of derived subgroup]]
+|}
+==Related subgroup properties==
+* [[Subgroup contained in the Baer norm]] is a subgroup contained in the Baer norm.
+* [[Normal subgroup contained in the Baer norm]] is a [[normal subgroup]] of the whole group contained in the Baer norm.
+==Subgroup-defining function properties==
 ===Reverse monotonicity===
@@ Line 25: / Line 109: @@
 ===Idempotence and iteration===
-The Baer norm of a group equals its own Baer norm. A group equals its own Baer norm if and only if it is a [[Hamiltonian group]], that is, every subgroup in it is [[normal subgroup|normal]].
+The Baer norm of a group equals its own Baer norm. A group equals its own Baer norm if and only if it is a [[Dedekind group]], that is, every subgroup in it is [[normal subgroup|normal]].
 ===Quotient-idempotence and quotient-iteration===
 The quotient function corresponding to the Baer norm is ''not'' transitive.
-===Relation with other subgroup-defining functions===
-The Baer norm of a group contains the [[center]] of the group. Conjugation by any element in the Baer norm is a power automorphism, hence it commutes with all [[inner automorphism]]s. Thus, the Baer norm is contained in the second member of the [[upper central series]].