Computing with Matrix and Basic Algebras

  • Jon F. CarlsonEmail author
Conference paper
Part of the Springer Proceedings in Mathematics & Statistics book series (PROMS, volume 277)


This is a survey of my lecture delivered at the Southern Regional Algebra Conference in March 2017. It is meant to demonstrate some of the methods and technology that can be used to investigate examples in the theory of representations of groups and algebras. The concentration is on using computational methods to determine the structure of a matrix algebra as in the theorems of Wedderburn and investigating homological properties of the algebra by way of its basic algebra. For every split finite-dimensional associative algebra, there is a basic algebra, one whose simple modules have dimension one, that has the same representation theory. In the computational setting, it is usually much more practical to first find the basic algebra when studying representation theory.


Matrix algebra Basic algebra Computational methods Idempotent decomposition 


  1. 1.
    Bosma, W., Cannon, J., Fieker, C., Steel, A. (eds.): Handbook of Magma Functions, V2.23 (2017).
  2. 2.
    Carlson, J.F.: Problems in the calculation of group cohomology. In: Computational Methods for Representations of Groups and Algebras. Essen, (1997); Progr. Math. 173, 107–120 (1999)Google Scholar
  3. 3.
    Carlson, J.F.: Calculating group cohomology: tests for completion. In: Computational Algebra and Number Theory. Milwaukee, WI (1996); J. Symbolic Comput. 31(1–2), 229–242 (2001)Google Scholar
  4. 4.
    Carlson, J.F., Matthews, G.: Generators and relations for matrix algebras. J. Algebra 300, 134–159 (2006)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Carlson, J.F., Townsley, L., Valeri-Elizondo, L., Zhang, M.: Cohomology rings of finite groups. With an appendix: calculations of cohomology rings of groups of order dividing 64. Algebras and Applications, vol. 3. Kluwer, Dordrecht (2003)CrossRefGoogle Scholar
  6. 6.
    Conway, J.H., Curtis, R.T., Norton, S.P., Parker, R.A., Wilson, R.A.: ATLAS of Finite Groups. Oxford University Press, Oxford (1985)Google Scholar
  7. 7.
    Eick, B.: Computing automorphism groups and testing isomorphisms for modular group algebras. J. Algebra 320(11), 3895–3910 (2008)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Eick, B., King, S.: The isomorphism problem for graded algebras and its application to mod-\(p\) cohomology rings of small \(p\)-groups. J. Algebra 452, 487–501 (2016)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Green, D.J., King, S.A.: The computation of the cohomology rings of all groups of order 128. J. Algebra 325, 352–363 (2011)MathSciNetCrossRefGoogle Scholar
  10. 10.
    King, S.A., Green, D.J., Ellis, G.: The mod-2 cohomology ring of the third Conway group is Cohen-Macaulay. Algebr. Geom. Topol. 11(2), 719–734 (2011)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Kessar, R.: On blocks stably equivalent to a quantum complete intersection of dimension 9 in characteristic 3 and a case of the abelian defect group conjecture. J. London Math. Soc. 2(85), 491–510 (2012)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Külshammer, B., Landrock, P., Reinhardt, S.: Algebras related to a class of 3-blocks of defect 2 (2016)Google Scholar
  13. 13.
    Lam, T.Y.: Lectures on Modules and Rings. Graduate Texts in Mathematics, vol. 189. Springer-Verlag, New York (1999)CrossRefGoogle Scholar
  14. 14.
    Lux, K., Wiegelmann, M.: Condensing tensor product modules. In: The Atlas of Finite Groups: Ten Years On, pp. 174–190. Birmingham (1995). London Mathematical Society Lecture Note series, vol. 249. Cambridge University Press, Cambridge (1998)Google Scholar
  15. 15.
    Lux, K., Müller, J., Ringe, M.: Peakword condensation and submodule lattices: an application of the MEAT-AXE. J. Symb. Comput. 17(6), 529–544 (1996)MathSciNetCrossRefGoogle Scholar
  16. 16.
    Martin, S.: Schur algebras and representation theory. In: Cambridge Tracts in Mathematics, vol. 112. Cambridge University Press, Cambridge (1993)Google Scholar
  17. 17.
    Noeske, F.: Tackling the generation problem in condensation. J. Algebra 309(2), 711–722 (2007)MathSciNetCrossRefGoogle Scholar
  18. 18.
    Parker, R.: The computer calculation of modular characters (The Meat-Axe). In: Atkinson, M. (ed.) Computational Group Theory, pp. 267–274. Academic Press, London (1984)Google Scholar
  19. 19.
    Priddy, S.B.: Koszul resolutions. Trans. Amer. Math. Soc. 152, 39–60 (1970)MathSciNetCrossRefGoogle Scholar
  20. 20.
    SageMath: The Sage Mathematics Software System. The Sage Developers (2017).
  21. 21.
    The GAP Group: GAP—Groups, Algorithms, and Programming, Version 4.8.7 (2017).

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of GeorgiaAthensUSA

Personalised recommendations