Structure of Finite-Dimensional Protori

Wayne Lewis

REVIEW 3 major objections 6 minor 11 references

Structure of Finite-Dimensional Protori

T0 review · 3 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every finite-dimensional compact connected abelian group decomposes uniquely as a torus, a rational solenoidal part, and a torus-free core, and the core admits a canonical subgroup-free resolution.

desk verdict A serious and likely correct structure theorem for finite-dimensional protori, with the universal-resolution step proven too tersely for comfort — commensurability fills the gap, but a referee should make the author write it out. read the letter →

arxiv 1908.04195 v1 pith:LC4LRYOM submitted 2019-08-08 math.GR math.GN

Wayne Lewis This is my paper · ORCID

classification math.GRmath.GN MSC 20K1520K2020K2522B0522C0522D35

keywords compactabeliangrouptorustorus-freeperiodiclocallyprotorusprofinitesubgrouptorsion-freefiniterank

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper sets out a structure theorem for all finite-dimensional compact connected abelian groups, called protori. It claims that every such group is, up to topological isomorphism, a product of a torus, finitely many rational solenoid factors, and a torus-free core with neither type of factor, and that this three-part decomposition is unique. The point of the decomposition is that the messy profinite part of the group can be resolved without choosing a particular profinite subgroup: the paper constructs a universal resolution using a divisible periodic locally compact group built from the dual group, together with the real Lie algebra. A sympathetic reader would care because this turns the classification of protori into the study of finite-rank torsion-free abelian groups, and it reduces morphisms between protori to morphisms of divisible periodic groups, which are tractable p-adic module problems.

What carries the argument

The load-bearing object is the lattice $L(G)$ of profinite subgroups $\Delta$ of a torus-free protorus $G$ for which $G/\Delta$ is a torus, together with the dual lattice of finite-rank torsion-free subgroups of $X = G^\wedge$. The main mechanism is Lemma 5, which shows that for each such $\Delta$, the intersection $Z_\Delta = \Delta \cap \exp_G L(G)$ is all of $\Delta$ and is closed in the path component, and Theorem 1's construction of the periodic locally compact group $\mathfrak{p}\Delta_Y$ as the union of the lattice with a topology declaring the lattice to be a neighborhood basis at zero. A parameter $Y$ ranges over finite-rank torsion-free groups between $\mathbb{Z}^n$ and $\mathbb{Q}^n$, and each such $Y$ produces a resolution $(\mathfrak{p}\Delta_Y \times L(G))/Y$; when $Y = X_8$, the minimal quotient-divisible extension of the dual, the resolution is universal.

What would settle it

Take a torus-free protorus $G$ whose dual $X$ contains two free rank-$n$ subgroups $Y_1,Y_2$ with $\mathbb{Z}^n \subseteq Y_i \subseteq \mathbb{Q}^n$ and different $p$-height data for infinitely many primes, and compute whether the periodic groups $\mathfrak{p}\Delta_{Y_1,8}$ and $\mathfrak{p}\Delta_{Y_2,8}$ are topologically isomorphic; the paper's Theorem 1(4) claims both are topological divisible hulls of every $\Delta \in L_X$, so one pair with non-isomorphic hulls, or one $\Delta \in L_X$ not divisible in $\mathfrak{p}\Delta_{X_8}$, would falsify the universal resolution.

Watch

Extended reading notes

Core claim

Every finite-dimensional protorus $G$ is topologically isomorphic to $T^r \times (\widehat{\mathbb{Q}})^k \times G_0$, where $T$ is the circle group, $\widehat{\mathbb{Q}}$ is the rational solenoid (the Pontryagin dual of the discrete rationals), and $G_0$ is an $n$-dimensional torus-free protorus containing no subgroup topologically isomorphic to $T$ or $\widehat{\mathbb{Q}}$; the integers $r,k,n$ and the factor $G_0$ are uniquely determined. For the torus-free core, the paper's Corollary 6 gives a universal resolution $G \cong (\mathfrak{p}\Delta_{X_8} \times L(G))/X_8$, where $X_8$ is a minimal quotient-divisible extension of the Pontryagin dual $X = G^\wedge$, $\mathfrak{p}\Delta_{X_8}$ is a topological divisible hull of every profinite subgroup in the lattice $L_X$, and $L(G)$ is the Lie algebra of $G$. This resolution is independent of the choice of a profinite subgroup, unlike earlier resolutions.

Load-bearing premise

The argument depends on the assumption that building the minimal quotient-divisible extension from a single chosen profinite subgroup $\Delta^\ast$ automatically controls the divisible hulls of all profinite subgroups in the lattice $L(G)$, so that the universal resolution really is independent of the subgroup.

Editorial extensions

If this is right

Every finite-dimensional compact connected abelian group is topologically isomorphic to a unique product $T^r \times \widehat{\mathbb{Q}}^k \times G_0$, so the classification of protori reduces to the torus-free core $G_0$ with no torus or rational-solenoid factors.
Resolutions of a torus-free protorus are parameterized by finite-rank torsion-free groups $Y$ between $\mathbb{Z}^n$ and $\mathbb{Q}^n$, and the universal resolution $G \cong (\mathfrak{p}\Delta_{X_8} \times L(G))/X_8$ does not depend on choosing a profinite subgroup.
Morphisms between torus-free protori lift to product morphisms between their minimal divisible locally compact covers, reducing the study of protori morphisms to morphisms of divisible periodic locally compact groups and their $p$-Sylow components.
The path component of the identity together with the union of all zero-dimensional subgroups yields a canonical resolution of a torus-free protorus, expressed without any auxiliary profinite subgroup.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the universality claim survives scrutiny, the lattice $L(G)$ together with the height data of the dual $X$ would form a complete arithmetic invariant for topological isomorphism of torus-free protori, giving researchers a practical way to distinguish solenoidal groups.
The lifting theorem suggests that techniques from complex torus theory, where maps lift to linear maps between vector spaces, may transfer to continuous homomorphisms of solenoidal groups, with the periodic cover playing the role of the universal cover.
A concrete next step would be to compute the universal resolution for two-dimensional protori whose duals are non-isomorphic rank-2 torsion-free groups; the construction predicts distinct topological types should already be visible in the $p$-height data of $X_8$.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Bottom line: this is a serious structural paper with a plausible central theorem and two or three proofs too compressed for comfort. The factor decomposition T^r × (Q-hat)^k × G is a clean dualization of the Fuchs–Arnold classification of finite-rank torsion-free abelian groups, and the dualization is done correctly. The genuinely new parts — the lattice L(G), the universal resolution via the quotient-divisible hull X8, and the lifting theorem for morphisms — are worth a specialist's time.

Credit where due: the paper is honest about its debts, the architecture (factor out tori and rational solenoids, then analyze the torus-free core) is the right way to organize the subject, and I see no circularity and no fitting of constants. The derivations rest on standard external theorems, and the citation pattern is appropriate.

The soft spots are where the reader's report puts them. Theorem 1(4) proves p∆X8 is the minimal divisible subgroup over the fixed Δ*; Corollary 6 asserts the same for every Δ ∈ L_X with a one-line 'follows directly' proof. The stress-test asks the right question, but I think the gap is fillable rather than load-bearing: elements of L_X are commensurable with Δ* — Proposition 2 gives finite index in both directions, and Δ/Δ* embeds in a torus, so it is finite — hence the algebraic divisible hull and the topology making Δ open do not depend on the choice of Δ. The author never writes this down, though, and a referee should make him. Proposition 6 is likewise a sketch: the lattice isomorphism with the compact open subgroups of a periodic LCA group is asserted more than demonstrated. And the introduction states one generalization (the complex-torus lifting analogue) without proof; that should be labeled a conjecture or given a reference.

Minor: the notation is heavy even by the standards of the subject, and the 'toot the horn' sentence should go.

Who it is for: topological group theorists and anyone using Pontryagin duality on compact abelian groups. It deserves a serious referee — an expert could check the terse steps in a sitting, and the universal resolution is important enough to warrant the effort. I would send it to review with a request that Theorem 1(4), Corollary 6, and Proposition 6 be expanded.

Referee Report

3 major / 6 minor

Summary. The paper develops a structure theory for finite-dimensional compact connected abelian groups ('protori'). Theorem 1 states that every protorus is topologically isomorphic to T^r × (Q-hat)^k × G, where G is torus-free and has no factors topologically isomorphic to T or Q-hat, and the three factors are uniquely determined up to topological isomorphism. For the torus-free core, the theorem describes a family of resolutions (pΔY × L(G))/Y indexed by finite-rank torsion-free groups Y between Z^n and Q^n, and asserts that pΔX8 is a topological divisible hull of a fixed profinite subgroup Δ* and that Y* is dense in G iff Y has no free summands. Corollary 6 asserts a universal resolution G ≅ (pΔX8 × L(G))/X8 where pΔX8 is a topological divisible hull of every Δ in the lattice L_X. Theorem 2 states that morphisms of torus-free protori lift to product maps between minimal divisible locally compact covers. The proofs rely on the Hoffman-Morris Resolution Theorem, Pontryagin duality, and Fuchs-Arnold theory of torsion-free abelian groups.

Significance. If the theorems are correct, the paper provides a canonical decomposition and a subgroup-independent resolution for a natural class of compact abelian groups, reducing the study of protori morphisms to periodic LCA groups and p-adic modules. The idea of encoding resolutions in the dual category of finite-rank torsion-free abelian groups is attractive and potentially useful, and the paper is mostly self-contained, building on standard references. However, as detailed below, two load-bearing steps (the transfer of minimality in Corollary 6 and the lifting in Theorem 2) are insufficiently justified, and one advertised main result (Proposition 6) is proved only in sketch form. These issues are fixable in a revision but currently block full acceptance.

major comments (3)

[Section 3, Theorem 1(4) and Corollary 6] Theorem 1(4) states that pΔX8 is a topological divisible hull of the fixed subgroup Δ*, and the proof compresses the key step to: 'By construction, X*8 is the minimal quotient-divisible torsion-free extension of X* in G, so pΔX8 is the minimal divisible subgroup of G extending Δ*.' Corollary 6 then asserts that pΔX8 is a topological divisible hull of every Δ ∈ L_X, with the one-line proof: 'All statements follow directly from Theorem 1 and (Theorem 3.3, Proposition 3.42, [3]).' The transfer from Δ* to an arbitrary Δ ∈ L_X is not shown: one must prove that each Δ embeds in pΔX8 (which is immediate from the definition), is open in the periodic topology (which follows from Proposition 4), and that no proper divisible subgroup of pΔX8 contains Δ. Minimality over Δ requires an argument using the isogeny between elements of L_X (Corollary 3) or a direct demonstration that the minimal quotient-divisible extension X8 simultaneously controls the divisible hulls of all Δ. Without this, the universal resolution is not established to be independent of the choice of Δ*. Please supply the missing proof or a precise lemma.
[Section 4, Theorem 2] The proof of Theorem 2 is a single sentence: 'This follows from Proposition 8 because pΔX8 = Σ_{Δ∈L_X8} Δ.' Proposition 8 shows that for each chosen Δ_G ∈ L(G) there exists a Δ_H ∈ L(H) such that f lifts to Δ_G × L(G) → Δ_H × L(H); the construction of Δ_H depends on Δ_G (it is a finite sum of elements of L(H) covering f(Δ_G)). To obtain a lift on the whole minimal divisible cover, one must show that f(pΔX8) ⊆ pΔY8 and that the lifts for different Δ ∈ L_X8 are compatible on their intersections. The cited sentence addresses only the domain decomposition. Without an additional argument, Theorem 2 does not follow from Proposition 8.
[Section 3, Proposition 6] Proposition 6 is advertised as one of the main results, but its proof is a sketch. After stating the p-Sylow decomposition of D and C, the proof says that 'it became evident' from the proof of Theorem 1 that the supremum of p-heights determines the structure of L_Y, and the final duality statement is attributed to Pontryagin duality without details. The verification that the lattice of compact open subgroups of D is isomorphic to L_Y, and that its dual is the lattice of finite subgroups of D/C, is not carried out. Please expand the proof or give a precise reference for each step.

minor comments (6)

[Corollary 6] In Corollary 6, the notation 'locś_{pPP} ppp∆X8qp, ∆pq' contains a stray 'q' in '∆pq'; it should read '∆_p'.
[Throughout] The symbol 'p∆' for the periodic LCA group is visually close to p-adic notation; a different symbol (e.g., 'D' or 'Δ^per') would improve readability.
[Lemma 5] In the proof of Lemma 5, the expression 'p∆z ∆1qˆ LpGq' is unclear; it should be typeset as '(∆ \ ∆1) × L(G)'.
[Section 3, definition of unit hemisphere] The definition of a 'unit hemisphere' H is unconventional; a short example for n = 2 would help readers understand the choice of representatives of rational lines.
[Theorem 1(2)] The equivalence between density of Y in R^n and Y having no free summands is stated without proof; a citation or a one-sentence justification would be useful.
[Introduction] The informal phrase 'We would be remiss not to toot the horn a bit' is out of place in a formal paper; consider deleting or rewording.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the derivation is built on standard external theorems; the terse transfer in Corollary 6 is a proof-completeness gap, not a circular reduction.

full rationale

After walking the derivation chain, I find no circular step. All load-bearing ingredients are standard external theorems: Pontryagin duality, the Hofmann-Morris/Chigogidze Resolution Theorem, Hewitt-Ross duality and structure results, Fuchs's classification of finite-rank torsion-free abelian groups, Arnold's quasi-isomorphism theory, Ribes-Zalesskii profinite structure, and Herfort-Hofmann-Russo periodic-LCA theory. No parameter is fitted to data and then called a prediction; no theorem is imported from prior work by the same author; and no uniqueness statement is sourced to the author's own earlier papers. The construction of X8 is explicit from p-heights in Q^n, and pDelta_X8 is defined as the sum of the corresponding profinite subgroups; Theorem 1(3) proves G ≅ (pDelta_X8 × L(G))/X8 by constructing the induced map eta_Y and verifying injectivity, surjectivity, and openness, using the classical resolution only as a starting point. The most compressed point is Corollary 6's assertion that pDelta_X8 is a topological divisible hull of every Δ∈L_X, justified by 'directly from Theorem 1 and (Theorem 3.3, Proposition 3.42, [3])'; the proof in Theorem 1(4) explicitly mentions only the fixed Δ*, so the transfer to all Δ∈L_X is terse. That is a proof-completeness concern, not circularity: the claim does not assume the conclusion, and the quoted reduction is a standard fact about open subgroups of divisible periodic groups rather than an equation that is its own input. The only explicitly unproved statement, the last sentence of Section 1 ('we state without proof that Theorem 2 generalizes...'), is non-load-bearing for the circularity analysis. Accordingly, the paper is self-contained against external benchmarks and merits a score of 0.

Assumptions & free parameters 2 free parameters · 4 assumptions · 2 invented entities

The central results are almost entirely derived by dualizing and repackaging external theorems. No data fitting occurs. The main non-canonical inputs are the choice of hemisphere H and the starting profinite subgroup Delta*; the paper claims the final universal resolution is independent of them, but the proof of that independence is terse.

free parameters (2)

unit hemisphere H = arbitrary subset of Z^n
Theorem 1 fixes a unit hemisphere H to define the minimal quotient-divisible extension X8 and the universal resolution. No proof is given that different choices of H yield topologically isomorphic resolutions, so the canonical resolution carries a coordinate choice unless independence is established elsewhere.
fixed profinite subgroup Delta* = arbitrary element of L(G)
The construction of pDelta_X8 and the universal resolution starts from a fixed Delta* in L(G). The theorem claims the final resolution is independent of this choice, but the proof of that independence is compressed into the assertion that X8 is minimal.

assumptions (4)

standard math Pontryagin duality gives a contravariant equivalence between compact abelian groups and discrete abelian groups.
Used throughout Section 2 to transfer exact sequences, lattices of subgroups, and topological properties to the dual side.
domain assumption Resolution Theorem for Compact Abelian Groups (Hoffman-Morris, Theorems 8.20 and 8.22): every compact abelian group G is topologically isomorphic to (L(G) x Delta) / Gamma for a profinite subgroup Delta with G/Delta a torus.
This is the foundation for Lemma 4, Lemma 5, and the Structure Theorem. The paper cites it rather than proves it.
standard math Classification of finite rank torsion-free abelian groups, including the decomposition Z^r + C with C = R + D and the type and quasi-isomorphism theory.
Theorem 1's first sentence is obtained by dualizing this classification, which the paper imports from Fuchs and Arnold.
domain assumption Structure theory of periodic locally compact abelian groups, including p-Sylow decomposition and topological divisible hulls.
Used in Propositions 4 and 6 and in Corollary 6 to endow pDelta_L with its locally compact topology and to decompose pDelta_X8 into p-Sylow components.

invented entities (2)

topological divisible hull pDelta_X8
purpose: Provides the periodic locally compact factor used in the universal resolution and the minimal divisible locally compact cover.
Defined constructively from Delta* and X8. It has mathematical content but no independent empirical handle, and it is not a postulated physical entity.
minimal quotient-divisible extension X8
purpose: Selects a canonical intermediate group between Z^n and Q^n that parameterizes the universal resolution.
Defined via a chosen hemisphere H. Its minimality is asserted and used to prove universality, but no separate independent evidence is provided.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Structure of Finite-Dimensional Protori." pith.science (2026). https://pith.science/paper/LC4LRYOM

@misc{pith2026190804195,
  author       = {Pith},
  title        = {Pith review of: Structure of Finite-Dimensional Protori},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LC4LRYOM}},
  note         = {Machine review of arXiv:1908.04195}
}

read the original abstract

A Structure Theorem for Protori is derived for the category of finite-dimensional protori(compact connected abelian groups), which details the interplay between the properties of density, discreteness, torsion, and divisibility within a finite-dimensional protorus. The spectrum of resolutions for a finite-dimensional protorus are parameterized in the structure theorem by the dual category of finite rank torsion-free abelian groups. A consequence is a universal resolution for a finite-dimensional protorus, independent of a choice of a particular subgroup. A resolution is also given strictly in terms of the path component of the identity and the union of all zero-dimensional subgroups. The structure theorem is applied to show that a morphism of finite-dimensional protori lifts to a product morphism between products of periodic locally compact groups and real vector spaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages

[3]

Periodic Locally Compact Groups, a Study of Totally Disconnected Topological Groups; De Gruyter: Berlin, Germany, 2019

Herfort, W.; Hofmann, K.H.; Russo, F.G. Periodic Locally Compact Groups, a Study of Totally Disconnected Topological Groups; De Gruyter: Berlin, Germany, 2019

work page 2019
[1]

Compact Groups and Fixed Point Sets

Chigogidze, A.; Hofmann, K.H.; Martin, J.R. Compact Groups and Fixed Point Sets. Trans. Am. Math. Soc. 1997, 349, 4537–4554. [CrossRef]

work page 1997
[2]

The Structure of Compact Groups, A Primer for the Student—A Handbook for the Expert, 3rd ed.; De Gruyter: Berlin, Germany, 2013

Hofmann, K.H.; Morris, S.A. The Structure of Compact Groups, A Primer for the Student—A Handbook for the Expert, 3rd ed.; De Gruyter: Berlin, Germany, 2013

work page 2013
[4]

Complex Abelian Varieties; Grundlehren der Mathematischen Wissenschaften 302; Springer: Berlin/Heidelberg, Germany, 2010

Birkenhake, C.; Lange, H. Complex Abelian Varieties; Grundlehren der Mathematischen Wissenschaften 302; Springer: Berlin/Heidelberg, Germany, 2010

work page 2010
[5]

Abstract Harmonic Analysis; Springer: Berlin/Heidelberg, Germany, 1963; Volume I

Hewitt, E.; Ross, K.A. Abstract Harmonic Analysis; Springer: Berlin/Heidelberg, Germany, 1963; Volume I

work page 1963
[6]

Homological algebra in locally compact abelian groups

Moskowitz, M. Homological algebra in locally compact abelian groups. Trans. Am. Math. Soc. 1967, 127, 182–212. [CrossRef]

work page 1967
[7]

Finite Rank Torsion Free Abelian Groups and Rings; Lecture Notes in Mathematics 931; Springer: Berlin/Heidelberg, Germany, 1982

Arnold, D. Finite Rank Torsion Free Abelian Groups and Rings; Lecture Notes in Mathematics 931; Springer: Berlin/Heidelberg, Germany, 1982

work page 1982
[8]

Proﬁnite Groups, 2nd ed.; Springer: Berlin/Heidelberg, Germany, 2010

Ribes, L.; Zalesskii, P . Proﬁnite Groups, 2nd ed.; Springer: Berlin/Heidelberg, Germany, 2010

work page 2010

Show all 11 references

[9]

Abelian Groups; Springer International Publishing: New York, NY, USA, 2015

Fuchs, L. Abelian Groups; Springer International Publishing: New York, NY, USA, 2015

2015
[10]

Completely decomposable direct summands of torsion-free abelian groups of ﬁnite rank

Mader, A.; Schultz, P . Completely decomposable direct summands of torsion-free abelian groups of ﬁnite rank. Proc. Am. Math. Soc. 2018, 146, 93–96. [CrossRef]

2018
[11]

Locally compact groups with distributive lattices of closed subgroups

Mukhin, Y.N. Locally compact groups with distributive lattices of closed subgroups. Sib. Math. J. 1967, 8, 366–375. [CrossRef] c© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Cr...

1967

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [3]

Periodic Locally Compact Groups, a Study of Totally Disconnected Topological Groups; De Gruyter: Berlin, Germany, 2019

Herfort, W.; Hofmann, K.H.; Russo, F.G. Periodic Locally Compact Groups, a Study of Totally Disconnected Topological Groups; De Gruyter: Berlin, Germany, 2019

work page 2019

[2] [1]

Compact Groups and Fixed Point Sets

Chigogidze, A.; Hofmann, K.H.; Martin, J.R. Compact Groups and Fixed Point Sets. Trans. Am. Math. Soc. 1997, 349, 4537–4554. [CrossRef]

work page 1997

[3] [2]

The Structure of Compact Groups, A Primer for the Student—A Handbook for the Expert, 3rd ed.; De Gruyter: Berlin, Germany, 2013

Hofmann, K.H.; Morris, S.A. The Structure of Compact Groups, A Primer for the Student—A Handbook for the Expert, 3rd ed.; De Gruyter: Berlin, Germany, 2013

work page 2013

[4] [4]

Complex Abelian Varieties; Grundlehren der Mathematischen Wissenschaften 302; Springer: Berlin/Heidelberg, Germany, 2010

Birkenhake, C.; Lange, H. Complex Abelian Varieties; Grundlehren der Mathematischen Wissenschaften 302; Springer: Berlin/Heidelberg, Germany, 2010

work page 2010

[5] [5]

Abstract Harmonic Analysis; Springer: Berlin/Heidelberg, Germany, 1963; Volume I

Hewitt, E.; Ross, K.A. Abstract Harmonic Analysis; Springer: Berlin/Heidelberg, Germany, 1963; Volume I

work page 1963

[6] [6]

Homological algebra in locally compact abelian groups

Moskowitz, M. Homological algebra in locally compact abelian groups. Trans. Am. Math. Soc. 1967, 127, 182–212. [CrossRef]

work page 1967

[7] [7]

Finite Rank Torsion Free Abelian Groups and Rings; Lecture Notes in Mathematics 931; Springer: Berlin/Heidelberg, Germany, 1982

Arnold, D. Finite Rank Torsion Free Abelian Groups and Rings; Lecture Notes in Mathematics 931; Springer: Berlin/Heidelberg, Germany, 1982

work page 1982

[8] [8]

Proﬁnite Groups, 2nd ed.; Springer: Berlin/Heidelberg, Germany, 2010

Ribes, L.; Zalesskii, P . Proﬁnite Groups, 2nd ed.; Springer: Berlin/Heidelberg, Germany, 2010

work page 2010