Extensions realising a faithful abstract kernel and their automorphisms (Q1340230): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 04:00, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Extensions realising a faithful abstract kernel and their automorphisms |
scientific article |
Statements
Extensions realising a faithful abstract kernel and their automorphisms (English)
0 references
29 November 1995
0 references
The objective of the paper is the determination and computation of the automorphism resp. outer automorphism groups \(\text{Aut} (E, N)\) resp. \(\text{Out} (E,N)\) (of automorphisms of \(E\) mapping \(N\) to itself), where \(1 \to N \to E \to F \to 1\) is a group extension for which the corresponding abstract kernel \(F \to \text{Out} (N)\) is faithful. The main application in mind is the case of almost crystallographic groups where \(N\) is a maximal nilpotent group of finite index in \(E\); in particular, in this case \(N\) is a characteristic subgroup of \(E\) and consequently \(\text{Out} (E,N) = \text{Out} (E)\). The description of \(\text{Out} (E,N)\) given in the paper is in terms of certain commutative \((3 \times 3)\)-diagrams; it uses certain aspects of group cohomology with nonabelian coefficients (recall that the elements of the second cohomology describe group extensions). If \(N\) is an abelian group this reduces to ordinary cohomology, and similar diagrams have been obtained by Charlap-Vasquez in the case of crystallographic groups (where \(N \cong \mathbb{Z}^n\) and \(F\) is finite) and by Conner-Raymond for the fundamental groups of more general Seifert fiber spaces, with typical fiber the \(n\)-dimensional torus. As an example for the more general case considered, the computation of \(\text{Out}(E)\) for a family of 3-dimensional almost crystallographic groups is given (and the computation for all almost crystallographic groups in dimensions \(\leq 4\) is announced). Also, a geometric interpretation of the terms in the 9-diagrams is discussed when \(E\) is the fundamental group of a \(K(E,1)\)-manifold obtained by a generalized Seifert construction.
0 references
outer automorphism groups
0 references
almost crystallographic groups
0 references
maximal nilpotent group of finite index
0 references
characteristic subgroup
0 references
group cohomology with nonabelian coefficients
0 references
group extensions
0 references
fundamental groups
0 references
Seifert fiber spaces
0 references