On the behaviour of normal subgroups under projectivities (Q809181): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Giorgio Busetto / rank | |||
Property / author | |||
Property / author: Franco Napolitani / rank | |||
Property / author | |||
Property / author: Giorgio Busetto / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Franco Napolitani / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A nonabelian normal subgroup with a core-free projective image / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal subgroups and projectivities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groups with soluble factor groups and projectivities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(p\)-subgroups of core-free quasinormal subgroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal subgroups and projectivities of finite groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal Subgroups and Lattice Isomorphisms of Finite Groups† / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Lattice of Subgroups of Finite Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3232305 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5623889 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 08:28, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the behaviour of normal subgroups under projectivities |
scientific article |
Statements
On the behaviour of normal subgroups under projectivities (English)
0 references
1991
0 references
Let G and \(G_ 1\) be groups. A projectivity \(\pi\) : \(G\to G_ 1\) is an isomorphism from the subgroup lattice of G onto the subgroup lattice of \(G_ 1\). If H is a normal subgroup if G, it is well-known that the preimage N of the core of \(H^{\pi}\) in \(G_ 1\) is a normal subgroup of G, and the knowledge of the factor groups H/N and \(H^{\pi}/N^{\pi}\) is useful to understand the connections between the structures of G and \(G_ 1.\) Here the authors prove the following: Let \(G=H(a)\) be a finite 2-group, where H is normal in G, and let \(\pi\) : \(G\to G_ 1\) be a projectivity such that the core of \(H^{\pi}\) in \(G_ 1\) is trivial. Then \(H'\) has order at most 2 and H is a modular group. Moreover, G is metabelian and \(G_ 1\) has derived length at most 3. - From this they deduce the following general results: (1) Let \(\pi\) : \(G\to G_ 1\) be a projectivity, H a normal subgroup of G and N the preimage of the core of \(H^{\pi}\) in \(G_ 1\). Then H/N and \(H^{\pi}/N^{\pi}\) are residually (finite modular) groups; in particular they are metabelian. Moreover H/N is nilpotent of class at most 2 and has commutator subgroup of exponent at most 2. (2) Let \(\pi\) : \(G\to G_ 1\) be a projectivity, and let X be a subgroup of G. If the n-th commutator subgroup of G is contained in X, then the 3n-th commutator subgroup of \(G_ 1\) is contained in \(X^{\pi}\). In particular, if G is soluble with derived length n, then \(G_ 1\) is soluble with derived length at most 3n-1. These theorems improve previous results of \textit{G. Busetto} [J. Algebra 88, 52-62 (1984; Zbl 0594.20021)] and \textit{G. Busetto} and \textit{F. Menegazzo} [Rend. Semin. Mat. Univ. Padova 73, 249-260 (1985; Zbl 0594.20022)].
0 references
subgroup lattice
0 references
normal subgroup
0 references
core
0 references
modular group
0 references
derived length
0 references
metabelian
0 references
commutator subgroup
0 references
soluble
0 references