On rational representations and rational group algebra of operatorname{GL}₂(q)
Pith reviewed 2026-06-28 11:57 UTC · model grok-4.3
The pith
Irreducible rational representations of GL_2(q) correspond exactly to Galois orbit sums of complex characters scaled by Schur index.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
An irreducible representation ρ of G=GL_2(q) over Q affords the character Ω(χ)=m_Q(χ)∑_{σ∈Gal(Q(χ)/Q)}χ^σ for some irreducible complex character χ of G, and conversely every such character is afforded by an irreducible Q-representation. Parabolic induction supplies the characters needed for the construction, and the Wedderburn decomposition of QG admits an explicit combinatorial formula in terms of q.
What carries the argument
The character Ω(χ) formed by summing Galois conjugates of a complex character χ scaled by its Schur index over Q, which classifies all irreducible rational representations and determines the simple components of the group algebra QG.
If this is right
- A combinatorial description exists for counting inequivalent irreducible Q-representations of distinct degrees.
- An explicit combinatorial formula depending only on q exists for the Wedderburn decomposition of QG.
- A construction method exists for irreducible rational matrix representations affording Ω(χ) when χ arises from parabolic induction.
Where Pith is reading between the lines
- The formula permits computing the full list of rational irreps and their degrees directly from q without enumerating complex characters first.
- The same orbit-sum approach could apply to related groups such as SL_2(q) once their Schur indices are determined.
- Explicit knowledge of the division ring components in the decomposition may simplify computations of rational class functions or endomorphism rings.
Load-bearing premise
That every scaled Galois orbit sum is afforded by an irreducible representation over Q, with characters from parabolic induction generating all of them.
What would settle it
For q=3, compute all irreducible complex characters of GL_2(3), form their Galois orbit sums scaled by Schur indices, derive the predicted counts by degree and the Wedderburn factors, then compare against the actual irreducible Q-representations obtained by direct computation or known tables of the rational group algebra.
read the original abstract
In this article, we study rational representations of $G=\operatorname{GL}_2(q)$, where $q$ is a prime power. Let $\rho$ be an irreducible representation of $G$ over $\mathbb{Q}$. Then $\rho$ affords the character \[ \Omega(\chi)=m_{\mathbb{Q}}(\chi)\sum_{\sigma\in\operatorname{Gal}(\mathbb{Q}(\chi)/\mathbb{Q})}\chi^{\sigma}, \] for some irreducible complex character $\chi$ of $G$, where $m_{\mathbb{Q}}(\chi)$ denotes the Schur index of $\chi$ over $\mathbb{Q}$, with the converse also holding. We obtain a combinatorial description for the counting of inequivalent irreducible $\mathbb{Q}$-representations of $G$ of distinct degrees. Furthermore, we present a method to construct an irreducible rational matrix representation $\rho$ of $G$ affording the character $\Omega(\chi)$, where $\chi$ is an irreducible complex character of $G$ arising from parabolic induction. Finally, using the results from the rational representations of $G$, we derive an explicit combinatorial formula, depending only on $q$, for the Wedderburn decomposition of $\mathbb{Q}G$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that for G=GL_2(q), every irreducible rational representation ρ affords the character Ω(χ)=m_Q(χ)∑_{σ}χ^σ for some complex irreducible character χ (with the converse also holding); it supplies a combinatorial count of inequivalent irreducible Q-representations by degree, an explicit matrix construction realizing Ω(χ) when χ arises from parabolic induction, and a combinatorial formula (depending only on q) for the Wedderburn decomposition of the rational group algebra QG.
Significance. If the central correspondence and decomposition were fully established, the results would give an explicit, q-dependent description of the rational representation theory and group algebra structure for GL_2(q), a useful contribution to the study of rational representations of groups of Lie type.
major comments (2)
- [Abstract] Abstract and the section presenting the general correspondence: the claim that the converse holds for every complex irreducible χ (i.e., every Ω(χ) is afforded by an irreducible Q-representation) is load-bearing for both the counting formula and the Wedderburn decomposition, yet the explicit construction is stated to apply only when χ arises from parabolic induction; cuspidal characters are not addressed, leaving the general statement unsupported.
- [Construction section] Section on the construction of rational matrix representations: the method is restricted to parabolic-induced characters, so the claimed general converse (and therefore the explicit decomposition of QG) cannot be verified for the full set of complex irreps of GL_2(q).
minor comments (1)
- [Abstract] The abstract could more precisely delimit the scope of the converse statement to match the construction that is actually supplied.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for highlighting the distinction between the general correspondence and our explicit constructions. We address the points below and will revise the manuscript to clarify the reliance on standard theory.
read point-by-point responses
-
Referee: [Abstract] Abstract and the section presenting the general correspondence: the claim that the converse holds for every complex irreducible χ (i.e., every Ω(χ) is afforded by an irreducible Q-representation) is load-bearing for both the counting formula and the Wedderburn decomposition, yet the explicit construction is stated to apply only when χ arises from parabolic induction; cuspidal characters are not addressed, leaving the general statement unsupported.
Authors: The correspondence stated in the abstract is a standard theorem: every irreducible Q-representation affords a character Ω(χ) for some complex irreducible χ, and conversely Ω(χ) is afforded by an irreducible Q-representation (this is a direct consequence of the properties of the Schur index m_Q(χ); see e.g. Isaacs, Character Theory, Theorem 10.8 or standard references on rational representations). The manuscript recalls this foundational fact in the introductory section rather than claiming a new proof. The explicit matrix construction is presented separately as an additional constructive result that applies when χ arises from parabolic induction. For cuspidal characters the existence follows from the general theory without a new explicit matrix realization in this work. The combinatorial counting of irreducible Q-representations by degree and the q-dependent Wedderburn decomposition are obtained from the known complex character table of GL_2(q), the Galois orbits on characters, and the (combinatorially determinable) Schur indices, none of which require the explicit matrices. We will add a short clarifying remark in the abstract and introduction to distinguish the standard general fact from the constructive contribution. revision: partial
-
Referee: [Construction section] Section on the construction of rational matrix representations: the method is restricted to parabolic-induced characters, so the claimed general converse (and therefore the explicit decomposition of QG) cannot be verified for the full set of complex irreps of GL_2(q).
Authors: The construction section supplies an explicit realization only for the parabolic case, as stated. The general converse (existence of an irreducible Q-representation affording Ω(χ) for every complex χ) is not verified by construction in the paper but follows from the standard theory of Schur indices already invoked for the counting and decomposition. The Wedderburn decomposition of QG is obtained by summing matrix rings over the division algebras corresponding to each Galois orbit, using only the degrees, fields of values, and Schur indices; these data are available for all characters of GL_2(q) (including cuspidals) via the known character table and do not depend on exhibiting matrices. We will insert a brief note in the construction section reiterating that the general existence is supplied by the cited standard results. revision: partial
Circularity Check
No significant circularity; derivation self-contained via standard representation theory
full rationale
The paper states the correspondence between irreducible Q-representations and Galois orbits of complex characters scaled by Schur index as a theorem (with converse), then derives combinatorial counts and the Wedderburn decomposition of QG from the known character table of GL_2(q) and standard facts about rational irreps. No equations reduce a claimed prediction or count to a fitted quantity defined from the same data, no self-citation chain bears the central load, and no ansatz is smuggled. The explicit matrix construction is limited to parabolic-induced characters, but this does not create a definitional loop or force the general counting formula by construction. The derivation remains independent of its own outputs.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Can we explicitly determine the structure of rational group algebras?
Gurmeet K. Bakshi. “Can we explicitly determine the structure of rational group algebras?” In:Math. Student89.1-2 (2020), pp. 1–27 [ 3]
2020
-
[2]
Rational group algebras of generalized strongly monomial groups: primitive idempotents and units
Gurmeet K. Bakshi, Jyoti Garg, and Gabriela Olteanu. “Rational group algebras of generalized strongly monomial groups: primitive idempotents and units”. In:Math. Comp.93.350 (2024), pp. 3027–3058.DOI: 10.1090/mcom/3937[ 3]
-
[3]
The rational group algebra of a normally monomial group
Gurmeet K. Bakshi and Sugandha Maheshwary. “The rational group algebra of a normally monomial group”. In:J. Pure Appl. Algebra218.9 (2014), pp. 1583–1593.DOI:10.1016/j.jpaa.2013.12.010[ 3]
-
[4]
Rational representations and permutation representations of finite groups
Alex Bartel and Tim Dokchitser. “Rational representations and permutation representations of finite groups”. In:Math. Ann.364.1-2 (2016), pp. 539–558.DOI:10.1007/s00208-015-1223-y[ 2]
-
[5]
The functor of rational representations forp-groups
Serge Bouc. “The functor of rational representations forp-groups”. In:Adv. Math.186.2 (2004), pp. 267– 306.DOI:10.1016/j.aim.2003.08.002[ 2]
-
[6]
On the Arithmetical Nature of the Coefficients in a Group of Linear Substitutions: (Thrid Paper)
W. Burnside. “On the Arithmetical Nature of the Coefficients in a Group of Linear Substitutions: (Thrid Paper)”. In:Proc. London Math. Soc. (2)7 (1909), pp. 8–13.DOI:10.1112/plms/s2-7.1.8[ 2]
-
[7]
Ram Karan Choudhary and Saikat Panja. “Wedderburn decomposition of the rational group algebras of SL2(q)and PSL 2(q)”. In:arXiv preprint(2026).DOI:10.48550/arXiv.2604.16078[ 3]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2604.16078 2026
-
[8]
Rational group algebras of Caminap-groups
Ram Karan Choudhary and Sunil Kumar Prajapati. “Rational group algebras of Caminap-groups”. In: Arch. Math. (Basel)125.3 (2025), pp. 247–258.DOI:10.1007/s00013-025-02142-w[ 3]
-
[9]
Rational representations and rational group algebra of VZp-groups
Ram Karan Choudhary and Sunil Kumar Prajapati. “Rational representations and rational group algebra of VZp-groups”. In:J. Aust. Math. Soc.118.1 (2025), pp. 1–30.DOI:10.1017/S1446788724000132[ 3]
-
[10]
Ram Karan Choudhary and Sunil Kumar Prajapati. “A combinatorial formula for the Wedderburn decom- position of rational group algebras and the rational representations of ordinary metacyclicp-groups”. In: Algebr. Represent. Theory29.1 (2026), pp. 85–109.DOI:10.1007/s10468-025-10371-4[ 3]
-
[11]
Ram Karan Choudhary and Sunil Kumar Prajapati. “A combinatorial formula for the Wedderburn decom- position of rational group algebras of split metacyclicp-groups”. In:J. Algebra Appl.25.8 (2026), Paper No. 2650068.DOI:10.1142/S0219498826500684[ 3]
-
[12]
Ram Karan Choudhary and Sunil Kumar Prajapati. “A combinatorial technique for the Wedderburn decom- position of rational group algebras of nested GVZp-groups”. In:J. Algebraic Combin.63.3 (2026), Paper No. 39.DOI:10.1007/s10801-026-01527-6[ 3]
-
[13]
On matrix representations of groups of orderp 5 over Q
Ram Karan Choudhary and Sunil Kumar Prajapati. “On matrix representations of groups of orderp 5 over Q”. In:J. Group Theory(2026).DOI:10.1515/jgth-2025-0120[ 3]
-
[14]
Curtis and Irving Reiner.Representation theory of finite groups and associative algebras
Charles W. Curtis and Irving Reiner.Representation theory of finite groups and associative algebras. Wiley Classics Library. Reprint of the 1962 original, A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1988, pp. xiv+689 [ 2]
1962
-
[15]
Computing matrix representations
Vahid Dabbaghian and John D. Dixon. “Computing matrix representations”. In:Math. Comp.79.271 (2010), pp. 1801–1810.DOI:10.1090/S0025-5718-10-02330-6[ 1]
-
[16]
An algorithm for constructing representations of finite groups
Vahid Dabbaghian-Abdoly. “An algorithm for constructing representations of finite groups”. In:J. Symbolic Comput.39.6 (2005), pp. 671–688.DOI:10.1016/j.jsc.2005.01.002[ 1]
-
[17]
Charles E. Ford. “Characters ofp-groups”. In:Proc. Amer. Math. Soc.101.4 (1987), pp. 595–601.DOI: 10.2307/2046653[ 2, 3]. [18]The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.13.0. https://www.gap-system.org. 2024 [ 1, 3, 18]
-
[18]
The isomorphism problem for rational group algebras of finite metacyclic groups
`Angel Garc´ıa-Bl´azquez and ´Angel del R´ıo. “The isomorphism problem for rational group algebras of finite metacyclic groups”. In:J. Pure Appl. Algebra229.6 (2025), Paper No. 107951, 36.DOI:10 . 1016 / j . jpaa.2025.107951[ 3]. 20 REFERENCES
arXiv 2025
-
[19]
Meinolf Geck and Gunter Malle.The character theory of finite groups of Lie type. V ol. 187. Cambridge Studies in Advanced Mathematics. A guided tour. Cambridge University Press, Cambridge, 2020, pp. ix+394 [ 2, 4, 5]
2020
-
[20]
Central idempotents and units in rational group algebras of alternating groups
A. Giambruno and E. Jespers. “Central idempotents and units in rational group algebras of alternating groups”. In:Internat. J. Algebra Comput.8.4 (1998), pp. 467–477.DOI:10.1142/S0218196798000223[ 3]
-
[21]
Schur indices of some groups of Lie type
R. Gow. “Schur indices of some groups of Lie type”. In:J. Algebra42.1 (1976), pp. 102–120.DOI:10. 1016/0021-8693(76)90029-6[ 10]
1976
-
[22]
Odd degree rational characters and the order of rational elements in finite groups
Nicola Grittini. “Odd degree rational characters and the order of rational elements in finite groups”. In:J. Algebra654 (2024), pp. 59–69.DOI:10.1016/j.jalgebra.2024.05.010[ 1]
-
[23]
On the automorphism groups of rational group algebras of metacyclic groups
Allen Herman. “On the automorphism groups of rational group algebras of metacyclic groups”. In:Comm. Algebra25.7 (1997), pp. 2085–2097.DOI:10.1080/00927879708825973[ 3]
-
[24]
Martin Isaacs.Character theory of finite groups
I. Martin Isaacs.Character theory of finite groups. Corrected reprint of the 1976 original [Academic Press, New York; MR0460423 (57 #417)]. Dover Publications, Inc., New York, 1994, pp. xii+303 [ 2, 7]
1976
-
[25]
Rational group algebras of finite groups: from idem- potents to units of integral group rings
Eric Jespers, Gabriela Olteanu, and ´Angel del R´ıo. “Rational group algebras of finite groups: from idem- potents to units of integral group rings”. In:Algebr. Represent. Theory15.2 (2012), pp. 359–377.DOI: 10.1007/s10468-010-9244-4[ 3]
-
[26]
A structure theorem for the unit group of the integral group ring of some finite groups
Eric Jespers and Angel del R ´ıo. “A structure theorem for the unit group of the integral group ring of some finite groups”. In:J. Reine Angew. Math.521 (2000), pp. 99–117.DOI:10.1515/crll.2000.032[ 3]
-
[27]
Eric Jespers and ´Angel del R´ıo.Group ring groups. Vol. 1. Orders and generic constructions of units. De Gruyter Graduate. De Gruyter, Berlin, 2016, pp. xii+447 [ 16]
2016
-
[28]
Rational representations of finite groups: the story ofγ
Dennis Kletzing. “Rational representations of finite groups: the story ofγ”. In:Amer. Math. Monthly94.9 (1987), pp. 846–854.DOI:10.2307/2322816[ 2]
-
[29]
Isomorphism of group algebras of metacyclic groups over the field of rational numbers
Nako Nachev and Yordan Epitropov. “Isomorphism of group algebras of metacyclic groups over the field of rational numbers”. In:J. Algebra680 (2025), pp. 58–69.DOI:10.1016/j.jalgebra.2025.04.040[ 3]
-
[30]
Rationality and normal 2-complements
Gabriel Navarro and Lucia Sanus. “Rationality and normal 2-complements”. In:J. Algebra320.6 (2008), pp. 2451–2454.DOI:10.1016/j.jalgebra.2008.02.036[ 1]
-
[31]
Gabriel Navarro and Pham Huu Tiep. “Rational irreducible characters and rational conjugacy classes in finite groups”. In:Trans. Amer. Math. Soc.360.5 (2008), pp. 2443–2465.DOI:10.1090/S0002- 9947- 07-04375-9[ 1]
-
[32]
Degrees of rational characters of finite groups
Gabriel Navarro and Pham Huu Tiep. “Degrees of rational characters of finite groups”. In:Adv. Math.224.3 (2010), pp. 1121–1142.DOI:10.1016/j.aim.2009.12.023[ 1]
-
[33]
On the Schur indices of GL(n,q)and SL(2n+1,q)
Zyozyu Ohmori. “On the Schur indices of GL(n,q)and SL(2n+1,q)”. In:J. Math. Soc. Japan29.4 (1977), pp. 693–707.DOI:10.2969/jmsj/02940693[ 10]
-
[34]
Computing the Wedderburn decomposition of group algebras by the Brauer-Witt the- orem
Gabriela Olteanu. “Computing the Wedderburn decomposition of group algebras by the Brauer-Witt the- orem”. In:Math. Comp.76.258 (2007), pp. 1073–1087.DOI:10 . 1090 / S0025 - 5718 - 07 - 01957 - 6[ 3]
2007
-
[35]
Abelian group algebras of finite order
Sam Perlis and Gordon L. Walker. “Abelian group algebras of finite order”. In:Trans. Amer. Math. Soc.68 (1950), pp. 420–426.DOI:10.2307/1990406[ 3]
-
[36]
Constructing rational representations of finite groups
Wilhelm Plesken and Bernd Souvignier. “Constructing rational representations of finite groups”. In:Exper- iment. Math.5.1 (1996), pp. 39–47 [ 2]
1996
-
[37]
The Schur index in the theory of group representations
Irving Reiner. “The Schur index in the theory of group representations”. In:Michigan Math. J.8 (1961), pp. 39–47 [ 16]
1961
-
[38]
Construction of units in integral group rings of finite nilpotent groups
J ¨urgen Ritter and Sudarshan K. Sehgal. “Construction of units in integral group rings of finite nilpotent groups”. In:Trans. Amer. Math. Soc.324.2 (1991), pp. 603–621.DOI:10.2307/2001734[ 3]
-
[39]
Jean-Pierre Serre.Linear representations of finite groups. French. V ol. V ol. 42. Graduate Texts in Mathe- matics. Springer-Verlag, New York-Heidelberg, 1977, pp. x+170 [ 2]. REFERENCES 21
1977
-
[40]
A geometric approach to the representations of the full linear group over a Galois field
R. Steinberg. “A geometric approach to the representations of the full linear group over a Galois field”. In: Trans. Amer. Math. Soc.71 (1951), pp. 274–282.DOI:10.2307/1990691[ 13]
-
[41]
The representations of GL(3,q),GL(4,q),PGL(3,q), and PGL(4,q)
Robert Steinberg. “The representations of GL(3,q),GL(4,q),PGL(3,q), and PGL(4,q)”. In:Canad. J. Math.3 (1951), pp. 225–235.DOI:10.4153/cjm-1951-027-x[ 2, 4]
-
[42]
Odd-degree rational irreducible characters
Pham Huu Tiep and Hung P. Tong-Viet. “Odd-degree rational irreducible characters”. In:Acta Math. Viet- nam.47.1 (2022), pp. 293–304.DOI:10.1007/s40306-021-00446-x[ 1]
-
[43]
Toshihiko Yamada.The Schur subgroup of the Brauer group. V ol. 397. Lecture Notes in Mathematics. Springer-Verlag, Berlin-New York, 1974, pp. v+159 [ 3, 16]
1974
-
[44]
Remarks on rational representations of a finite group
Toshihiko Yamada. “Remarks on rational representations of a finite group”. In:SUT J. Math.29.1 (1993), pp. 71–77 [ 12]. Email address, (Choudhary):ramkchoudhary1997@gmail.com, ram.choudhary@iiserpune.ac.in INDIANINSTITUTE OFSCIENCEEDUCATION ANDRESEARCHPUNE, DR. HOMIBHABHAROAD, PASHAN, PUNE411008, INDIA Email address, (Prajapati):skprajapati@iitbbs.ac.in I...
1993
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.