BULL. AUSTRAL. MATH. SOC. 22BO5 VOL. 36 (1987) 279-282. THE CIRCLE GROUP SIDNEY A. MORRIS We prove the following theorem: if G is a locally compact Hausdorff group such that each of its proper closed subgroups has only a finite number of closed subgroups, then G is topologically isomorphic to the circle group. Introduction Armacost [7] gives various properties of the circle group, T , which characterize it in the class of non-discrete locally compact Hausdorff abelian groups. In particular, he records the following two: Cil every proper closed subgroup is finite; tii) every proper closed subgroup is of the form {g : g = 1} , where n is any non-negative integer and 1 denotes the identity element. We point out that both of these are special cases of the following property: (iii). every proper closed subgroup has only a finite number of closed subgroups. Received 18 September, 1986. Copyright Clearance Centre, Inc. Serial-fee code: 0004-9727/87 $A2.00 + 0.00. Downloaded from https://www.cambridge.org/core. IP address: 170.106.40.219, on 27 Sep 2021 at 19:04:33, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1017/S000497270002654X 280 Sidney A. Morris We show that property (iii) characterizes T not only in the class of non-discrete locally compact Hausdorff abelian groups but also in the class of non-discrete locally compact Hausdorff groups. Results LEMMA 1. If G is a compact Hausdorff abelian group with only a finite number of closed subgroups, then G is finite. Proof. By duality, the discrete dual group, G , has only a finite number of quotient groups, and hence has only a finite number of subgroups. Clearly this implies that G is finitely generated. So G is algebraically ismorphic to a finite product of cyclic groups. Further, G does not have the discrete group of integers, Z , as a subgroup as Z has an infinite number of subgroups. Thus G is a finite group. Hence its dual group, G , is also finite. Q LEMMA 2. If G is a totally disconnected locally compact topological group such that every proper closed subgroup has only a finite number of closed subgroups, then G is discrete. Proof. By [3, Theorem 7.7] G has a basis, {H. : i e 1} , at 1 where J is an index set, and each #. is a compact open proper subgroup. Let H be any proper compact open subgroup of G . Then {H n H • : i e J} Is is an open basis at 1 for G . But H has only a finite number of closed subgroups. So A = <~>. T(H n H.) is the smallest open subgroup of H . Indeed, A is the smallest open neighbourhood of 1. Since G and H are Hausdorff, this implies that A = {1} . Hence {1} is open in H and G . Thus G is discrete. • THEOREM. Let G be a non-discrete locally compact Hausdorff topological group such that every proper closed subgroup has only a finite number of closed subgroups. Then G is topologically isomorphic to T . Proof. Let C(G) be the connected component of the identity of G . By Lemma 2, C(G) ^ {1} . Clearly C(G) does not have a closed subgroup topologically isomorphic to R , the topological group of all real Downloaded from https://www.cambridge.org/core. IP address: 170.106.40.219, on 27 Sep 2021 at 19:04:33, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1017/S000497270002654X The Circle Group numbers, as R has a proper closed subgroup Z which has an infinite number of closed subgroups. By the Iwasawa Structure Theorem [4, p.118], then, C(G) is compact. So by the Peter-Weyl Theorem [4, pp.62-65], C(G) has a closed normal subgroup N such that C(G)/N is a compact connected Lie group (indeed a closed subgroup of a unitary group). Further, by [2, p.159], each x e C(G)/N lies in a closed subgroup A_ topologically isomorphic to a torus "f1 , for some positive integer n . But T , and hence A , has an infinite number of closed subgroups, x So if $ is the canonical map of C(G) onto C(G)/N , then <j> (A ] has an infinite number of closed subgroups. Even if iV = {1} , this implies <f (AJ = G . So G = C(G) . Further, G/N is topologically isomorphic to T . This is true for all closed subgroups, N., i e I , such that G/N. is a Lie group. By the Peter- Weyl Theorem, G is topologically isomorphic to a subgroup of n. J}/N• , which is a product of tori. Hence G is abelian, But, then, N is a compact Hausdorff abelian group with only a finite number of closed subgroups. By Lemma 1, N is finite discrete. So G/N topologically isomorphic to T^ implies G/N is locally isomorphic to I . As G is compact and connected, this implies that G is topoiogically isomorphic to T [4, Theorem 8]. But every proper closed subgroup of G has only a finite number of closed subgroups so, n = 1 • D We conclude with two corollaries which follow immediately from our theorem. The first was recently proved. The second appeared in [/] under the additional assumption that G was abelian. COROLLARY 1. [5] Let G be a non-discrete locally compact Hausdorff group such that each of its proper closed subgroups is finite. Then G is topologically isomorphic to T . Q COROLLARY 2. Let G be a non-discrete locally compact Hausdorff group such that its proper closed subgroups are {g : gn = 1}, for n ranging over the set of all positive integers. Then G is topologically isomorphic to T . Q Downloaded from https://www.cambridge.org/core. IP address: 170.106.40.219, on 27 Sep 2021 at 19:04:33, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1017/S000497270002654X 282 Sidney A. Morris References [7] David L. Arraacost, The Structure of Locally Compact Abelian Groups^ (Marcel Dekker, New York, 1981). [2] Theodor Brocker and Tammo torn Dieck, Representations of Lie Groups, (Springer-Verlag, New York, 1985). [3] Edwin Hewitt and Kenneth A. Ross, Abstract Harmonic Analysis J, (Springer-Verlag, Berlin, 1963). [4] Sidney A. Morris, Pontryagin Duality and the Structure of Locally Compact Abelian Groups (Cambridge University Press, Cambridge, 1977) . [5] Sidney A. Morris, "A characterization of the topological group of real numbers", Bull. Austral. Math. Soc. 34 (1986), 473-475. Department of Mathematics, La Trobe University, Bundoora, Victoria, 3083 Australia. Downloaded from https://www.cambridge.org/core. IP address: 170.106.40.219, on 27 Sep 2021 at 19:04:33, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1017/S000497270002654X.