Automorphism groups of dense subgroups of \(\mathbb{R}^n\)
type: Item
instance of: scholarly article
title: Automorphism groups of dense subgroups of \(\mathbb{R}^n\)
zbMATH Open document ID: 1443.22003
author: Vitalij A. Chatyrko
author: Dmitri Shakhmatov
published in: Topology and its Applications
publication date: 2020-04-07T00:00:00Z
full work available at URL: https://arxiv.org/abs/1912.04668
review text: Let \(V\) be a topological vector space over the topological field \(\mathbb R\) of real numbers, \(X\) a dense subgroup of the additive group \(V(+)\) of \(V\), and \(\mathrm{HGL}(V)\) be the group of all topological automorphisms of \(V(+)\). The authors show that if \(X\) is a dense subgroup of \(V(+)\), and \(\Phi(X):=\{\alpha\in \mathrm{HGL}(V)\vert \alpha(X)=X\}\), then the mapping \(\Phi(X)\to \mathrm{Homeo}(X), \alpha\mapsto \alpha\upharpoonright_X\), where \(\alpha\upharpoonright_X\) denotes the restriction of \(\alpha\) on \(X\) and \(\mathrm{Homeo}(X)\) stands for the homeomorphism group of \(X\), is an isomorphism. Based on this result the authors raise two general problems: Problem 1. Let \(V\) be a complete topological vector space and \(X\) a dense subgroup of the additive group of \(V\). Determine the subgroup \(\Phi(X)\) of \(\mathrm{Homeo}(X)\). Problem 2. Given a complete topological vector space \(V\), which subgroups of \(\mathrm{HGL}(V)\) have the form \(\Phi(G)\) for some dense subgroup \(G\) of the additive group of \(V?\) The main results of the paper related to the Problems 1,2 are obtained for topological vector spaces \(\mathbb R,\mathbb R^n, n\in\mathbb N\), and \(\mathbb R^{\mathbb N}\). It is proved if \(G\) is a dense subgroup of \(\mathbb R^n(n\ge 1)\), then \(\mid\Phi(G)\mid\leq \mid G\mid\) (Theorem 7.2). It is constructed an example of a dense subgroup \(G\) of \(\mathbb R^{\mathbb N}\) for which \(\mid \Phi(G)\mid>\mid G\mid\). Corollary 9.6 answers partially Problem 2: Let \(n\ge 2\) and let \(H\) be a subgroup of the general linear group \(GL(n,\mathbb R)\) such that \(SO(n)\subseteq H\subsetneq GL(n,\mathbb R)\), where \(SO(n)\) is the special orthogonal group. Then \(H\neq \Phi(G)\) for any non-trivial subgroup \(G\) of \(\mathbb R^n\). In the paper are raised some open questions.
Mathematics Subject Classification ID: 22A05
Mathematics Subject Classification ID: 11R04
Mathematics Subject Classification ID: 12F20
Mathematics Subject Classification ID: 16S34
Mathematics Subject Classification ID: 20D45
Mathematics Subject Classification ID: 20E36
Mathematics Subject Classification ID: 20K30
Mathematics Subject Classification ID: 46A16
Mathematics Subject Classification ID: 47D03
Mathematics Subject Classification ID: 51F25
Mathematics Subject Classification ID: 54F45
Mathematics Subject Classification ID: 54H11
Mathematics Subject Classification ID: 54H13
zbMATH DE Number: 7187647
zbMATH Keywords: automorphism group
zbMATH Keywords: dense subgroup of \(\mathbb{R}^n\)
zbMATH Keywords: general linear group \(G L(n,\mathbb{R})\)
zbMATH Keywords: special linear group \(SL(n)\)
zbMATH Keywords: orthogonal group \(O(n)\)
zbMATH Keywords: special orthogonal group \(SO(n)\)
zbMATH Keywords: complete topological vector space
zbMATH Keywords: finite-dimensional vector space
zbMATH Keywords: transcendental field extension
zbMATH Keywords: algebraic number
zbMATH Keywords: Laurent polynomial with integer coefficients
reviewed by: Mihail I. Ursul
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2995350875
arXiv ID: 1912.04668
cites work: Topological groups and related structures
cites work: Weight of closed subsets topologically generating a compact group
cites work: Q4855460
cites work: The structure of compact groups. A primer for the student -- A handbook for the expert
cites work: Q2770573
cites work: Q3890908
DOI: 10.1016/J.TOPOL.2019.107000
description: scientific article