Solenoid (mathematics)

This page discusses a class of topological groups. For the wrapped loop of wire, see Solenoid.

Algebraic structure → Group theory Group theory
Basic notions Subgroup Normal subgroup Group action Quotient group (Semi-)direct product Direct sum Free product Wreath product Group homomorphisms kernel image simple finite infinite continuous multiplicative additive cyclic abelian dihedral nilpotent solvable Glossary of group theory List of group theory topics
Finite groups Cyclic group Zn Symmetric group Sn Alternating group An Dihedral group Dn Quaternion group Q Cauchy's theorem Lagrange's theorem Sylow theorems Hall's theorem p-group Elementary abelian group Frobenius group Schur multiplier Classification of finite simple groups cyclic alternating Lie type sporadic
Discrete groups Lattices Integers (${\displaystyle \mathbb {Z} }$) Free group Modular groups PSL(2, ${\displaystyle \mathbb {Z} }$) SL(2, ${\displaystyle \mathbb {Z} }$) Arithmetic group Lattice Hyperbolic group
Topological and Lie groups Solenoid Circle General linear GL(n) Special linear SL(n) Orthogonal O(n) Euclidean E(n) Special orthogonal SO(n) Unitary U(n) Special unitary SU(n) Symplectic Sp(n) G2 F4 E6 E7 E8 Lorentz Poincaré Conformal Diffeomorphism Loop Infinite dimensional Lie group O(∞) SU(∞) Sp(∞)
Algebraic groups Linear algebraic group Reductive group Abelian variety Elliptic curve
v t e

In mathematics, a solenoid is a compact connected topological space (i.e. a continuum) that may be obtained as the inverse limit of an inverse system of topological groups and continuous homomorphisms

${\displaystyle f_{i}:S_{i+1}\to S_{i}\quad \forall i\geq 0}$

where each ${\displaystyle S_{i}}$ is a circle and f_i is the map that uniformly wraps the circle ${\displaystyle S_{i+1}}$ for ${\displaystyle n_{i+1}}$ times (${\displaystyle n_{i+1}\geq 2}$) around the circle ${\displaystyle S_{i}}$.^{[1]: Ch. 2 Def. (10.12)} This construction can be carried out geometrically in the three-dimensional Euclidean space R³. A solenoid is a one-dimensional homogeneous indecomposable continuum that has the structure of an abelian compact topological group.

Solenoids were first introduced by Vietoris for the ${\displaystyle n_{i}=2}$ case,^[2] and by van Dantzig the ${\displaystyle n_{i}=n}$ case, where ${\displaystyle n\geq 2}$ is fixed.^[3] Such a solenoid arises as a one-dimensional expanding attractor, or Smale–Williams attractor, and forms an important example in the theory of hyperbolic dynamical systems.