1/κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$1/\kappa $$\end{document}-Homogeneous long solenoids

We study nonmetric analogues of Vietoris solenoids. Let Λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Lambda $$\end{document} be an ordered continuum, and let p→=⟨p1,p2,…⟩\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\vec {p}=\langle p_1,p_2,\ldots \rangle $$\end{document} be a sequence of positive integers. We define a natural inverse limit space S(Λ,p→)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S(\Lambda ,\vec {p})$$\end{document}, where the first factor space is the nonmetric “circle” obtained by identifying the endpoints of Λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Lambda $$\end{document}, and the nth factor space, n>1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n>1$$\end{document}, consists of p1p2…pn-1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p_1p_2 \ldots p_{n-1}$$\end{document} copies of Λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Lambda $$\end{document} laid end to end in a circle. We prove that for every cardinal κ≥1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa \ge 1$$\end{document}, there is an ordered continuum Λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Lambda $$\end{document} such that S(Λ,p→)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S(\Lambda ,\vec {p})$$\end{document} is 1κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\frac{1}{\kappa }$$\end{document}-homogeneous; for κ>1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa >1$$\end{document}, Λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Lambda $$\end{document} is built from copies of the long line. Our example with κ=2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa =2$$\end{document} provides a nonmetric answer to a question of Neumann-Lara, Pellicer-Covarrubias and Puga from 2005, and with κ=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa =1$$\end{document} provides an example of a nonmetric homogeneous circle-like indecomposable continuum. We also show that for each uncountable cardinal κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document} and for each fixed p→\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\vec {p}$$\end{document}, there are 2κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$2^\kappa $$\end{document}-many 1κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\frac{1}{\kappa }$$\end{document}-homogeneous solenoids of the form S(Λ,p→)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S(\Lambda ,\vec {p})$$\end{document} as Λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Lambda $$\end{document} varies over ordered continua of weight κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document}. Finally, we show that for every ordered continuum Λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Lambda $$\end{document} the shape of S(Λ,p→)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S(\Lambda ,\vec {p})$$\end{document} depends only on the equivalence class of p→\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\vec {p}$$\end{document} for a relation similar to one used to classify the additive subgroups of Q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {Q}$$\end{document}. Consequently, for each fixed Λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Lambda $$\end{document}, as p→\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\vec {p}$$\end{document} varies, there are exactly c\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {c}$$\end{document}-many different shapes, where c=2ℵ0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {c}=2^{\aleph _0}$$\end{document}, (and there are also exactly that many homeomorphism types) represented by S(Λ,p→)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S(\Lambda ,\vec {p})$$\end{document}.


Introduction
The present paper is concerned with nonmetric analogues of Vietoris solenoids. Recall that a 1-dimensional (Vietoris) solenoid is a compact and connected space (i.e. continuum) given as the inverse limit of circles, with n-fold covering maps as bonding maps (the circle is a trivial example of a solenoid with n = 1). Solenoids were first considered by Vietoris [46] for n = 2, defined as what would now be called the mapping torus of a homeomorphism of the Cantor set. Van Dantzig [9] defined and extensively studied n-adic solenoids for all integers n greater than 1. He gave two constructions, one via the mapping torus and another by using a nested sequence of solid tori in R 3 , and mentioned in passing that the latter construction could also be used to construct spaces for arbitrary products b ν = ν i=1 n i of integers n greater than 1 rather than simply powers n ν . See [16] for references to van Dantzig's further work and an extensive discussion of solenoidal groups and a-adic solenoids, where a is a sequence of integers greater than 1. When Steenrod [44] used a 2-adic solenoid as the inverse limit of circles in an example, he credited Vietoris for having defined the same space, which suggests that this modern representation had already passed into folklore. McCord [30] introduced higher dimensional analogues of Vietoris solenoids, where the factor spaces in the inverse limit are connected, locally pathwise connected, and semi-locally simply connected spaces, and each bonding map is a regular covering map. Smale [41] used the construction of solenoids in terms of a descending sequence of solid tori, to show that they can arise as hyperbolic attractors in smooth dynamical systems. His results were extended to higher dimensions by Williams [47]. Solenoids have been a major theme of research in algebraic and general topology, topological algebra, dynamical systems and the theory of foliations, as part of a wider class of matchbox manifolds (see e.g. [8] for recent results).
Each Vietoris solenoid S is homogeneous and circle-like, and if S is not the circle then it is also indecomposable. Recall that a space S is homogeneous if for any two points x and y in S there is a homeomorphism h : S → S such that h(x) = y. A continuum is indecomposable if it is not the union of two proper subcontinua, and it is hereditarily indecomposable if all subcontinua are indecomposable. Bing [3] gave an equivalent form of the following definition for metric continua: S is circle-like if for each open cover U of S there is a finite open refinement {U 1 , . . . , U t } that forms a circular chain; i.e. U i ∩U j = ∅ if and only if |i − j| ≤ 1(mod t). Hagopian and Rogers [14] classified homogeneuous circle-like metric continua. According to their classification the following are the only such continua: pseudo-arc [1], Vietoris solenoids, and solenoids of pseudo-arcs [5,38]. The pseudo-arc was constructed by Moise in 1948, as an example of a continuum homeomorphic to each of its nondegenerate subcontinua, but distinct from the arc [32]. Moise also gave a short alternative proof of Bing's result that the pseudo-arc is homogeneous [33]. Later Bing showed that all hereditarily indecomposable arc-like continua are homeomorphic [2], and therefore Moise's example is homeomorphic to a space first described by Knaster in (1922) [22]. Bing also gave another characterization of the pseudo-arc, as a homogeneous arc-like continuum [4]. A related, important circle-like metric continuum is Bing's pseudo-circle [2]. Fearnley [12] and Rogers [37] independently showed that the pseudo-circle is not homogeneous (see also [26] for a short proof). Later, Kennedy and Rogers [21] proved that the pseudo-circle has uncountably many orbits under the action of its homeomorphism group. Sturm showed that the pseudo-circle is not homogeneous with respect to continuous surjections [45]. The following question arises naturally.

Question What degrees of homogeneity can be realized on circle-like continua?
To make the above question more precise, given a continuum Y let Homeo(Y ) denote its homeomorphism group. Y is 1 κ -homogeneous if the action of Homeo(Y ) on Y has exactly κ orbits, where κ is a cardinal number. So homogeneous spaces are 1 1 -homogeneous and the smaller the κ is, the more homogeneous Y is. Consequently, the pseudo-circle is 1 κ -homogeneous, for an uncountable cardinal κ.
It is an open question as to whether κ is equal to the cardinality of the real numbers. The last few years provided examples of 1 κ -homogeneous circle-like metric continua for the case when κ is a natural number. Neumann-Lara, Pellicer-Covarrubias and Puga [35] gave an example of a decomposable circle-like 1 2 -homogeneous continuum. They asked (Question 4.10, [35]) if there exists an indecomposable 1 2 -homogeneous circle-like continuum. Such an example (in fact a class of examples) was constructed by Pyrih and Vejnar [36], and independently by the first author [6]. Jiménez-Hernández et al. [19] constructed a family of 1 n -homogeneous solenoidal continua for every integer n > 2. Topologically inequivalent examples were also given by the first author [7], and a 1 ω -homogeneous solenoidal continuum was constructed there as well. A hereditarily decomposable, planar, 1 2 ω -homogeneous circle-like continuum is obtained by the identification of two endpoints in a singular arc-like continuum given by Maćkowiak [28]. 1 In fact, Maćkowiak's example is even more nonhomogeneous, in the sense that every orbit of the homeomorphism group consists of a single point.
In this note we provide a nonmetric positive answer to the question from [35], and then we go on to construct a 1 κ -homogeneous example with the same properties for any cardinal κ, finite or infinite. For κ = 1, the construction yields a nonmetric homogeneous circle-like indecomposable continuum. We denote our examples S( , p), as each depends on an ordered continuum and a sequence p of positive integers. We also show that for each uncountable cardinal κ and for each fixed p, there are 2 κ -many 1 κ -homogeneous solenoids of the form S( , p) as varies over ordered continua of weight κ. Finally, we show that for every ordered continuum the shape of S( , p) depends only on the equivalence class of p for a relation similar to one used to classify the additive subgroups of Q. Consequently, for each fixed , as p varies, there are exactly c-many different shapes, where c = 2 ω , (and there are also exactly that many homeomorphism types) represented by S( , p).
Our notation for ordinals, cardinals, and ordinal arithmetic follows [25]. So, e.g., ω is the least infinite ordinal and also denotes the least infinite cardinal, ω 1 is the least uncountable ordinal and cardinal, etc. We use κ and λ to denote cardinals that may be infinite, while i, j, k, l, m, and n denote finite integers (possibly negative). Also, an ordinal is the set of its predecessors, e.g., ω = {n : n < ω} = {n : n ∈ ω} is the set of natural numbers, and ω 1 is the set of countable ordinals. The set of positive integers is denoted by N.

The finite case
An ordered continuum is a nondegenerate compact connected space which has a linear order and whose topology is the order topology. If a, b ∈ , then [a, b] is the set of all x ∈ such that a ≤ x ≤ b, and ∂ is the set consisting of the first and last points of . If 1 and 2 are ordered continua, let 1 ∨ 2 be the ordered continuum obtained from the disjoint union of 1 and 2 by identifying the last point of 1 with the first point of 2 preserving the given orders in 1 and 2 .
For convenience, let the identified endpoints of the copies of in (n) be labeled ∞ 0 , ∞ 1 , . . . , ∞ n−1 . Also, for x ∈ \∂ , let ∞ i + x denote its copy in the i th copy of as a subset of (n) .
If m and n are positive integers, there is a natural mapping φ m n : (mn) → (n) defined by φ m n (∞ i ) = ∞ j and φ m n (∞ i + x) = ∞ j + x, where x ∈ \∂ and j = i mod n. Note that φ m n is an m-fold covering map, precisely and the same formula without x holds as well. Let p = p 1 , p 2 , . . . be a sequence of integers greater than 1. Let where k(1) = 1 and k(n) = p 1 p 2 . . . p n−1 for n > 1.

Theorem 2.1 For each p, S( , p) is an indecomposable circle-like continuum.
Proof Claim 1. S( , p) is circle-like. It is an immediate consequence of Lemma 3.8 of Chapter X of [11] that an inverse limit of circle-like continua is circle-like. Since each factor space (k(n)) is circle-like so is S( , p). Claim 2. S( , p) is indecomposable. By contradiction suppose that there are two proper subcontinua C and G of S( , p) such that C ∪ G = S( , p). Let C n and G n be the projections onto (k(n)) of C and G respectively such that (k(n)) / ∈ {C n , G n }. Since C n (as well as G n ) is a proper subcontinuum of (k(n)) it is an arc (perhaps nonmetric) that is a proper subset of (k(n)) . Note that (φ p n k(n) ) −1 (C n ) and (φ p n k(n) ) −1 (G n ) each consists of p n disjoint homeomorphic copies of C n and G n respectively. Since π n+1 (C) is connected it follows that it misses a component of (φ Recall that the long line is the space obtained by putting a copy of the open unit interval (0, 1) in between α and α + 1 for each α ∈ ω 1 , and giving it the natural order topology. We will refer to this line as the "standard" long line. The long line of length κ can be similarly defined for any ordinal κ (though it shouldn't be considered "long" if κ < ω 1 ). Note that long lines are locally compact. The closed long line of length κ adds κ as a compactifying point. We will often use interval notation to denote these lines and subintervals thereof; e.g., [0, ω 1 ) is the standard long line, and [0, κ] is the closed long line of length κ.
Before stating our next result, let us describe some natural autohomeomorphisms of (n) when constructed from the ordered continuum as previously described. Note that for each k = 0, 1, . . . , n − 1, the "rotation" R k of (n) that maps ∞ i + x to ∞ j + x, where j = i + k mod n, is an autohomeomorphism of (n) . Also, given a homeomorphism S : → which leaves the endpoints fixed, the mapŜ n of (n) which applies S to the interior of each of the n copies of and leaves the points ∞ i , i = 0, 1, . . . , n − 1 fixed is another autohomeomorphism. It is easily checked that these autohomeomorphisms commute with the bonding maps. First suppose s, w ∈ O 1 . Choose α < ω 1 larger than both s 1 and w 1 . Since [0, α] is a metric arc, there is an autohomeomorphism of [0, α] which maps s 1 to w 1 and keeps the endpoints fixed. Clearly this autohomeomorphism extends to an autohomeomorphism S of which maps s 1 to w 1 . Let H 1 =Ŝ 1 . For n > 1, note that s n and w n are points corresponding to s 1 and w 1 , resp., in one of the copies of making up (k(n)) , though they need not both lie in the same copy. So we let H n beŜ k(n) followed by the appropriate rotation to take s n to w n . Since these homeomorphisms commute with the bonding maps, the sequence H 1 , H 2 , . . . defines an autohomeomorphism of the inverse limit space which maps s to w.
If s, w ∈ O 2 , then for each n, s n and w n are ∞ i and ∞ j for some i, j < n, whence an appropriate rotation of (k(n)) will send s n to w n . So again we obtain an autohomeomorphism of the inverse limit space sending s to w.
Finally, note that every point in O 1 is a point of first countability in S( , p), while no point of O 2 is a G δ . Thus no autohomeomorphism sends a point of O 1 to O 2 . It follows that these two sets are precisely the orbits. Given n , let n+1 be obtained from n just like 2 was obtained from 1 . I.e., n+1 is the two point compactification of Z × − n with the lexicographic order, where − n is n minus its right endpoint. It will be helpful to consider the following translation map on n 's. For , T k does the same on each copy of o 2 and keeps the other points (i.e., ∞ 0 , . . . , ∞ n−1 ) fixed. T k is defined analogously in the inductive step, where n+1 is the two point compactification of Z × − n . We want to prove that S( n , p) is 1 n+1 -homogeneous. It will be helpful to first prove the following lemma. Note that 1-dimensional Vietoris solenoids (inverse limits of circles with p-fold covering maps as bonding maps) have a base that consists of open sets homeomorphic to C×(0, 1), where C is a Cantor set. It is easy to see that the nonmetric solenoids we consider will have a similar property, where (0, 1) is replaced by a basic open set (i.e., an arc) in . For completeness sake we sketch a proof of this fact (in a more general form that has essentially the same proof).

Lemma 2.3 Let S = lim
← − {φ n , (n) , n ∈ N} be an inverse limit of locally connected spaces in which the bonding maps are finite-to-one (but at least 2-to-one) covering maps. Suppose also that each point x ∈ is contained in an open set O which for all n is evenly covered by the map φ n,1 = φ 1 • φ 2 • · · · • φ n−1 : (n) → . Then any point x ∈ S has a local open base of sets U homeomorphic to U 1 × C, where U 1 = π 1 (U ) is connected and C is the Cantor set.
Proof Let p ∈ S, and suppose U is an open subset of S that contains p. Without loss of generality, we may assume U = π −1 i (V ) for some connected open subset V of X i containing p i . We may also assume that for any x and any j > i, it is easy to check that C has no isolated points. Thus C is a Cantor set.
Define h : where q ∈ C is such that for each j > i, q j and x j are in the same slice of V with respect to φ j−1,i . It is straightforward to check that h is a homeomorphism. Since V ∼ = U 1 , we are done.
The solenoids constructed in this paper satisfy the conditions of Lemma 2.3, where O can be taken to be any proper arc contained in . The following corollary will help us show that certain points are not in the same orbit. Lemma 2.3, and let x ∈ S, y ∈ S . If there is an homeomorhpism of S amd S taking x to y, then any neighborhood U 1 of y 1 in S contains a homeomorphic copy of some neighborhood V 1 of x 1 in S.

Corollary 2.4 Let S and S be as in
Proof Let h : S → S be a homeomorphism taking x to y, and let U 1 be a neighborhood of y 1 Since the components of W are all homeomorphic to W 1 and those of V to V 1 , it follows that V 1 is homeomorphic to a subset of W 1 ⊂ U 1 .

Theorem 2.5 For each positive integer κ ≥ 1 and sequence p of integers
Proof The proof is by induction. Theorem 2.2 takes care of the case κ = 1. It will be helpful to look at the case κ = 2 before describing the inductive step. So, let S = S( 2 , p), and let ∞ denote the point ∂ in . We claim that the three orbits are , then x 1 corresponds topologically to a point (>0) in the long line , and so does x n for all n (indeed the x n 's all correspond to the same point in ). Thus x is a point of first countability. Furthermore, x 1 has a neighborhood contained in the long line, so x has a neighborhood consisting of points of first countability.
If x ∈ O 2 , then x 1 corresponds to the compactifying point ω 1 in [0, ω 1 ], and so does each x n . So no coordinate is G δ , and it easily follows that x is not a G δ point in S.
So each x n is G δ , and it follows that x is G δ and hence a point of first countability. But every neighborhood of x contains a point with first coordinate k for some k ∈ Z, i.e., a non-G δ -point in O 2 .
It follows from the above discussion that no point in Note that T k will take x n = ∞ i + p to y n = ∞ i + q, and then the rotation R l takes y n to y n ; hence H n (x n ) = y n . Since both R l and T k commute with the bonding maps, so does H n . So again, (H n ) n∈N defines an autohomeomorphism of S that maps x to y.
Finally, suppose x, y ∈ O 3 . Then x 1 = p + w, y 1 = q + z for some p, q, ∈ Z and w, z ∈ L\{0}. There is an autohomeomorphism A of which maps w to z. Let A be the autohomeomorphism of as we described previously, i.e., which applies A in every copy of , and then let . Similar reasoning to the previous case shows that these H n 's define an autohomeomorphism of S that maps x to y.
To prove that the κ + 2-orbits we will define for S( κ+1 , p) really are different requires us to define the following "types" of points: let p be a point in some κ or κ /∂ κ . Then p is of 1. Type 1 if p has a neighborhood N such that every point of N is a point of first countability; 2. Type 2 if p is not G δ , and has a neighborhood N such that p is the only non-G δ point in N ; 3. Type 3 if p is a limit point of Type 2 points, and has a neighborhood N such that p is the only limit of Type 2 points in N . κ + 1. Type κ + 1, for κ ≥ 3, if p is a limit point of Type κ points, and has a neighborhood N such that p is the only limit of Type κ points in N . Now suppose κ satisfies: (i) κ has points of Type i for i = 1, 2, . . . , κ + 1, and each point of κ is one of these types; (ii) The endpoints of κ are the only points in κ of Type κ + 1; (iii) If −∞ < x, y < ∞ are the same type in κ , then there is an autohomeomorphism h of κ mapping x to y and keeping the endpoints fixed. It is easily checked that 3 satisfies the above conditions. Now we show that if κ satisfies these conditions, then S = S( κ+1 , p) has orbits O i = { x ∈ S : x 1 has Type i} for i = 1, 2, . . . , κ + 2.
Recall that κ+1 is the the two point compactification can be thought of as the real line with each open interval (k, k + 1) replaced by κ \∂ κ . By condition (ii) above, the points k = (k, min κ ) are the only Type κ + 1 points in κ+1 , and note that this makes the endpoints of κ+1 the only Type κ + 2 points in that space, and hence the point ∞ of the corresponding quotient space the only Type κ + 2 point there.
Let x ∈ O i and y ∈ O j with i = j. We show that there is no autohomeomorphism of S taking s to y. We may assume i > j. By Corollary 2.4, every neighborhood of y 1 contains a copy of some neighborhood of x 1 . By an easy induction, every neighborhood of x i contains non-G δ points. So we have a contradiction if j = 1, since y 1 then has a neighborhood of all G δ points. Suppose j > 0. Another easy induction shows that every neighborhood of x i contains infinitely many points of Type j. So again we have a contradiction since y 1 has a neighborhood N with only one Type j point. It follows that no autohomeomorphism of S maps x to y.
Suppose now that x and y are in the same O a . If a = κ + 2, then x 1 = y 1 = ∞, and every x m (resp. y m ) for m ≥ 2 is ∞ i (resp. ∞ j ) for some i, j < m. Thus the appropriate rotation R k will map x m to y m and commute with the bonding maps; it follows that there is an autohomeomorphism of S mapping x to y. If a = κ + 1, then x 1 and y 1 correspond to points in Z in o κ+1 . This case is easily taken care of by the same argument as for O 2 in the case κ = 2.
If a < κ + 1, the reasoning is similar to that of O 3 above. To wit, x 1 = p + w, y 1 = q + z for some p, q, ∈ Z and w, z ∈ κ \∂ κ , where w and z are of the same type. By assumption (iii) on κ , there is an autohomeomorphism A of κ which maps w to z and fixes the endpoints. Let H 1 =Â 1 be the autohomeomorphism of which applies A in every copy of κ making up o κ+1 , and then let mod k(m). Similar reasoning to previous cases shows that these H m 's define an autohomeomorphism of S that maps x to y.
Finally, we need to prove that κ+1 satisfies the inductive conditions. Condition (i) is easily seen, and condition (ii) was already mentioned. It remains to check (iii). Suppose x, y ∈ o κ+1 are of the same type. If that type is κ + 1, then x = p, y = q for some p, q, ∈ Z, so we can let h = T k , where k = q − p. If the type is < κ + 1, then x = p + w, y = q + z for some p, q, ∈ Z and w, z ∈ o κ , where w and z are of the same type. By assumption (iii) on n , there is an autohomeomorphism A of n which maps w to z and fixes the endpoints. Let h = T k •Â, whereÂ is the map which applies A to each copy of κ making up κ+1 and keeps other points fixed. Then h is an autohomeomorphism of κ+1 which maps x to y and keeps the endpoints fixed.
We finish this section with our example for κ = 1; i.e. a nonmetric homogeneous circle-like indecomposable continuum. Recall that, as mentioned in the Introduction, all Vietoris solenoids are homogeneous, and metric homogeneous circle-like continua were classified in [38], but there do not seem to be any results in the literature that would explicitly prove the classification incomplete in the nonmetric case. In addition, in [13] Gutek and Hagopian asked if there exists a nonmetrizable circle-like homogeneous indecomposable continuum having only arcs for nondegenerate proper subcontinua. Our example satisfies all but the last mentioned property, and it should be clear that all of its proper subcontinua are homeomorphic to an order-homogeneous nonmetric arc.

Example 2.6
There is an ordered continuum such that S( , p) is a nonmetric homogeneous indecomposable circle-like continuum.
Proof Let be any nonmetric ordered continuum which is order-homogeneous, i.e., ∼ = [x, y] for any x < y ∈ . 2 Such spaces (with additional properties not relevant here) have been constructed by, for example, Hart and van Mill [15]. Using methods of this section, it is easy to see that the corresponding spaces (n) and S( , p) are homogeneous. S( , p) is nonmetric because it admits a continuous surjection onto the nonmetric first coordinate, and it is indecomposable and circle-like by Theorem 2.1.
In addition to the above example, in private communication, Michel Smith informed us that he conjectures the results in [42] could be used to exhibit other nonmetric homogeneous circle-like indecomposable continua.

1/κ-homogeneity for infinite κ
In the section, we show that for any infinite cardinal κ, there is a 1/κ-homogeneous indecomposable circle-like continuum. These continua are also of the form S( , p) for some ordered continuum , but now is going to be simply the long line of some ordinal length. We can also think of these as being obtained by putting copies of the standard long line end to end some ordinal number of times.
Ordinal multiplication will be useful here, so we recall some basics (see e.g., the first Chapter of [25] for an excellent sketch of ordinal arithmetic). If α and β are ordinals, then α · β is the ordinal whose order type is that of the ordinal α (recall an ordinal may be thought of as the set of its predecessors) laid end to end β times. Formally, we can define α · β as the ordinal whose order type is that of β × α with the lexicographic order. Multiplication is not commutative, e.g., ω · 2 is equal to two copies of ω end to end; it is the same as ω + ω. However, 2 · ω is the ordinal 2 laid end to end ω times; note that the resulting order type is ω, so 2 · ω = ω. Ordinal exponentiation is defined inductively. γ 0 = 1, γ β+1 = γ β · γ , and if α is a limit ordinal, γ α = sup{γ β : β < α}. So, e.g., ω 2 = ω · ω, ω 3 = ω 2 · ω, etc., and ω ω = sup{ω n : n < ω}. In particular, note that ω ω is a countable ordinal.
The following lemma will be useful to determine a lower bound for the number of orbits of some S( , p)'s where is a long line of some ordinal length. Proof By induction on α. If α = 0, then δ = ω 1 · ω 0 = ω 1 · 1 = ω 1 , and the result is well-known and easy to prove (e.g., ω 1 is not G δ in [0, ω 1 ], but any point < ω 1 is G δ ). So suppose α > 0 and the result holds for any β < α.
Proof Without loss of generality, assume α > β. By Corollary 2.4, every neighborhood of y 1 must contain a homeomorphic copy of a neighborhood of x 1 . But this would contradict Lemma 3.1.
The next result shows that for any infinite cardinal κ, there is a 1/κ homogeneous space of the form S( , p); in fact, taking to be the closed long line of length ω 1 · ω κ works. If κ = ω, then this says that taking countably many copies of the standard long line and lining them up in type ω ω works. As noted above, ω ω is a countable ordinal, so ω 1 · ω ω is an ordinal strictly between the cardinals ω 1 and ω 2 . So is ω 1 · ω ω 1 , but this can be simplified. Indeed, for any uncountable cardinal κ, ω κ = κ (the reason: α < β implies ω α < ω β , so ω κ has to be at least κ, and one may show by induction that α < κ implies ω α < κ, so it can't be more than κ). So ω 1 · ω ω 1 = ω 1 · ω 1 = ω 2 1 , and hence the long line of this length is the same as the standard long line laid end to end ω 1 times. If κ ≥ ω 2 , the formula can be simplified even more: ω 1 · ω κ = ω 1 · κ = κ. Now we will prove: Theorem 3.3 Let κ be an infinite cardinal. If is the closed long line of length ω 1 ·ω κ , then S( , p) is 1/κ-homogeneous. In particular, the long line of length ω 1 · ω ω yields a 1/ω-homogeneous continuum, the one of length ω 2 1 yields a 1/ω 1 -homogeneous continuum, and for κ ≥ ω 2 , the long line of length κ yields a 1/κ-homogeneous continuum.
Proof Let κ be an infinite cardinal, let be the closed long line of length δ = ω 1 · ω κ . We will show that S( , p) is 1/κ-homogeneous; the "In particular…" then follows by the remarks in the preceding paragraph. That S( , p) has at least κ many orbits is immediate from Corollary 3.2.
It remains to show that there are no more than κ many orbits. It is easy to see that one may use the rotations R j as previously defined to show that if x 1 = y 1 , then x and y are in the same orbit. Let N G be the set of all points x ∈ that are either not G δ in or are a limit of non-G δ points. For each x ∈ N G, is either an orbit or is properly contained in one (we don't know which, but conjecture the former). Note that N G is closed in , and that \N G breaks up into κ many components each homeomorphic in a natural way to the standard open long line (0, ω 1 ). Indeed, note that if α ∈ N G, α < κ, then α + ω 1 is the least point in N G greater than α. It follows that \N G is equal to If x 1 and y 1 fall into the same maximal interval (α, α + ω 1 ) of \N G, then there is an autohomeorphism h of [α, α + ω 1 ] sending x 1 to y 1 (and leaving α and α + ω 1 fixed, as it must). Note that each x n and y n correspond to x 1 and y 1 in one of the k(n) copies of making up (k(n)) . So for each n, an autohomeomorphism of (k(n)) which applies h to the interval (α, α + ω 1 ) in each copy of in (k(n)) , and leaves other points fixed, followed by the appropriate rotation, will take x n to y n and commute with the bonding maps. The resulting homeomorphism of S( , p) takes x to y.

Constructing 2 κ -many nonhomeomorphic examples
In this section, we show that there are 2 κ -many nonhomeomorphic spaces S( , p) for fixed p, as varies over ordered continua of weight (=least cardinality of a base) κ, where κ is any uncountable cardinal. This is the best possible, because there are only 2 κ -many compact Hausdorff spaces of weight κ (this follows easily from the fact that they all embed homeomorphically into [0, 1] κ ).
Recall that our examples from the previous section are based on closed long lines (κ) of length ω 1 · ω κ (ordinal arithmetic), which can be thought of as laying the standard long line end to end in a sequence of order type ω κ . The main idea for getting different homeomorphism types is to stick in a reverse long line in place of some of those copies of the standard long line.
Let a β denote the ordinal ω 1 · ω β . Let A be a subset of κ. For each β in A, in place of the copy of the standard long line from a β to a β + ω 1 , put the reverse long line there instead. Call the resulting ordered continuum (κ, A). We will show that if A and A are different subsets of κ, then S( (κ, A), p) is not homeomorphic to S ( (κ, A ), p).
First, we need the following mild generalization of Lemma 3.1 which has a nearly identical proof. We'll use the following notation: if [x, y] is an interval in a long line, and A is any set of ordinals, then [x, y] A denotes the interval [x, y] as modified above, i.e., for every β ∈ A with a β ∈ [x, y), we have put the reverse long line in place of the copy of the standard long line from a β to a β + ω 1 .

Lemma 4.1
Let a α = ω 1 · ω α , where α is some ordinal. Then for any x < a α , and for any sets A and B of ordinals, the interval [x, a α ] A cannot be homeomorphically embedded in [0, y] B for any y < a α .
Proof By induction on α. The cases where α = 0 and where α is a limit ordinal are handled just as in Lemma 3.1. So we suppose α > 0 is a successor ordinal, say α = β + 1, and the result holds for any γ < α.
Proof With Lemma 4.1 in hand, the proof that S ( (κ, A), p) is 1 κ -homogeneous is the same as before. So let A and A be two distinct subsets of κ, and suppose h : S( (κ, A), p) → S ( (κ, A ), p) is a homeomorphism.
We claim that f (y 1 ) = x 1 . If not, then for some subarc I of (δ, y 1 + ) containing y 1 , either f (I ) is entirely on the right of x 1 , or f (I ) is entirely on the left of x 1 and bounded by some z < x 1 . Invoking Corollary 2.4 in the opposite direction, some arc J containing x 1 is homeomorphic to a subarc of I . If f (I ) is on the right of x 1 , then J is homeomorphic to a subarc of a reverse long line, which is impossible. On the other hand, if f (I ) is bounded to the left of x 1 , then Lemma 4.1 is violated.
Thus f (y 1 ) = x 1 . Now (y 1 , sup(I )) is homeomorphic to the real interval (0, ), so x 1 must look like that to its left or right, which is false. So f , and hence the homeomorphism h, do not exist.
The reason for restricting the last sentence of the above result to uncountable cardinals is that the long line of length ω 1 · ω ω has weight ω 1 , not ω. However, the first author shows in [7] that there are 2 ω -many 1 ω -homogeneous solenoidal continua of weight ω (of course, having weight ω implies that they are metrizable).

Shape of spaces with related linear ordering
In this section we show that among ordered continua the shape of S( , p) depends only on the equivalence class of p for a relation similar to one used to classify the additive subgroups of Q. We obtain a theorem about certain quotients of ordered continua and then apply this theorem to analyze the associated Bruschlinsky group, which is naturally isomorphic to theČech-Alexander-Spanier cohomology group with coefficients Z in dimension one (see [17]). In our specific situation the Bruschlinsky group of S( , p) is the group Q( p) of all rationals of the form m/ p 1 . . . p n where m ∈ Z and n ∈ N. It will follow that for each fixed there are exactly c-many shapes and exactly c-many different homeomorphism types.
An exposition of shape theory for the results in this section can be found in [29] by Mardešić and Segal. Their approach requires some preparation, but Sect. 2.4 of Chapter 1 of [29] shows the equivalence with a simpler approach given in [23,24]. Nevertheless [29] is a very useful reference for material related to this section. For an exposition of homotopy and cohomology Spanier [43] is a standard useful reference, and all definitions and notation not explicitly given are found there.
Elementary shape theory If X and Y are spaces, which will always be taken as compact Hausdorff, and f : X → Y is a map, then [ f ] is the homotopy class of f and π X (Y ) = [X, Y ] is the set of all homotopy classes of maps from X to Y . Let W be the category whose objects are all spaces which are dominated by polyhedra (see [29,31] for the flexibility in handling W) and whose morphisms are homotopy classes of maps between the objects. π X will here be considered a covariant functor defined on W taking values in the category of sets and functions. A shape map from X to Y will be defined as a natural transformation : π Y → π X . Note the reversal! (Mardešić and Segal use the phrase shape morphism). If f : X → Y is the homotopy class of a map from X to Y , it induces a natural transformation f # : π Y → π X which is defined for any space W in W by f # (g) = g f .
If f is a map, it will be convenient to write f # for [ f ] # . A shape map from X to Y is a shape equivalence if it is an invertible natural transformation, and for this to occur it is necessary and sufficient that : π Y (W ) → π X (W ) is a bijection for every object W in W. A map f will be called a shape equivalence if and only if f # is a shape equivalence. A space X has trivial shape if the map of X to a one point space is a shape equivalence. Note that a space X has trivial shape if and only if every map defined on X with target an object of W is homotopic to a constant map. Remark Expressions like σ γ τ −1 will be used only if they are single-valued and therefore define functions. The analysis of constructions on these spaces is based on the following result.

Lemma 5.1
If is an ordered continuum, then has trivial shape.
Proof has a cofinal family of covers U whose nerves K (U), have the property that |K (U)|, the space of K (U), is homeomorphic to I. Now let ϕ : → W be a map into an arbitrary object W of W. A standard argument (cf. [17,43]) gives maps θ : → |K (U)| and ψ : |K (U)| → W such that ϕ ψθ, where K is the nerve of an open cover which may be taken from a cofinal family and whose space |K | therefore may be taken to be homeomorphic to I. Thus ϕ is homotopic to a constant map showing that the shape of is trivial.
There are two major tools of shape theory which will be used: collapsing sets of trivial shape [29] and the continuity property (Corollary 4.8 of [27]). For convenience we give the arguments which apply for our results.

Lemma 5.2
If A is a closed set of trivial shape in X , then the projection map f : X → X/A is a shape equivalence. Furthermore, if Y is the quotient of X obtained by identifying a finite number n of disjoint compact subspaces of trivial shape to n points, then the projection f : X → Y is a shape equivalence.
Proof Let W ∈ W. If h : X → W , then it may be assumed that W is a compact polyhedron. The map h restricted to A is homotopic to a constant map; the homotopy extension property implies that there is a homotopy h t : X → W, t ∈ I, such that h 0 = h and h 1 maps A to a single point. h 1 defines a map g : X/A → W , and g f h. This shows f # : [X/A, W ] → [X ] is surjective. To show f # is injective suppose g 0 , g 1 : X/A → W , and suppose there is a homotopy h t : X → W such that h j = g j f for j = 0, 1. Let w j be the point g j f (A) for j = 0, 1, and consider the space F of all maps (I, 0, 1) → (W, w 0 , w 1 ) which is an ANR [18]. The homotopy defines a map of A into F, which is homotopic to a constant which is a map of A × I → W such that A × {t} is mapped to a point for all t. Altogether these homotopies define a map of A × I × I into W with the properties that (x, 0, t) → h t (x), A × {( j, t)} → w j , and A × {(t, 1)} → a point. Use this along with the assignments (x, t, 0) → h t (x) and (x, j, t) → g j f (x) (where x ∈ X , t ∈ I, and j = 0, 1) to define a map The homotopy extension property gives an extension G : X × I × I → W . The map (x, t) → G(x, t, 1) maps A × {t} to a point for each t, which defines a homotopy g 0 g 1 by passing to the quotient.
The second assertion follows by induction.
Direct limits of sets and functions are discussed in [43].
. . be an inverse sequence of compact Hausdorff spaces with inverse limit X and maps q n : X → X n . Then for any W ∈ W the maps q # n : [X n , W ] → [X, W ] define a bijection from the direct limit of the sequence Proof For each n let Y n be the disjoint union of X 0 , …, X n and let g n : Y n → Y n−1 map X k identically to itself for 0 ≤ k < n and map X n to X n−1 via f n . The inverse limit Y of this inverse sequence contains X with the X n limiting down to X . W may be assumed to be a compact polyhedron, which may be considered a retract of an open subset of the Hilbert cube. Thus, if g : X → W is given, there is an extension of g over a neighborhood of X in Y , and this implies there is n 0 such that for each n ≥ n 0 there is a map g n : X n → W such that the maps g n q n converge uniformly to g. Because sufficiently close maps into W are homotopic, there is n 1 such that for all n ≥ n 1 there is a homotopy g n q n g. It is, of course, sufficient for surjectivity that there is one such index.
To obtain injectivity consider the inverse sequence obtained by replacing each X n with X n × I. Thus if g 0 , g 1 : X m → W are maps such that g 0 q m g 1 q m , assume for simplicity that m = 0 and define a map X × I ∪ Y × {0, 1} → W by the homotopy on X × I and by mapping (x, j) ∈ X n × {0, 1} to g j f 1 . . . f n (x). By an argument similar to the above it follows that there is n 0 such that for each n ≥ n 0 there is a homotopy G n, t : X n → W , t ∈ I, such that G n, j = g j f 1 . . . f n for j = 0, 1. As above one such index suffices to show injectivity.

Lemma 5.4 If is obtained from by collapsing ∂ , then there exist standard maps φ :
→ S 1 and if φ and φ are standard maps, then φ φ . Furthermore, every standard map is a shape equivalence.
Proof Let τ : → be the quotient map. By Urysohn's Lemma there is a map γ : → I which maps the first point of to 0 and the last point of to 1 so that φ = σ γ τ −1 is a standard map. If φ and φ are defined by γ and γ respectively, then by Tietze's Theorem the maps γ and γ are homotopic rel ∂ , which induces a homotopy φ φ . Now employ I ∨ from which I arises by identification of the points of ∂(I ∨ ). The compliant maps β : I ∨ → I and α : I ∨ → which respectively collapse and I to points induce g : I → S 1 and f : I → . These maps collapse sets of trivial shape to a point and hence are shape equivalences. Since φ f and g are standard maps, they are homotopic. Hence for every object W of W, and since f # and g # are bijections, φ # is a bijection. Hence φ is a shape equivalence.

Theorem 5.5 Assume that
(a) and are obtained from ordered continua and by collapsing ∂ and ∂ respectively; (b) a 0 < a 1 < · · · < a n are points of with a 0 the first point of and a n the last point of ; (c) For j = 1, . . . , n there are compliant maps γ j : j → , where j = [a j−1 , a j ]; (d) f : → is defined by the equations f (τ (x)) = τ (γ j (x)) for all x ∈ j for j = 1, . . . , n, where τ : → and τ : → are the respective quotient maps.
Then for any standard maps φ : → S 1 and φ : → S 1 the maps φ f and μ n φ are homotopic, where the map μ n : S 1 → S 1 is the nth-power map z → z n .
Proof Let I be obtained from I ∨ by the identifying the points of ∂(I ∨ ). For j = 1, . . . , n let j = I ∨ [a j−1 , a j ]. Let I be these copies laid end to end with the last point of j−1 identified with the first point of j for j = 2, . . . , n. Finally, I is obtained by identifying the points of ∂ I . For j = 1, . . . , n there are compliant maps γ j : j → I ∨ defined by the identity of I and γ j . The map f I : I → I is defined by the equations f (τ (x)) = τ (γ j (x)) for all x ∈ j for j = 1, . . . , n, where τ : I → I and τ : I ∨ → I are the respective quotient maps.
The diagram below is homotopy commutative.
The maps q and q collapse a finite number of sets of trivial shape to points and hence are shape equivalences. Since ψ and φq are standard maps, ψ φq and therefore ψ # and q # φ # are inverses and similarly for ψ # and q # φ # . This gives rise to the commutative diagram (with defined by commutativity), and the compositions in the horizontal rows are the identity.
Therefore = μ # n , and consequently, This concludes the proof.
Next we apply this theorem to our specific situation. As before, let be an ordered continuum and let (n) be n copies of laid end to end as 1 ∨ 2 ∨ · · · ∨ n with the last point of j identified with the first point of j+1 for j = 1, . . . , n − 1. Let and (n) be the corresponding quotient spaces obtained by identifying first and last points of and (n) with respective quotient maps τ and τ (n) . Let f : (n) → be the map which maps each image of j in (n) in the order preserving way to and passing to the quotient : precisely, for j = 1, . . . , n there is a commutative diagram.
By Theorem 5.5 for all compliant maps γ : → I and δ : (n) → I the resulting standard maps φ and ψ are shape equivalences and the following diagram is homotopy commutative, where μ n is the nth-power function z → z n . be calculated, and in doing this the proof of Corollary 5.6 makes the extra step of Conversely, assume ( p) and ( q) are topologically isomorphic. A direct argument along the lines of the proof for Corollary 5.6 shows that the Bruschlinsky groups [ ( p), S 1 ] = Q( p) and [ ( q), S 1 ] = Q( q) are isomorphic and therefore p and q are equivalent.

Corollary 5.8 Let and
be ordered continua and p and q sequences of integers greater than one. Then S( , p) and S( , q) have the same shape if and only if p and q are equivalent.
Proof If p and q are equivalent, Lemma 5.7 implies that ( p) and ( q) are homeomorphic. Since S(I, p) is homeomorphic to ( p), the previous corollary implies that the shape of S( , p) is the same as the shape of S( , q).
Conversely, if the shape of S( , p) is the same as the shape of S( , q), then the Bruschlinsky groups [S( , p), S 1 ] = Q( p) and [S( , q), S 1 ] = Q( q) are isomorphic and therefore p and q are equivalent.

Corollary 5.9
For each ordered continuum as p varies, there are exactly c many shapes and exactly c many homeomorphism types.
Proof The cardinality of the set of equivalence classes of sequences p of integers greater than 1 is c. Selecting one space S( , p) as a representative from each equivalence class of sequences gives a set of homeomorphism types with cardinality c. Since the cardinality of the set of all homeomorphism types of the spaces S( , p) does not exceed the cardinality c of the set of all such sequences, the result follows.