On the subnormalizer of a \(p\)-subgroup (Q1183350): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-4049(92)90139-7 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2075480926 / rank | |||
Normal rank |
Revision as of 01:08, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the subnormalizer of a \(p\)-subgroup |
scientific article |
Statements
On the subnormalizer of a \(p\)-subgroup (English)
0 references
28 June 1992
0 references
The subnormalizer of a subgroup \(H\) of a group \(G\) is the set \(S(H)=\{g\in G:\;H\triangleleft\triangleleft\langle H,g\rangle\}\). The author considers the case for \(H\) a \(p\)-subgroup of a finite group \(G\) and proves that \(| S(H)|=\alpha(H)\cdot| N(H)| =\lambda(H)\cdot| N(B)|\) where \(B\) is a Sylow \(p\)-subgroup of \(G\), \(\alpha(H)\) is the number of distinct conjugates of \(H\) contained in one Sylow \(p\)-subgroup of \(G\), \(\lambda(H)\) is the number of Sylow \(p\)- subgroups of \(G\) which contain \(H\) and \(N( )\) denotes the normalizer in \(G\). The author earlier proved a special case of the result, for \(p\)- solvable \(G\), using group-theoretic methods. The proof of the general case is more combinatorial in nature, involving the Möbius function and Möbius inversion formula on the partially ordered set of \(p\)-subgroups of \(G\).
0 references
subnormalizer
0 references
finite group
0 references
number of Sylow \(p\)-subgroups
0 references
Möbius inversion formula
0 references
partially ordered set of \(p\)-subgroups
0 references