Remote Access Mathematics of Computation
Green Open Access

Mathematics of Computation

ISSN 1088-6842(online) ISSN 0025-5718(print)



Primitive central idempotents of finite group rings of symmetric groups

Author: Harald Meyer
Journal: Math. Comp. 77 (2008), 1801-1821
MSC (2000): Primary 20C05, 20C30, 20C40
Published electronically: December 17, 2007
MathSciNet review: 2398795
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ p$ be a prime. We denote by $ S_n$ the symmetric group of degree $ n$, by $ A_n$ the alternating group of degree $ n$ and by $ {\mathbb{F}}_p$ the field with $ p$ elements. An important concept of modular representation theory of a finite group $ G$ is the notion of a block. The blocks are in one-to-one correspondence with block idempotents, which are the primitive central idempotents of the group ring $ {\mathbb{F}}_q G$, where $ q$ is a prime power. Here, we describe a new method to compute the primitive central idempotents of $ {\mathbb{F}}_q G$ for arbitrary prime powers $ q$ and arbitrary finite groups $ G$. For the group rings $ {\mathbb{F}}_p S_n$ of the symmetric group, we show how to derive the primitive central idempotents of $ {\mathbb{F}}_p S_{n-p}$ from the idempotents of $ {\mathbb{F}}_p S_n$. Improving the theorem of Osima for symmetric groups we exhibit a new subalgebra of $ {\mathbb{F}}_p S_n$ which contains the primitive central idempotents. The described results are most efficient for $ p = 2$. In an appendix we display all primitive central idempotents of $ {\mathbb{F}}_2 S_n$ and $ {\mathbb{F}}_4 A_n$ for $ n \le 50$ which we computed by this method.

References [Enhancements On Off] (What's this?)

  • 1. Charles W. Curtis and Irving Reiner, Representation theory of finite groups and associative algebras, Pure and Applied Mathematics, Vol. XI, Interscience Publishers, a division of John Wiley & Sons, New York-London, 1962. MR 0144979
  • 2. The GAP Group, GAP -- Groups, Algorithms, and Programming, Version 4.4; 2005. (
  • 3. R. Gow, Real 2-blocks of 𝑆_{𝑛},𝐴_{𝑛} and their double covers, The Arcata Conference on Representations of Finite Groups (Arcata, Calif., 1986) Proc. Sympos. Pure Math., vol. 47, Amer. Math. Soc., Providence, RI, 1987, pp. 421–429. MR 933379
  • 4. Bertram Huppert, Character theory of finite groups, De Gruyter Expositions in Mathematics, vol. 25, Walter de Gruyter & Co., Berlin, 1998. MR 1645304
  • 5. B. Huppert, Endliche Gruppen. I, Die Grundlehren der Mathematischen Wissenschaften, Band 134, Springer-Verlag, Berlin-New York, 1967 (German). MR 0224703
  • 6. Bertram Huppert and Norman Blackburn, Finite groups. II, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 242, Springer-Verlag, Berlin-New York, 1982. AMD, 44. MR 650245
  • 7. Gordon James and Adalbert Kerber, The representation theory of the symmetric group, Encyclopedia of Mathematics and its Applications, vol. 16, Addison-Wesley Publishing Co., Reading, Mass., 1981. With a foreword by P. M. Cohn; With an introduction by Gilbert de B. Robinson. MR 644144
  • 8. Gregory Karpilovsky, Structure of blocks of group algebras, Pitman Monographs and Surveys in Pure and Applied Mathematics, vol. 33, Longman Scientific & Technical, Harlow; John Wiley & Sons, Inc., New York, 1987. MR 914150
  • 9. Adalbert Kerber, Representations of permutation groups. I, Lecture Notes in Mathematics, Vol. 240, Springer-Verlag, Berlin-New York, 1971. MR 0325752
  • 10. Adalbert Kerber, Axel Kohnert, and Alain Lascoux, SYMMETRICA, an object oriented computer-algebra system for the symmetric group, J. Symbolic Comput. 14 (1992), no. 2-3, 195–203. MR 1187231,
  • 11. Burkhard Külshammer, Group-theoretical descriptions of ring-theoretical invariants of group algebras, Representation theory of finite groups and finite-dimensional algebras (Bielefeld, 1991) Progr. Math., vol. 95, Birkhäuser, Basel, 1991, pp. 425–442. MR 1112173,
  • 12. Harald Meyer, Konjugationsklassensummen in endlichen Gruppenringen, Bayreuth. Math. Schr. 66 (2002), viii+160 (German). Dissertation, Universität Bayreuth, Bayreuth, 2002. MR 1953638
  • 13. Harald Meyer, Finite splitting fields of normal subgroups, Arch. Math. (Basel) 83 (2004), no. 2, 97–101. MR 2104936,
  • 14. John Murray, Squares in the centre of the group algebra of a symmetric group, Bull. London Math. Soc. 34 (2002), no. 2, 155–164. MR 1874081,
  • 15. G. Navarro, Characters and blocks of finite groups, London Mathematical Society Lecture Note Series, vol. 250, Cambridge University Press, Cambridge, 1998. MR 1632299
  • 16. Jørn B. Olsson, Lower defect groups in symmetric groups, J. Algebra 104 (1986), no. 1, 37–56. MR 865885,
  • 17. Michio Suzuki, Group theory. I, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 247, Springer-Verlag, Berlin-New York, 1982. Translated from the Japanese by the author. MR 648772

Similar Articles

Retrieve articles in Mathematics of Computation with MSC (2000): 20C05, 20C30, 20C40

Retrieve articles in all journals with MSC (2000): 20C05, 20C30, 20C40

Additional Information

Harald Meyer
Affiliation: Mathematisches Institut, Universität Bayreuth, 95440 Bayreuth, Germany

Keywords: Group ring, symmetric group, primitive central idempotent
Received by editor(s): December 15, 2006
Received by editor(s) in revised form: March 8, 2007
Published electronically: December 17, 2007
Article copyright: © Copyright 2007 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.

American Mathematical Society