A classification of the abelian minimal closed normal subgroups of locally compact second-countable groups (Q831201)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A classification of the abelian minimal closed normal subgroups of locally compact second-countable groups |
scientific article |
Statements
A classification of the abelian minimal closed normal subgroups of locally compact second-countable groups (English)
0 references
11 May 2021
0 references
The author gives a complete list the abelian topologically characteristically simple locally compact second-countable (l.c.s.c.) groups. Each group on this list occur as the monolith of some soluble l.c.s.c. group of derived length at most \(3\). (The monolith of a locally compact group \(G\) is the intersection of all nontrivial closed normal subgroups of \(G\).) At the same time, the group \(\mathbb{Q}^n\) and its dual \(\widehat{\mathbb{Q}}^n\) (\(n\in\mathbb{N}\)) from this list cannot occur as minimal closed normal subgroups in any \textit{compactly generated} l.c.s.c. group. With the exception of the groups \(\mathbb{Q}^n\) and \(\widehat{\mathbb{Q}}^n\), every abelian topologically characteristically simple l.c.s.c. group occurs as the monolith of a \textit{compactly generated} soluble l.c.s.c. group of derived length at most \(3\). Let \(p\) be a prime and let \(\mathbb{Q}_p(\kappa)\) be the group of functions from a set of size \(\kappa\) to \(\mathbb{Q}_p\) with all but finitely many values in \(\mathbb{Z}_p\) (it is clear that if \(\kappa\) is finite, then \(\mathbb{Q}_p(\kappa)=\mathbb{Q}_p^\kappa\)). The author suggests the following characterization of the groups \(\mathbb{Q}_p(\kappa)\) (Proposition 3.10): Let \(A\) be an abelian l.c.s.c. group, and let \(p\) be a prime. Then the following are equivalent: (i) \(A\cong\mathbb{Q}_p(\kappa)\) for some \(\kappa\in\mathbb{N}\cup\{\aleph_0\}\); (ii) \(A\) is totally disconnected and torsion-free, and both \(P_p(A)\) and \(pA\) are dense in \(A\); (iii) \(A\) is totally disconnected and torsion-free, \(P_p(A)=A\), and \(\operatorname{div}(A)\) is dense in \(A\). (Here \(P_p(A)\) is the set of all topological \(p\)-elements of \(A\) and \(\operatorname{div}(A)\) is the largest divisible subgroup of \(A\).)
0 references
abelian groups
0 references
divisible groups
0 references
Pontryagin duality
0 references
locally compact group
0 references
compactly generated
0 references
second-countable
0 references
topologically characteristically simple
0 references
0 references