A decomposition theorem for compact groups with an application to supercompactness

DOI10.2478/S11533-011-0019-XMaRDI QIDQ657301zbMATH OpenOpenAlexFDO

Authors Wiesław Kubiś, Sławomir Turek

Publication date 16 January 2012

Published in Central European Journal of Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://arxiv.org/abs/1010.3329

zbMATH Keywords

compact connected groupcompact groupsimple compact Lie groupsupercompact space

Mathematics Subject Classification ID

Compact groups (22C05) Compactness (54D30) Topological groups (topological aspects) (54H11)

Abstract: We show that every compact connected group is the limit of a continuous inverse sequence, in the category of compact groups, where each successor bonding map is either an epimorphism with finite kernel or the projection from a product by a simple compact Lie group. As an application, we present a proof of an unpublished result of Charles Mills from 1978: every compact group is supercompact.

Review text

The main result of this paper is a structure theorem for compact connected groups, showing that every connected compact group \(G\) is the inverse limit of an inverse system \(\{(G_\alpha,p_{\alpha}^{\alpha+1}):\alpha<\vartheta\}\) of compact groups such that \(G_0\) is trivial and either \(p_\alpha^{\alpha+1}:G_{\alpha+1}\to G_\alpha\) has finite kernel or \(G_{\alpha+1}=G_\alpha\times H\), where \(H\) is a compact Lie group and \(p_\alpha^{\alpha+1}:G_\alpha\times H\to G_\alpha\) is the canonical projection. It is noted that the counterpart of this theorem holds for Abelian compact groups and for \(0\)-dimensional compact groups, while the group \(\mathbb T\rtimes \mathbb Z_2\) is given to show that this is not the case for compact groups that are not connected. As an application of their main theorem, the authors prove that every compact group is supercompact. The equivalence of compactness and supercompactness for topological groups was announced by Mills in a seminar report; his proof is described in this paper. Reviewer's remark: The definition of simple compact Lie group used in this paper differs from the usual one; indeed, in this paper the torus \(\mathbb T\) is intended to be a simple compact Lie group.

Recommendations

• A decomposition theorem for locally compact groups
• scientific article; zbMATH DE number 3994523
• scientific article; zbMATH DE number 2232812
• A structure theorem on compact groups
• The Baer-Kaplansky theorem for almost completely decomposable groups
• scientific article; zbMATH DE number 3099499
• scientific article; zbMATH DE number 1195714
• A decomposition theorem for functions with values in a topological group
• Decompositions of locally compact contraction groups, series and extensions
• \(G\)-compactness and groups

Cites work

• Compact metric spaces have binary bases
• scientific article; zbMATH DE number 3658656 (Why is no real title available?)
• scientific article; zbMATH DE number 3633296 (Why is no real title available?)
• scientific article; zbMATH DE number 3216303 (Why is no real title available?)
• Supercompact spaces
• The structure of compact groups. A primer for the student -- a handbook for the expert

Cited in

(3)

• A decomposition theorem for locally compact groups
• The groups \(S^3\) and \(\mathrm{SO}(3)\) have no invariant binary \(k\)-network
• scientific article; zbMATH DE number 1257357 (Why is no real title available?)

This page was built for publication: A decomposition theorem for compact groups with an application to supercompactness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q657301)