Wreath products in modular group algebras of some finite 2-groups

Let $K$ be field of characteristic 2 and let $G$ be a finite non-abelian 2-group with the cyclic derived subgroup $G'$, and there exists a central element $z$ of order 2 in $Z(G) \backslash G'$. We prove that the unit group of the group algebra $KG$ possesses a section isomorphic to the wreath product of a group of order 2 with the derived subgroup of the group $G$, giving for such groups a positive answer to the question of A. Shalev.Comment: 3 page

Rewriting the check of 8-rewritability for A5A_5

The group $G$ is called $n$-rewritable for $n>1$, if for each sequence of $n$ elements $x_1, x_2, \dots, x_n \in G$ there exists a non-identity permutation $\sigma \in S_n$ such that $x_1 x_2 \cdots x_n = x_{\sigma(1)} x_{\sigma(2)} \cdots x_{\sigma(n)}$. Using computers, Blyth and Robinson (1990) verified that the alternating group $A_5$ is 8-rewritable. We report on an independent verification of this statement using the computational algebra system GAP, and compare the performance of our sequential and parallel code with the original one.Comment: 5 page

Wreath Products in the Unit Group of Modular Group Algebras of 2-groups of Maximal Class

We study the unit group of the modular group algebra KG, where G is a 2-group of maximal class. We prove that the unit group of KG possesses a section isomorphic to the wreath product of a group of order two with the commutator subgroup of the group G.Comment: 12 pages, LaTe

On the isomorphism problem for unit groups of modular group algebras

Using the computational algebra system GAP (http://www.gap-system.org) and the GAP package LAGUNA (http://www.cs.st-andrews.ac.uk/~alexk/laguna.htm), we checked that all 2-groups of order not greater than 32 are determined by normalized unit groups of their modular group algebras over the field of two elements.Comment: 6 pages, accepted in Acta Sci. Math. (Szeged

On 2-groups of almost maximal class

Let G be a 2-group of order 2^n, n>5, and nilpotency class n-2. The invariants of such groups determined by their group algebras over the field of two elements are given in the paper.Comment: 25 page

The modular isomorphism problem for finite pp-groups with a cyclic subgroup of index p2p^2

Let $p$ be a prime number, $G$ be a finite $p$-group and $K$ be a field of characteristic $p$. The Modular Isomorphism Problem (MIP) asks whether the group algebra $KG$ determines the group $G$. Dealing with MIP, we investigated a question whether the nilpotency class of a finite $p$-group is determined by its modular group algebra over the field of $p$ elements. We give a positive answer to this question provided one of the following conditions holds: (i) $\exp G=p$; (ii) \cl(G)=2; (iii) $G'$ is cyclic; (iv) $G$ is a group of maximal class and contains an abelian subgroup of index $p$.Comment: 8 page

Integral group ring of the first Mathieu simple group

We investigate the classical Zassenhaus conjecture for the normalized unit group of the integral group ring of the simple Mathieu group M11. As a consequence, for this group we confirm the conjecture by Kimmerle about prime graphs