arxiv: 2603.28341 · v2 · submitted 2026-03-30 · 🧮 math.GR

Recognition: 2 theorem links

· Lean Theorem

Non-existence of abelian maximal subgroups in cyclic division algebras

Huynh Viet Khanh

Authors on Pith no claims yet

Pith reviewed 2026-05-14 00:55 UTC · model grok-4.3

classification 🧮 math.GR

keywords cyclic division algebrasDickson algebrasmaximal subgroupsabelian subgroupsmultiplicative groupdivision ringsgroup theory

0 comments

The pith

No cyclic division algebra admits an abelian maximal subgroup in its multiplicative group.

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

The paper proves that cyclic division algebras in the sense of Dickson have multiplicative groups containing no abelian maximal subgroup. This non-existence follows from the basic ring axioms and the specific cyclic structure that forces any maximal subgroup to contain non-commuting elements. A sympathetic reader would care because the result resolves one case of a conjecture on maximal subgroups in division algebras and supplies an explicit malnormality test that distinguishes these subgroups from abelian ones. It also extends earlier work showing that locally nilpotent maximal subgroups are likewise absent.

Core claim

We prove that no cyclic division algebra (in the sense of Dickson) admits an abelian maximal subgroup in its multiplicative group. This settles a special case of a long-standing conjecture of Akbari--Mahdavi-Hezavehi--Mahmudi and complements earlier results on locally nilpotent maximal subgroups and provides a new malnormality criterion for maximal subgroups.

What carries the argument

The Dickson definition of a cyclic division algebra together with the induced group law on its multiplicative group, which forces any maximal subgroup to be non-abelian by the presence of non-commuting units.

If this is right

The Akbari--Mahdavi-Hezavehi--Mahmudi conjecture holds for all cyclic division algebras.
Maximal subgroups in these groups satisfy a new malnormality criterion.
The result combines with prior theorems ruling out locally nilpotent maximal subgroups to give a stronger picture of possible subgroup structures.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same non-existence may extend to other finite-dimensional division algebras that are not necessarily cyclic.
The malnormality criterion could be tested directly in concrete examples such as quaternion algebras over number fields.
Similar arguments might classify maximal subgroups in the multiplicative groups of more general non-commutative division rings.

Load-bearing premise

That the multiplicative group of any cyclic division algebra obeys the usual group axioms coming from the division-ring structure.

What would settle it

An explicit cyclic division algebra whose multiplicative group contains an abelian subgroup that is maximal would falsify the claim.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper settles the cyclic case of the Akbari-Mahdavi-Hezavehi-Mahmudi conjecture by showing no cyclic division algebra has an abelian maximal subgroup in its multiplicative group.

read the letter

The main point is that this paper proves cyclic division algebras (in Dickson's sense) have no abelian maximal subgroups in their multiplicative groups. It settles a special case of that long-standing conjecture and adds a malnormality criterion for maximal subgroups along the way. The argument assumes such an H exists, then uses the generator of the cyclic Galois group to build a strictly larger abelian subgroup via commutation relations and the reduced norm, contradicting maximality. It works from the standard crossed-product presentation and basic facts about cyclic Galois cohomology, without extra restrictions on characteristic or dimension. That is a clean, direct complement to earlier results on locally nilpotent maximal subgroups, and the non-existence claim does not appear in the prior literature cited. The derivation stays grounded in the definitions, so the central claim holds up on its own terms. The soft spots are minor: the proof is short and relies on the usual division-ring rules, so a referee would want to see the explicit commutation steps written out in full to confirm there are no hidden gaps in the construction. The abstract is clear but does not show those steps, which is why the initial soundness read was cautious. No circularity or invented entities show up. This is for people working on the group theory of division algebras and maximal subgroups in noncommutative settings. A reader already following the conjecture or malnormality questions will get a useful new special case and criterion. It shows honest engagement with the literature and a reproducible argument from standard tools, so it deserves a serious referee to check the details and see whether the method extends. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that no cyclic division algebra D (in Dickson's sense: a central division algebra split by a cyclic Galois extension of the center) admits an abelian maximal subgroup in its multiplicative group D*. The argument proceeds by assuming such an abelian maximal subgroup H exists, then using the generator of the Galois group together with the crossed-product presentation, explicit commutation relations, and the reduced norm to construct a strictly larger abelian subgroup containing H, contradicting maximality.

Significance. If the result holds, it settles a special case of the long-standing Akbari--Mahdavi-Hezavehi--Mahmudi conjecture on maximal subgroups of division rings, complements prior results on locally nilpotent maximal subgroups, and supplies a new malnormality criterion. The proof relies only on the standard crossed-product description of cyclic division algebras, the group structure of D*, and basic facts from cyclic Galois cohomology; no additional restrictions on characteristic, dimension, or finiteness are imposed.

major comments (2)

§3, proof of Theorem 3.2: the construction of the larger abelian subgroup via the Galois generator σ and the reduced norm map appears to rely on the relation Nrd(σ(h)) = Nrd(h) for h in H; this equality is stated but the verification that it preserves commutativity with all elements of H is only sketched. A fully expanded computation of the commutator [σ(h), k] for k in H would strengthen the argument.
§2.3, Lemma 2.7: the claim that the centralizer of H in D* is exactly the center Z(D)* is used to derive the contradiction, but the proof invokes the maximality of H without first confirming that the constructed supergroup is still contained in D*. An explicit check that the new elements lie in D* (rather than in a larger ring) is needed.

minor comments (2)

Notation: the symbol D* is used both for the multiplicative group and occasionally for the algebra itself; a consistent distinction (e.g., D^×) would improve readability.
References: the citation to Akbari et al. (the conjecture source) appears only in the introduction; adding a brief comparison paragraph in the final section would clarify how the new malnormality criterion strengthens earlier results.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. Both major comments identify places where the exposition can be strengthened by additional explicit calculations; we will incorporate these expansions in the revised version.

read point-by-point responses

Referee: §3, proof of Theorem 3.2: the construction of the larger abelian subgroup via the Galois generator σ and the reduced norm map appears to rely on the relation Nrd(σ(h)) = Nrd(h) for h in H; this equality is stated but the verification that it preserves commutativity with all elements of H is only sketched. A fully expanded computation of the commutator [σ(h), k] for k in H would strengthen the argument.

Authors: We agree that the commutator verification is only sketched and would benefit from a fully expanded calculation. The equality Nrd(σ(h)) = Nrd(h) follows immediately from the Galois invariance of the reduced norm (which is the constant term of the characteristic polynomial, fixed by the cyclic Galois action). In the revision we will insert a complete, line-by-line computation of [σ(h), k] = σ(h) k σ(h)^{-1} k^{-1} for arbitrary k ∈ H, using the crossed-product commutation rules σ(x) a = σ(a) σ(x) together with the fact that H is abelian to show that the commutator is the identity element. revision: yes
Referee: §2.3, Lemma 2.7: the claim that the centralizer of H in D* is exactly the center Z(D)* is used to derive the contradiction, but the proof invokes the maximality of H without first confirming that the constructed supergroup is still contained in D*. An explicit check that the new elements lie in D* (rather than in a larger ring) is needed.

Authors: We thank the referee for noting this point. Since σ is a ring automorphism of the division algebra D that fixes the center, it restricts to a group automorphism of D*. Consequently every element of the form σ(h) (h ∈ H) lies in D*, and the subgroup generated by H together with these elements remains inside D*. In the revised manuscript we will add an explicit sentence at the start of the argument in Lemma 2.7 confirming that all newly constructed elements belong to D* before invoking maximality. revision: yes

Circularity Check

0 steps flagged

No circularity: direct non-existence proof from definitions

full rationale

The manuscript establishes non-existence of abelian maximal subgroups in D* for cyclic division algebras D by assuming such an H exists, then using the cyclic Galois generator and crossed-product relations to explicitly construct a strictly larger abelian subgroup containing H (via commutation and reduced norm), yielding a contradiction to maximality. All steps rest on the standard Dickson crossed-product presentation, the multiplicative group structure of division rings, and basic facts about cyclic Galois cohomology; no parameters are fitted, no result is renamed as a prediction, and no load-bearing step reduces to a self-citation or self-definition. The derivation is self-contained against external algebraic benchmarks and does not invoke any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof relies on the standard definition of cyclic division algebras and basic facts from group theory and ring theory; no free parameters, invented entities, or ad-hoc axioms are introduced.

axioms (2)

domain assumption Cyclic division algebras are division rings whose multiplicative group contains a cyclic subgroup of finite index.
Invoked in the definition of the objects under study.
standard math Standard properties of maximal subgroups in multiplicative groups of division rings hold.
Used to derive the malnormality criterion.

pith-pipeline@v0.9.0 · 5336 in / 1109 out tokens · 27867 ms · 2026-05-14T00:55:09.295227+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We prove that no cyclic division algebra (in the sense of Dickson) admits an abelian maximal subgroup in its multiplicative group.
IndisputableMonolith/Foundation/AbsoluteFloorClosure absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

K∩y^{-1}Ky=F for all y∈D∖K (malnormality of maximal subfield)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.