Pith. sign in

REVIEW 2 major objections 4 minor 4 references

Uniformly semi-rational groups

T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read Two new invariants completely describe character fields of finite nilpotent groups.

desk verdict A real classification theorem for nilpotent groups with two addressable soft spots: unverified 2-group computations and a wrong evaluation in Prop 4.7. read the letter →

arxiv 2411.16563 v2 pith:PFEFINOO submitted 2024-11-25 math.GR math.RT

Ángel del Río , Marco Vergani This is my paper · ORCID
classification math.GRmath.RT MSC 20C1520D1520D20
keywords finitegroupsirreduciblecharactersrationaluniformlysemi-rationalnilpotentquadraticfieldsgroupinvariantscharacter
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 introduces two invariants attached to any finite group: its rationality, the set of exponents $r$ for which every element is conjugate to its $r$-th power, and its semi-rationality, the set of $r$ for which every element is conjugate either to itself or to its $r$-th power. These invariants measure how close a group is to being rational and how uniformly its irreducible characters take values in quadratic extensions of the rationals. The main result is a complete description of both invariants for finite nilpotent groups: a nilpotent group of exponent $n$ can realize exactly the subfields of the $n$-th cyclotomic field that contain the largest squarefree divisor $n'$ of $n$, and its rationality and semi-rationality are exactly the corresponding subgroups and admissible cosets described in Theorem B. Along the way the paper characterizes uniformly semi-rational groups as the quadratic-conjugated groups that are 'still' over a suitable field, a condition expressed purely through intersections of character fields with that field. A reader should care because these invariants compactly organize a classical subject and settle, for nilpotent groups, what fields can arise from character values.

What carries the argument

The engine of the paper is the pair of invariants defined on the unit group $U_n$ of $\mathbb{Z}/n\mathbb{Z}$, where $n = \exp(G)$. The rationality $R_G = \bigcap_g \{r : g \sim g^r\}$ is a subgroup and satisfies the Galois identity $R_G = \sigma^{-1}(\mathrm{Gal}(\mathbb{Q}_n/\mathbb{Q}(G)))$, so it encodes exactly $\mathbb{Q}(G)$ as its fixed field. The semi-rationality $S_G = \bigcap_g \{r : \text{every generator of } \langle g \rangle \text{ is conjugate to } g \text{ or } g^r\}$ is, whenever nonempty, an admissible coset of $U_n$ modulo $R_G$, meaning a coset $S \neq R$ satisfying $U_n^2 \subseteq R$; this coset structure is what makes the classification finite. The structural notion that carries the proof is $K$-stillness: a group is $K$-still when tensoring a homogeneous rational representation with $K$ keeps it homogeneous, which Proposition 3.6 equates with $\mathbb{Q}(\chi) \cap K = \mathbb{Q}$ for every irreducible character and with the coincidence of $\mathbb{Q}$- and $K$-conjugacy classes. Finally, the construction side uses wreath products $X \wr C_p$, whose character theory is explicit, to build groups realizing prescribed intermediate fields, and six explicitly listed $2$-groups to realize all admissible cosets in the $2$-primary case.

What would settle it

Recompute the semi-rationality of each of the six groups $H_1,\dots,H_6$ defined in Section 4.2 from its character table by intersecting the sets $S_g$ over representatives $g$; if any group's set differs from the value assigned in Section 4.2, or if those six values together with $U_{2^k}$ do not match all admissible cosets of $U_{2^k}$, the 2-primary case of Theorem B fails. The check is finite: each group has finitely many conjugacy classes and finitely many units modulo its exponent.

Watch

Extended reading notes

Core claim

The paper's central claim is that for finite nilpotent groups the pair (rationality, semi-rationality) is both completely determined and completely flexible. Writing $n$ for the exponent and $n'$ for its largest squarefree divisor, Theorem B states that the field $\mathbb{Q}(G)$ generated by all character values is exactly any intermediate field $\mathbb{Q}_{n'} \subseteq K \subseteq \mathbb{Q}_n$; the rationality $R_G$ is exactly any subgroup of $\{r \in U_n : r \equiv 1 \bmod n'\}$; and the semi-rationality $S_G$ is exactly any admissible coset of $U_n$ subject to the prime restrictions $\pi(n) \subseteq \{2,3\}$, with $S = \{x \in U_n : x \equiv -1 \bmod 3\}$ when $3$ divides $n$. Equivalently, once the exponent is fixed, the only obstruction to realizing a given field, rationality, or semi-rationality is this elementary number-theoretic condition. The characterization behind the theorem is Theorem A: a group is uniformly semi-rational if and only if it is quadratic conjugated and there is a subfield $K$ of $\mathbb{Q}_n$ over which $\mathbb{Q}_n$ is cyclic and for which every irreducible character field $\mathbb{Q}(\chi)$ meets $K$ only in $\mathbb{Q}$.

Load-bearing premise

The proof that every admissible coset occurs for 2-groups relies on the unverified computational claim that six explicitly listed groups of orders 16, 32, and 128 have exactly the stated semi-rationality values, and that those six values together with the full unit group exhaust the admissible cosets for every order $2^k$ with $k \geq 3$; if any of these semi-rationality computations is wrong, the classification is incomplete.

Editorial extensions

If this is right

  • For a nilpotent uniformly semi-rational group of exponent $n$, no prime other than 2 or 3 can divide $n$; if 3 divides $n$, then $S_G$ must be exactly the set of units congruent to $-1$ modulo 3.
  • Every uniformly semi-rational group is character quadratic: each irreducible character takes values in a quadratic extension of $\mathbb{Q}$.
  • The rationality $R_G$ determines the character field by $\mathbb{Q}(G) = \mathbb{Q}_n^{R_G}$, so computing $R_G$ is equivalent to computing $\mathbb{Q}(G)$.
  • A direct product $G \times H$ is uniformly semi-rational exactly when one factor is rational and the other is uniformly semi-rational, or both are quadratic with the same character field; in the quadratic case the product is quadratic.
  • For nilpotent groups, every subfield between $\mathbb{Q}_{n'}$ and $\mathbb{Q}_n$ occurs as $\mathbb{Q}(G)$, and the extremal cases are realized by iterated wreath products of cyclic groups and by dihedral-type groups.

Reading between the lines

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

  • The same invariant pair could be computed for any finite group from its character table, since Theorem A reduces $r$-semi-rationality to checking quadratic conjugation and $K_r$-stillness; a systematic computation over small-group libraries would show how far the nilpotent classification is from the general case.
  • If a similar classification is sought for solvable groups, the six $2$-group building blocks appearing here suggest that the admissible-coset language may survive, but the prime restriction $\pi \subseteq \{2,3\}$ will likely fail, since solvable groups with quadratic-valued characters are not so restricted; the paper leaves this open.
  • Because inverse semi-rational groups coincide with cut groups, Theorem A gives a representation-theoretic route to testing triviality of central units in integral group rings through $K_{-1}$-stillness, potentially simplifying the known characterizations of cut groups.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper introduces two invariants for finite groups, the rationality R_G and the semi-rationality S_G, and defines uniformly semi-rational (USR) groups as groups that are r-semi-rational for some unit r modulo the exponent. The main results are Theorem A, a characterization of USR groups in terms of quadratic conjugatedness and a "stillness" condition with respect to a subfield K such that Q_n/K is cyclic, and Theorem B, which classifies for finite nilpotent groups of exponent n: (1) the fields Q(G) as exactly the subextensions of Q_n/Q_{n'} (Theorem 4.3), (2) the rationality subgroups as exactly the subgroups of {r ≡ 1 mod n'} (Corollary 4.4), and (3) the semi-rationality subsets as exactly the admissible cosets of U_n with primes only in {2,3} and the stated congruence condition when 3 divides n (Theorem 4.8). The proofs use character theory, the Witt-Berman theorem, wreath product character descriptions, and direct product decompositions.

Significance. If the classification is correct, this is a substantial contribution: it gives a complete, explicit determination of the possible character fields, rationality subgroups, and semi-rationality cosets for all finite nilpotent groups, thereby sharpening the landscape of rational-type groups. The conceptual framework of stillness and admissible cosets is elegant and likely to be useful beyond this paper. The proof of Theorem 4.3 is constructive and parameter-free, using explicit wreath products to realize each allowed field. However, the 2-group case of Theorem 4.8 depends on six finite-group computations that are asserted without derivation or supporting log, and at least one displayed character evaluation in Proposition 4.7 is incorrect; these issues need to be addressed before the classification can be accepted unconditionally.

major comments (2)
  1. [§4.2, Theorem 4.8] The sufficiency direction for the 2-primary case with S ≠ U_{2^k} rests entirely on the six groups H_1,...,H_6 and the asserted values S_{H_i} = -⟨5⟩, -⟨-5⟩, 5⟨-1⟩, {-1}, {-5}, {5}. The text says only that a straightforward calculation shows this and then states that the lifted sets are all admissible cosets of U_{2^k} other than U_{2^k}. No derivation, character table, or GAP verification is provided. Because the 'if and only if' in Theorem B(3) requires every admissible coset to be realized, an error in any of these six values, or a missed admissible coset, would invalidate the classification. This is a finite and checkable computation, so I request that the authors supply either a detailed derivation or a reproducible computational script (e.g., GAP code with the SmallGroup identifications) that verifies both the S_{H_i} values and the exhaustiveness of the resulting cosets.
  2. [§4.2, Proposition 4.7] The proof of Proposition 4.7 contains a displayed evaluation error. For the first-type induced character χ = (χ_1 χ_2 χ_0^{p-2})^G, the formula in Theorem 4.1 gives χ(x_2,1,...,1) = Σ_{i=0}^{p-1} χ_{i+1}(x_2), where indices are read modulo p and χ_0 is the trivial character, not simply χ_1(x_2). The displayed equalities χ(x_2,1,...,1)=χ_1(x_2) and χ(1,x_1,1,...,1)=χ_2(x_1) are therefore not justified. While Proposition 4.7 is not cited in the proof of Theorem 4.8 and so is not load-bearing for the main classification, it is a stated result and the error must be corrected, with the argument adjusted to show that the relevant character field still has degree at least 4.
minor comments (4)
  1. [§1, Table 1] The table reports percentages for groups of order less than 512 and for a random sample of 100,000 groups of order 512, but the text does not state the random sampling method or whether the sample is reproducible; a brief note on the sampling procedure would improve the presentation.
  2. [§2, Definition 2.3] The definition of admissible coset is introduced before its motivation; it would be helpful to state explicitly that admissible cosets are exactly the possible semi-rationalities of USR groups, which only becomes clear later in Proposition 3.2 and Theorem 4.8.
  3. [§3.2, Proposition 3.6] In the proof of Proposition 3.6, the notation Gal(Q_G/Q(χ)) is used for the Galois group of the extension Q_G/Q(χ); since Q(χ) is not necessarily a subfield of Q_G, this notation should be clarified for readers.
  4. [§4.1, Theorem 4.3] In the proof of Theorem 4.3, the case analysis for the subfields of Q_{2^k} is terse; a short table listing the intermediate fields F_{k,1} and F_{k,2} and their Galois groups would make the argument easier to follow.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the nilpotent classification is a genuine derivation from standard external results and explicit constructions; the flagged gaps are correctness/completeness risks, not circular reductions.

full rationale

The paper's central claims are not equivalent to their inputs by construction. The rationality and semi-rationality invariants R_G and S_G are defined from conjugacy of powers, and Proposition 3.2 derives that S_G is an admissible coset from Lemma 3.1 and index considerations, rather than defining S_G to be admissible. Theorem 4.8's necessity direction uses Proposition 3.2, Corollary 4.5, Proposition 4.6, and Proposition 3.15, while its sufficiency direction constructs explicit groups (X_k, Y_k, and the six groups H_i) and verifies their semi-rationalities; no parameter is fitted and no conclusion is assumed in its own proof. The only self-citation, [JR16, Theorem 3.3.1], is used for standard facts on simple components of group algebras; it is a parameter-free textbook result whose assumptions do not include the target classification, so it does not make the derivation circular. Two non-circular gaps should be noted as correctness risks: (i) the 'straightforward calculation' of the semi-rationalities S_{H_i} at the end of Section 4.2 is asserted without derivation or GAP output, so an error there would affect the completeness of Theorem 4.8; and (ii) Proposition 4.7 contains a displayed induced-character evaluation that appears to misstate the standard induced-character formula, though that proposition is not cited in the proof of Theorem 4.8. Neither of these is a circular reduction, so the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters are fitted to data; the paper is a pure classification proof. The central results rest on standard external theorems (Huppert, Witt-Berman, Kummer, Revin) plus Galois correspondence. No new physical or algebraic entities are postulated beyond the definitions of the new classes and invariants, which are proven equivalent to existing notions in the text.

assumptions (5)
  • standard math Huppert's theorem: a finite group is rational if and only if every generator of every cyclic subgroup is conjugate to the element (cited [Hup67, Theorem V.13.7]).
    Used to characterize R_G and rational groups in Section 2.
  • standard math Witt-Berman theorem: for a field K, the number of K-conjugacy classes equals the number of irreducible K-modules (cited [CR06, Theorem 42.8]).
    Used in Proposition 3.6 to connect K-stillness to K-conjugacy classes.
  • standard math Kummer's theorem on exponent-2 Galois extensions (cited [Lan02, Theorem 8.2]).
    Used in Proposition 3.3 to identify quadratic conjugated groups with elementary abelian 2 Galois groups.
  • standard math Revin's description of the irreducible characters of X wreath C_p (cited [Rev04]).
    Used in Proposition 4.7 and Corollary 4.2 to compute Q(G) and to control character fields of wreath products.
  • standard math Galois correspondence and the structure of subfields of cyclotomic fields Q_{p^e}.
    Used throughout Section 4 to translate subgroups of U_n into subfields and to enumerate subfields of Q_{2^k}.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Uniformly semi-rational groups." pith.science (2026). https://pith.science/paper/PFEFINOO

@misc{pith2026241116563,
  author       = {Pith},
  title        = {Pith review of: Uniformly semi-rational groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PFEFINOO}},
  note         = {Machine review of arXiv:2411.16563}
}
read the original abstract

We introduce and study some families of groups whose irreducible characters take values on quadratic extensions of the rationals. We focus mostly on a generalization of inverse semi-rational groups, which we call uniformly semi-rational groups. Moreover, we associate to every finite group two invariants, called rationality and semi-rationality of the group. They measure respectively how far a group is from being rational and how much uniformly rational it is. We determine the possible values that these invariants may take for finite nilpotent groups. We also classify the fields that can occur as the field generated by the character values of a finite nilpotent group.

Figures

Figures reproduced from arXiv: 2411.16563 by the authors.

Figure 1
Figure 1. The semi-rationality of G is the following subset of UG: SG = {r ∈ UG : G is r-semi-rational}. Clearly the following are equivalent: (1) G is rational, (2) 1 ∈ SG, (3) RG = UG, (4) SG = UG. Moreover, G is USR if and only if SG ̸= ∅ and, in that case, SG is a coset of UG modulo RG (see Proposition 3.2) [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

4 extracted references · 3 canonical work pages

  1. [1]

    Integral group rings of solvable groups with trivial central units

    [Bäc18] A. Bächle. “Integral group rings of solvable groups with trivial central units”. In: Forum Math.30.4 (2018), pp. 845–855.doi: 10.1515/forum-2017-0021. [CD10] D. Chillag and S. Dolfi. “Semi-rational solvable groups”. In: J. Group Theory 13 (2010), pp. 535–548. [CR06] Ch. W. Curtis and I. Reiner. Representation theory of finite groups and associativ...

    work page doi:10.1515/forum-2017-0021 2018

  2. [211]

    Quadratic character in groups of odd order

    Graduate Texts in Mathematics. Springer-Verlag, New York, 2002, pp. xvi+914.doi: 10.1007/978-1-4613-0041-0. [Nav09] G. Navarro. “Quadratic character in groups of odd order”. In: Journal of Algebra 322.7 (2009), pp. 2586–2589. [Rev04] D. O. Revin. “The characters of groups of type X ≀ Zp”. In:Sib. Èlektron. Mat. Izv. 1 (2004), pp. 110–116. [RS90] J. Ritter...

    doi:10.1007/978-1-4613-0041-0 2009

  3. [1084]

    Springer-Verlag, Berlin, 1984, pp

    Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1984, pp. vi+290.doi: 10.1007/BFb0103426. [Lan02] S. Lang. Algebra. third. Vol

    work page doi:10.1007/bfb0103426 1984

  4. [1967]

    Sylow 2-subgroups of rational solvable groups

    [IN12] I. M. Isaacs and G. Navarro. “Sylow 2-subgroups of rational solvable groups”. In: Math. Z.272.3-4 (2012), pp. 937–945.doi: 10.1007/s00209-011-0965-9. [JR16] E. Jespers and Á. del Río. Group Ring Groups. Volume 1: Orders and generic con- structions of units. Berlin: De Gruyter,

    work page doi:10.1007/s00209-011-0965-9 2012

Pith tools

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