{"id":"5f6b3290-250a-4be0-a42d-b88e28ed007e","arxiv_id":"1908.08420","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A periodic locally compact abelian group has the closed-sum property exactly when its prime components split into discrete, profinite, finite-rank, and inductively monothetic factors.","lead":"Locally compact abelian groups in which the sum of any two closed subgroups is closed are now classified, completing and correcting Mukhin's 1970 program. The paper gives a four-part structural decomposition for the periodic case and fixes errors in the authors' own 2018 book.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.5's four-factor decomposition is asserted without proof: the line 'It follows that A = A_delta × A_gamma × A_delta-prime' is the load-bearing topological step, and if the local-product topology does not split on infinite prime sets the classification could miss valid groups.","rationale":"Read in good faith, the paper's main contribution is Theorem 1.5. I checked the surrounding arguments: Lemma 2.17 correctly exhibits a dense graph for infinite prime sets; the quotient construction using Lemma 4.12 and the finite-phi reduction is coherent; Proposition 4.11 covers the mu-part; and the converse direction follows from Lemma 2.16 once the pieces are known strongly topologically quasihamiltonian. I found no internal contradiction and no counterexample to the four-factor decomposition. The concern is that the topological splitting is asserted rather than proved; if it turned out false, the classification would be incomplete. The proposed check settles this by re-deriving the decomposition from the local-product description in Definition 2.12. Since the missing lemma is supplied easily and no error has surfaced, the reader's CONDITIONAL verdict is appropriate: I would not move to ACCEPT without that lemma written out, and I would not REJECT. Hence UNCHANGED.","tokens_in":25102,"tokens_out":26245,"duration_ms":305569,"concrete_test":"Re-derive the assertion 'It follows that A = A_delta × A_gamma × A_delta-prime' in the proof of Theorem 1.5 from the local-product representation A ≅ loc∏_p (A_p, A_p ∩ U) of Definition 2.12. Explicitly verify that the canonical map from the product is bijective, that the open subgroup U corresponds to {0} × A_gamma × ∏_{p ∈ delta-prime}(A_p ∩ U), and that the induced quotient A/U decomposes as the corresponding direct sum over delta. If this verification fails for some infinite prime set, Theorem 1.5(v) overstates the classification; if it succeeds, the reader's concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.5 is the paper's claimed complete classification, and its condition (v) is the four-factor topological decomposition A = A_delta ⊕ A_gamma ⊕ A_phi ⊕ A_mu. In the proof of (A)⇒(B), this decomposition is introduced by the single sentence 'It follows that A = A_delta × A_gamma × A_delta-prime' with no lemma or reference. That is not cosmetic: the theorem rests on knowing that the algebraic p-primary splitting is compatible with the local-product topology when infinitely many primes occur. If, for some infinite prime set, the topology is only a local product and does not split as a direct product of the delta-, gamma-, and delta-prime parts, then the classification could omit valid strongly topologically quasihamiltonian groups. The assertion is plausible: from Definition 2.12 one can write A as the local product of (A_p, A_p ∩ U); for p ∈ delta, A_p ∩ U = {0}; for p ∈ gamma, A_p ≤ U; and U is the open subgroup corresponding to {0} × A_gamma × ∏_{p ∈ delta-prime}(A_p ∩ U), so the quotient A/U is a discrete direct sum matching the delta-part. But this reasoning is absent from the manuscript, and the later identification L/N ≅ ⊕ Z(p) × ∏ Z(p) used to prove phi finite is equally terse. The gap is fillable rather than a demonstrated error, but it is the weakest point on which the central claim depends.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies locally compact abelian (LCA) groups in which the sum of any two closed subgroups is closed, called strongly topologically quasihamiltonian. The main theorems provide: a structural classification of p-groups (Theorem 1.1), a reduction of topological modularity of periodic groups to their p-components (Theorem 1.2), a two-partition decomposition of torsion modular groups (Theorem 1.3), a description of totally disconnected non-periodic groups (Theorem 1.4), and a four-partition classification of periodic strongly topologically quasihamiltonian groups (Theorem 1.5), together with a dual classification for groups with nontrivial connected component (Theorem 3.8). The paper aims to reprove and extend Mukhin's 1970 results and to correct errors in the authors' earlier book [6].","tokens_in":25407,"tokens_out":7361,"duration_ms":69293,"significance":"If correct, Theorem 1.5 completes the classification of totally disconnected LCA groups with closed sums of closed subgroups, a substantial extension of Mukhin's work. The four-factor decomposition into δ, γ, φ, and μ parts is precise and testable, and it explicitly corrects [6, Theorem 14.22(B)]. The authors supply detailed proofs for the p-group case, including the construction of local-product obstructions (Examples 2.11 and 2.13), and they are careful to identify where earlier statements err. The paper's systematic use of local products and p-rank tools is of independent interest. However, the significance depends on closing the topological splitting gap in the proof of Theorem 1.5 described below.","major_comments":[{"comment":"The assertion 'It follows that A = Aδ × Aγ × Aδ′' is the load-bearing topological step, but it is stated without proof. For infinite sets δ or δ′, the local-product topology of A (Definition 2.12) need not a priori coincide with the product of the topologies on Aδ, Aγ, and Aδ′. A lemma should be stated and proved showing that the algebraic p-primary decomposition is topological; for instance, write A as the local product of (A_p, A_p∩U), observe that U corresponds to {0}×Aγ×∏_{p∈δ′}(A_p∩U), and verify that this open subgroup determines the product topology. Without such a proof, the classification in condition (v) could miss valid groups.","section":"Proof of Theorem 1.5 (Section 4)"},{"comment":"The identification L/N ≅ ⊕_{p∈φ} Z(p) × ∏_{p∈φ} Z(p) is asserted without proof. The subgroup N generated by the elements pa_p must be shown to be closed, and the resulting quotient topology must be shown to make the displayed isomorphism a topological one. This is needed before Lemma 2.17 can be applied to conclude that φ is finite.","section":"Proof of Theorem 1.5, φ-finiteness argument"},{"comment":"The proof of the converse direction of Theorem 1.2 is only a sketch: the group G is written as a local product, but the equalities X∨Y = ⟨X_p∨Y_p⟩ and X∧Y = ⟨X_p∧Y_p⟩ are stated without proof, and the reader is referred to [10] for details. Since Theorem 1.2 is announced as one of the main results and the paper aims to reprove Mukhin's classification, a full proof or a complete 'following [10]' argument should be provided.","section":"Proof of Theorem 1.2 (Section 3.2)"}],"minor_comments":[{"comment":"The line 'ι(S) = P' should read '\\overline{ι(S)} = P'; as printed, the equality is false because ι(S) is a proper dense subgroup of P, not all of P.","section":"Example 2.11"},{"comment":"The condition 'Zφ = ∏_{p∈φ} Zφ is torsion-free' appears to contain a typo; it should likely be 'Zφ = ∏_{p∈φ} Z_p'.","section":"Theorem 3.8(b.2)"}],"recommendation":"major_revision","confidential_remarks":"The paper leans heavily on the authors' own [5], [6], and [7], including corrections to [6]. This is acceptable, but the referee should verify that the specific cited results (e.g., [6, Lemma 3.91], [7, Lemma 3.6], and Proposition 3.76 in [6]) indeed contain the asserted statements. The topological splitting gap in Theorem 1.5 is likely fixable, but it must be addressed before the main classification can be considered complete."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper completes Mukhin's 1970 classification of locally compact abelian groups in which every sum of two closed subgroups is closed. The genuinely new piece is Theorem 1.5: periodic strongly topologically quasihamiltonian groups decompose into four pieces indexed by primes — discrete, profinite, finite-rank p-primary, and inductively monothetic — and the profinite gamma factor was missing from the authors' own 2018 book. They also correct two other results in that book. That is honest self-correction, and the p-group part of the proof is worked through in detail.\n\nThe main soft spot is the one flagged in the stress-test. In the proof of Theorem 1.5, after defining delta, gamma, and delta-prime, the paper says 'It follows that A = A_delta x A_gamma x A_delta-prime' with no lemma or reference. This is load-bearing for the classification. Having checked it against Definition 2.12, I believe the assertion is correct: a local product over a disjoint union of prime sets is the direct product of the local products over the parts, because the open compact subgroup U restricts to the product of the U intersect A_p. So the topology does split. But the paper should have stated this as a lemma; the reader is left to reconstruct a non-obvious step. It is a gap in exposition, not a mathematical error.\n\nThe converse direction of Theorem 1.2 is also only sketched, with a pointer to Mukhin's paper. The sketch is serviceable — it shows how the modular law reduces to the p-components — but again, a reader who wants the details has to go to a 1970 paper. For a paper that claims to reprove Mukhin's results, this is a bit thin.\n\nOn the positive side, the structure is clear, the notation is heavy but consistent, and the corrections to [6] are explicitly located. The reliance on the authors' own earlier work is real but not circular: the cited lemmas are published and independent of the new classification. I found no fabricated examples or fit-to-data issues; this is a structural classification, not a numerical claim.\n\nWho benefits: researchers working on subgroup lattices of locally compact groups, especially the totally disconnected case. The paper deserves a serious referee — it will be useful and it corrects the literature. My recommendation: send it to review, but ask the referee to insist that the missing lemma about local-product splitting be added, and that the Theorem 1.2 converse be either proved or clearly delegated.","headline":"Completes Mukhin's classification for periodic LCA groups with a genuinely new four-factor theorem; one key decomposition is asserted rather than proved, but it is valid and the paper deserves review.","tokens_in":26006,"tokens_out":4981,"would_cite":true,"duration_ms":48278,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["22D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every periodic locally compact abelian group with the closed-sum property decomposes into four prime-classified pieces, discrete, profinite, finite-product, and rank-one.","keywords":["locally compact abelian groups","closed subgroup sums","topologically modular","strongly topologically quasihamiltonian","periodic groups","p-groups","inductively monothetic","Mukhin classification"],"falsifier":"Construct a periodic locally compact abelian group $A$ that is strongly topologically quasihamiltonian and has infinite $\\pi(A)$, but for which the natural map from the algebraic four-factor sum $A_\\delta\\oplus A_\\gamma\\oplus A_\\varphi\\oplus A_\\mu$ to $A$ is not a homeomorphism—for instance, a nontrivial local product over infinitely many primes of rank-one $p$-groups. If such a group exists, the decomposition in Theorem 1.5(B) fails; if a proof shows it cannot exist, the missing topological-splitting premise is repaired.","tokens_in":24868,"feed_emoji":"➕","tokens_out":9330,"duration_ms":81670,"temperature":0.7,"pith_summary":"This paper asks when a locally compact abelian group has the property that the sum $X+Y$ of any two closed subgroups is again closed. For periodic groups—totally disconnected groups that are unions of compact subgroups—it gives a complete classification: such a group splits into four pieces indexed by a partition of its primes, one discrete, one profinite, one a finite product of special $p$-groups, and one whose $p$-components each have rank one. The result extends the 1970 classification in [10] and corrects an earlier structural theorem in the authors' own book. The paper also shows that for large classes of locally compact abelian groups, topological modularity automatically forces the stronger closed-sum property.","feed_headline":"Four prime classes split periodic abelian groups with closed sums","feed_subtitle":"Completes the 1970 Mukhin classification for totally disconnected locally compact abelian groups.","key_machinery":"The load-bearing device is the four-way partition of the prime set $\\pi(A)$ cut out by an open compact subgroup $U$: $\\delta$ collects primes with $A_p\\cap U=\\{0\\}$, $\\gamma$ primes with $A_p\\le U$, $\\varphi$ the remaining primes of $p$-rank at least two, and $\\mu$ the remaining primes of $p$-rank one. The argument reduces the whole group to these prime-component classes and then imports two obstructions: the local product $(Z(p^2),pZ(p^2))^{\\mathrm{loc},\\mathbb N}$ is not topologically modular, and the group $\\bigoplus_I Z(p_i)\\times \\prod_I Z(p_i)$ is strongly topologically quasihamiltonian only for finite $I$. Those examples force the $\\varphi$-class to be finite and pin down $A_\\mu$ as inductively monothetic.","core_discovery":"The paper's central claim is Theorem 1.5: a periodic locally compact abelian group $A$ is strongly topologically quasihamiltonian—every sum of two closed subgroups is closed—if and only if its set of primes $\\pi(A)$ admits a partition $\\delta\\cup\\gamma\\cup\\varphi\\cup\\mu$ whose four direct summands have prescribed types. The pieces are a discrete group $A_\\delta$, a profinite group $A_\\gamma$, a finite direct sum $A_\\varphi$ of strongly topologically quasihamiltonian $p$-groups each of $p$-rank at least two, and an inductively monothetic group $A_\\mu$ in which every finitely generated subgroup is topologically generated by one element, so each $p$-component has $p$-rank one. In symbols, $A = A_\\delta \\oplus A_\\gamma \\oplus A_\\varphi \\oplus A_\\mu$ topologically and algebraically. The authors present this as their genuine contribution, completing the totally disconnected periodic case of the classification in [10] and repairing Theorem 14.22(B) of their earlier book, which omitted the profinite factor $A_\\gamma$.","pith_inferences":["If the four-factor split is the whole story, the bad closed-sum behaviour in the periodic case is confined to local-product formations of infinite $p$-rank; one testable consequence is that every periodic strongly topologically quasihamiltonian group should have an open compact subgroup in which no copy of the local product $(Z(p^2),pZ(p^2))^{\\mathrm{loc},\\mathbb N}$ can be manufactured.","The topological splitting step asserted in the proof of Theorem 1.5 is the natural place to look for a counterexample; if a periodic locally compact abelian group with the closed-sum property and infinite prime set fails to be a topological direct product of its prime components, the classification would need an additional class of local-product factors.","Because the authors cite nonabelian locally compact groups with commuting subgroups as motivation, the abelian four-factor normal form could serve as a tool for reducing questions about such nonabelian groups to the four prime classes."],"forward_implications":["For locally compact abelian $p$-groups, topological modularity, the two rank conditions on an open compact subgroup, and the closed-sum property are equivalent (Theorem 1.1).","For totally disconnected non-periodic locally compact abelian groups, topologically modular implies strongly topologically quasihamiltonian, so the modular-lattice condition is no weaker than sum-closedness in that setting (Theorem 1.4).","A periodic locally compact abelian group with the closed-sum property is never a nontrivial local product over infinitely many primes: the $\\varphi$-class is finite, and the remaining infinite-prime behaviour sits in discrete, profinite, or rank-one summands.","The structure theorem dualizes: under the paper's conditions, a group and its Pontryagin dual are strongly topologically quasihamiltonian together (Corollary 4.14).","The four-factor normal form supersedes the earlier description in the authors' book, adding the profinite $\\gamma$-factor that was missing."],"supporting_citations":[{"why":"Supplies the 1970 classification of locally compact abelian groups with Dedekind closed-subgroup lattice that the paper rederives and extends to the totally disconnected periodic case.","marker":"[10]"},{"why":"Is the authors' earlier book containing Theorem 14.22(B), which Theorem 1.5 corrects, and it supplies notation and structural lemmas for periodic locally compact groups.","marker":"[6]"},{"why":"Provides p-rank characterizations and lemmas for locally compact abelian p-groups used throughout the p-group and classification proofs.","marker":"[7]"},{"why":"Hofmann and Morris's structure theory of compact groups underpins the duality arguments, the compact torsion-group decomposition, and the vector-splitting theorem.","marker":"[9]"},{"why":"Ribes and Zalesskii's profinite group theory supplies generation rank facts, Frattini subgroups, and open subgroup structure used in the p-group arguments.","marker":"[12]"},{"why":"Is the source of the observation that the discrete-plus-profinite direct sum over primes is strongly topologically quasihamiltonian only for finite index sets, used to prove finiteness of the $\\varphi$-class.","marker":"[11]"},{"why":"Carin's theorem on groups of finite rank is invoked as the finite-p-rank classification behind Proposition 2.3.","marker":"[2]"},{"why":"Hewitt and Ross's structure results justify the quotient-topology and isomorphism arguments in Lemmas 2.24 and 2.25.","marker":"[8]"}],"fun_headline_variants":["Four prime classes settle closed-sums question for periodic LCA groups","Periodic LCA groups: four prime components determine closed sums","Closed sums in periodic LCA groups: solved via four prime classes","Mukhin's periodic classification completed: four direct summands","Four prime types split periodic LCA groups for closed sums"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification rests on assuming that partitioning the primes of a periodic locally compact abelian group forces the group to be a topological direct product of the four prime-class pieces, a step the proof of Theorem 1.5 asserts without a separate lemma or reference.","fun_headline_variants_meta":{"raw":{"variants":["Four prime classes settle closed-sums question for periodic LCA groups","Periodic LCA groups: four prime components determine closed sums","Closed sums in periodic LCA groups: solved via four prime classes","Mukhin's periodic classification completed: four direct summands","Four prime types split periodic LCA groups for closed sums"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000675,"raw_usage":{"total_tokens":3016,"prompt_tokens":835,"completion_tokens":2181,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":451,"completion_tokens_details":{"reasoning_tokens":2093}},"tokens_in":451,"tokens_out":2181,"duration_ms":14169,"temperature":1.0,"reasoning_tokens":2093,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:40:45.494744+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a periodic locally compact abelian group $A$ that is strongly topologically quasihamiltonian and has infinite $\\pi(A)$, but for which the natural map from the algebraic four-factor sum $A_\\delta\\oplus A_\\gamma\\oplus A_\\varphi\\oplus A_\\mu$ to $A$ is not a homeomorphism—for instance, a nontrivial local product over infinitely many primes of rank-one $p$-groups. If such a group exists, the decomposition in Theorem 1.5(B) fails; if a proof shows it cannot exist, the missing topological-splitting premise is repaired.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the 1970 classification of locally compact abelian groups with Dedekind closed-subgroup lattice that the paper rederives and extends to the totally disconnected periodic case."},{"cited_title":"Herfort, K","cited_arxiv_id":null,"evidence_quote":"Is the authors' earlier book containing Theorem 14.22(B), which Theorem 1.5 corrects, and it supplies notation and structural lemmas for periodic locally compact groups."},{"cited_title":"Herfort, K","cited_arxiv_id":null,"evidence_quote":"Provides p-rank characterizations and lemmas for locally compact abelian p-groups used throughout the p-group and classification proofs."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Hofmann and Morris's structure theory of compact groups underpins the duality arguments, the compact torsion-group decomposition, and the vector-splitting theorem."},{"cited_title":"Ribes and P","cited_arxiv_id":null,"evidence_quote":"Ribes and Zalesskii's profinite group theory supplies generation rank facts, Frattini subgroups, and open subgroup structure used in the p-group arguments."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Is the source of the observation that the discrete-plus-profinite direct sum over primes is strongly topologically quasihamiltonian only for finite index sets, used to prove finiteness of the $\\varphi$-class."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Carin's theorem on groups of finite rank is invoked as the finite-p-rank classification behind Proposition 2.3."},{"cited_title":"Hewitt and K","cited_arxiv_id":null,"evidence_quote":"Hewitt and Ross's structure results justify the quotient-topology and isomorphism arguments in Lemmas 2.24 and 2.25."}],"review_version":1}