Skip to main content Accessibility help
×
Hostname: page-component-788cddb947-r7bls Total loading time: 0 Render date: 2024-10-15T20:11:11.458Z Has data issue: false hasContentIssue false

The modular isomorphism problem for the groups of order 512

Published online by Cambridge University Press:  05 July 2011

Bettina Eick
Affiliation:
Technical University Braunschweig, Germany
Alexander Konovalov
Affiliation:
University of St Andrews
C. M. Campbell
Affiliation:
University of St Andrews, Scotland
M. R. Quick
Affiliation:
University of St Andrews, Scotland
E. F. Robertson
Affiliation:
University of St Andrews, Scotland
C. M. Roney-Dougal
Affiliation:
University of St Andrews, Scotland
G. C. Smith
Affiliation:
University of Bath
G. Traustason
Affiliation:
University of Bath
Get access

Summary

Abstract

For a prime p, let G be a finite p-group and K a field of characteristic p. The Modular Isomorphism Problem (MIP) asks whether the modular group algebra KG determines the isomorphism type of G. We briefly survey the history of this problem and report on our computer-aided verification of the Modular Isomorphism Problem for the groups of order 512 and the field K with 2 elements.

Introduction

The Modular Isomorphism Problem has been known for more than 50 years. Despite various attempts to prove it or to find a counterexample to it, it is still open and remains one of the challenging problems in the theory of finite p-groups bordering on the theory of associative algebras.

Solutions for the modular isomorphism problem are available for various special types of p-groups. For example, the MIP holds for

  1. abelian p-groups (Deskins [14]; an alternative proof was given by Coleman [12]);

  2. p-groups G of class 2 with G′ elementary abelian (Sandling [34, Theorem 6.25]);

  3. metacyclic p-groups (Bagiński [1] for p > 3; completed by Sandling [36]);

  4. 2-groups of maximal class (Carlson [11]; alternative proof by Bagiński [3]);

  5. p-groups G of maximal class, p ≠ 2, where |G| ≤ pp+1 and G contains an abelian maximal subgroup (Caranti and Bagiński [2]);

  6. elementary abelian-by-cyclic groups (Bagiński [4]);

  7. p-groups with the center of index p2 (Drensky [16]); and

  8. p-groups having a cyclic subgroup of index p2 (Baginski and Konovalov [5]).

Type
Chapter
Information
Publisher: Cambridge University Press
Print publication year: 2011

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1] C., Bagiński, The isomorphism question for modular group algebras of metacyclic p-groups, Proc. Amer. Math. Soc. 104 (1988), no. 1, 39–42.Google Scholar
[2] C., Bagiński and A., Caranti, The modular group algebras of p-groups of maximal class, Canad. J. Math. 40 (1988), no. 6, 1422–1435.Google Scholar
[3] C., Bagiński, Modular group algebras of 2-groups of maximal class, Comm. Algebra 20 (1992), no. 5, 1229–1241.Google Scholar
[4] C., Bagiński, On the isomorphism problem for modular group algebras of elementary abelian-by-cyclic p-groups, Colloq. Math. 82 (1999), no. 1, 125–136.Google Scholar
[5] C., Bagiński and A., Konovalov, The modular isomorphism problem for finite p-groups with a cyclic subgroup of index p2, in Groups St. Andrews 2005. Vol. 1 (C. M., Campbell et al., eds.), London Math. Soc. Lecture Note Ser. 339 (CUP, Cambridge 2007), 186–193.Google Scholar
[6] Zs., Balogh and A., Bovdi, On units of group algebras of 2-groups of maximal class, Comm. Algebra 32 (2004), no. 8, 3227–3245.Google Scholar
[7] Zs., Balogh and A., Bovdi, Group algebras with unit group of class p, Publ. Math. Debrecen 65 (2004), no. 3-4, 261–268.Google Scholar
[8] H. U., Besche, B., Eick and E., O'Brien, The SmallGroups Library, http://www-public. tu-bs.de:8080/~beick/soft/small/small.html.
[9] F. M., Bleher, W., Kimmerle, K. W., Roggenkamp and M., Wursthorn, Computational aspects of the isomorphism problem, in Algorithmic algebra and number theory (Heidelberg, 1997) (Springer, Berlin 1999), 313–329.Google Scholar
[10] V., Bovdi, A., Konovalov, R., Rossmanith and C., Schneider. LAGUNA – Lie AlGebras and UNits of group Algebras, Version 3.5.0; 2009, http://www.cs.st-andrews.ac. uk/~alexk/laguna.htm.
[11] J. F., Carlson, Periodic modules over modular group algebras, J. London Math. Soc. (2) 15 (1977), no. 3, 431–436.Google Scholar
[12] D. B., Coleman, On the modular group ring of a p-group, Proc. Amer. Math. Soc. 15 (1964), 511–514.Google Scholar
[13] G., Cooperman. ParGAP – Parallel GAP, Version 1.1.2 ; 2004, http://www.ccs.neu.edu/home/gene/pargap.html.
[14] W. E., Deskins, Finite Abelian groups with isomorphic group algebras, Duke Math. J. 23 (1956), 35–40.Google Scholar
[15] E. M., Dieckmann, Isomorphism of group algebras of p-groups, PhD thesis, Washington University, St. Louis, Missouri, 1967.
[16] V., Drensky, The isomorphism problem for modular group algebras of groups with large centres, in Representation theory, group rings, and coding theory, Contemp. Math. 93 (Amer. Math. Soc., Providence, RI 1989), 145–153.Google Scholar
[17] B., Eick, Computing automorphism groups and testing isomorphisms for modular group algebras, J. Algebra 320 (2008), 3895–3910.Google Scholar
[18] B., Eick, C. R., Leedham-Green and E. A., O'Brien, Constructing automorphism groups of p-groups, Comm. Alg. 30 (2002), 2271–2295.Google Scholar
[19] B., Eick, ModIsom – Computing automorphisms and checking isomorphisms for modular group algebras of finite p-groups, Version 1.0, 2009, http://www-public.tu-bs. de:8080/~beick/so.html.
[20] The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.4.12, 2008, http://www.gap-system.org.
[21] M., Hertweck and M., Soriano, On the modular isomorphism problem: groups of order 26, in Groups, rings and algebras, Contemp. Math. 420 (Amer. Math. Soc., Providence, RI 2006), 177–213.Google Scholar
[22] D. F., Holt, B., Eick and E. A., O'Brien, Handbook of computational group theory (CRC Press, 2005).Google Scholar
[23] A., Konovalov and A., Krivokhata, On the isomorphism problem for unit groups of modular group algebras, Acta Sci. Math. (Szeged) 73 (2007), no. 1–2, 53–59.Google Scholar
[24] A., Konovalov and S., Linton, SCSCP – Symbolic Computation Software Composability Protocol, Version 1.1, 2009, http://www.cs.st-andrews.ac.uk/~alexk/scscp.htm.
[25] B., Külshammer, Bemerkungen über die Gruppenalgebra als symmetrische Algebra. II, J. Algebra 75 (1982), no. 1, 59–69.Google Scholar
[26] A., Makasikis, Sur l'isomorphie d'algèbres de groupes sur un champ modulaire, Bull. Soc. Math. Belg. 28 (1976), no. 2, 91–109.Google Scholar
[27] G. O., Michler, M. F., Newman and E. A., O'Brien, Modular group algebras. Unpublished report, Australian National Univ., Canberra 1987.
[28] I. B. S., Passi and S. K., Sehgal, Isomorphism of modular group algebras, Math. Z. 129 (1972), 65–73.Google Scholar
[29] D. S., Passman, The group algebras of groups of order p4 over a modular field, Michigan Math. J. 12 (1965), 405–415.Google Scholar
[30] D., Quillen, The spectrum of an equivariant cohomology ring: I, Ann. of Math. (2) 94 (1971), 549–572.Google Scholar
[31] J., Ritter and S., Sehgal, Isomorphism of group rings, Arch. Math. (Basel) 40 (1983), no. 1, 32–39.Google Scholar
[32] M. A. M., Salim and R., Sandling, The modular group algebra problem for groups of order p5, J. Austral. Math. Soc. Ser. A 61 (1996), no. 2, 229–237.Google Scholar
[33] M. A. M., Salim and R., Sandling, The modular group algebra problem for small p-groups of maximal class, Canad. J. Math. 48 (1996), no. 5, 1064–1078.Google Scholar
[34] R., Sandling, The isomorphism problem for group rings: a survey, in Orders and their applications (Oberwolfach, 1984) Lecture Notes in Math. 1142 (Springer, Berlin 1985), 256–288.Google Scholar
[35] R., Sandling, The modular group algebra of a central-elementary-by-abelian p-group, Arch. Math. (Basel) 52 (1989), no. 1, 22–27.Google Scholar
[36] R., Sandling, The modular group algebra problem for metacyclic p-groups, Proc. Amer. Math. Soc. 124 (1996), no. 5, 1347–1350.Google Scholar
[37] R., Schwingel, Two matrix group algorithms with applications to computing the automorphism group of a finite p-group, PhD Thesis, Queen Mary, University of London.
[38] S. K., Sehgal, On the isomorphism of group algebras, Math. Z. 95 (1967), 71–75.Google Scholar
[39] S. K., Sehgal, Topics in group rings (Dekker, New York 1978).Google Scholar
[40] H. N., Ward, Some results on the group algebra of a p-group over a prime field, Seminar on Finite Groups and Related Topics, Mimeographed notes, Harvard Univ., 13–19.
[41] M., Wursthorn, Die modularen Gruppenringe der Gruppen der Ordnung 26, Diplomarbeit, Universität Stuttgart, 1990.
[42] M., Wursthorn, Isomorphisms of modular group algebras: an algorithm and its application to groups of order 26, J. Symbolic Comput. 15 (1993), no. 2, 211–227.Google Scholar

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×