The Subgroup Isomorphism Problem for Integral Group Rings asks for which finite groups U it is true that if U is isomorphic to a subgroup of , the group of normalized units of the integral group ring of the finite group G, it must be isomorphic to a subgroup of G. The smallest groups known not to satisfy this property are the counterexamples to the Isomorphism Problem constructed by M. Hertweck. However, the only groups known to satisfy it are cyclic groups of prime power order and elementary-abelian p-groups of rank 2. We give a positive solution to the Subgroup Isomorphism Problem for . Moreover, we prove that if the Sylow 2-subgroup of G is a dihedral group, any 2-subgroup of is isomorphic to a subgroup of G.
The first to study the unit group of an integral group ring of a finite group G was G. Higman in his PhD thesis . There, in Section 5, he states it to be “plausible” that any finite subgroup of units U is isomorphic to a group of trivial units, i.e. units of the form with . See  for details on the thesis. Denote by the normalized units of , i.e. the units whose coefficients sum up to 1. In view of the fact that are all the units of it is enough to study normalized units.
After Higman’s question remained open for quite a long time, a negative answer to it was given by M. Hertweck’s counterexample to the isomorphism problem : There are finite groups G and H such that is isomorphic to , but G and H are not isomorphic. In particular, contains a subgroup isomorphic to H, but G does not, and thus provides a counterexample to the question of Higman. However Hertweck’s counterexample is a rather complicated group of or order and derived length 4 and leaves Higman’s question totally open for smaller and/or “easier” groups. This leads to the following question.
For which finite groups U does the following statement hold: If contains a subgroup isomorphic to U for some finite group G, then G contains a subgroup isomorphic to U?
Not explicitly studied, this was only known to hold for cyclic groups of prime power order, following from a result of Cohn and Livingstone that the exponents of G and coincide [9, Corollary 4.1]. Z. Marciniak raised the question for the Klein four group at an ICM Satellite Conference in 2006 and W. Kimmerle immediately gave a positive answer , followed by a positive answer for elementary abelian p-groups of rank 2 for odd primes p by M. Hertweck . Since then no further progress has been made on the question. The name “Subgroup Isomorphism Problem” was coined by W. Kimmerle in several talks and is also recorded in . The problem appeared for the first time in the literature in [24, Problem 19]. Denote by the cyclic group of order n. The purpose of this article is the proof of the following result:
Let G be a finite group. If contains a subgroup isomorphic to , then so does G, i.e. the Subgroup Isomorphism Problem has a positive solution for .
Doing just a little more we obtain also the following results, being of independent interest. The investigation of the following Theorem was proposed in [18, Comment before Example 7].
Let G be a finite group possessing a dihedral Sylow 2-subgroup. Then any 2-subgroup of is isomorphic to a subgroup of G.
Let G be a finite group whose Sylow 2-subgroup has at most order 8 and assume moreover that G is not isomorphic to the alternating group of degree 7. Then any 2-subgroup U of is rationally conjugate to a subgroup of G, i.e. there exists a unit x in the rational group algebra and a subgroup P of G such that .
The following lemma from elementary group theory is the key observation to allow the proof of Theorem 1.
Let P be a finite 2-group such that P contains no subgroup isomorphic to . Then P is one of the following: Elementary-abelian, cyclic, a generalized quaternion group, a dihedral group or a semidihedral group.
Note that semidihedral groups are called “quasidihedral” groups by many authors. A presentation of a semidihedral group of order is given by
For definitions of all groups mentioned in the lemma see [27, Section 5.3].
If P is abelian, the statement is clear and if P is not abelian and contains only one involution, P is a quaternion group [27, 5.3.7]. So assume P is not abelian and contains at least two involutions. Since P then contains an element of order 4, say g, we have . Assume P possesses a non-cyclic abelian normal subgroup M, which must be elementary-abelian, and let a be an element of M which is not central in P. Then is also normal, elementary-abelian and contains . If the order of N is 4, we have and P is a dihedral or semidihedral group by [27, 5.3.10]. So assume and let b be an element of N which is not central in P such that ab is also not central in P. Since commutes with g, we have and in the same way . But then , contradicting the existence of N and M. Hence there is no non-cyclic abelian normal subgroup in P and P is dihedral or semidihedral by [27, 5.3.9]. ∎
Today an important open question concerning torsion units in is the Zassenhaus Conjecture. It states that for every finite group G and every torsion unit there exist a unit x in the rational group algebra and an element such that . In this case one says that u and g are rationally conjugate. The main notion to study torsion subgroups of are the so-called partial augmentations. For a conjugacy class in G and an element in the sum
is called the partial augmentation of u with respect to x. The connection between partial augmentations and the Zassenhaus Conjecture is established by [29, Theorem 2.5]: A torsion unit of order n is rationally conjugate to an element of G if and only if for all and divisors d of n. If u is a torsion unit and x is an element of G of order not dividing the order of u, then (see [17, Theorem 2.3]). Moreover, for every central element z of G, unless by the Berman–Higman Theorem [23, Proposition 1.5.1]. These facts will be used in the rest of the paper without further mention.
A method to study the torsion units in integral group rings was introduced in  for ordinary characters and later generalized in  for Brauer characters and has, in recent years, became well known as the HeLP-method. Though developed to study finite cyclic subgroups of its idea does also work for non-cyclic groups and has been applied for ordinary characters a few times (namely in , ,  and ). Since for non-cyclic groups Brauer characters have not been used so far, the following lemma seems necessary. Note that for a prime p and a p-Brauer character φ of a finite group G with corresponding representation D we can extend the domain of φ to the torsion units of of order prime to p by linearly extending D to , see [17, Section 3].
Let G be a finite group, U a finite subgroup of of order n and p a prime not dividing n. Let χ be the extension of a p-Brauer character of G to the p-regular elements of and let ψ be an ordinary character of U.
[17, Theorem 3.2] For every we have
is a non-negative integer.
Since p does not divide n, there is an ordinary character of U such that for every by [11, Corollary 18.11]. So
equals the scalar product of two ordinary characters and thus it is a non-negative integer. ∎
Proposition 3 ([26, Theorem 4.1, Proposition 4.8])
Let G be a finite group whose Sylow 2-subgroup is either abelian or a (generalized) quaternion group. Then any 2-subgroup of is isomorphic to a subgroup of G.
Groups possessing dihedral or semidihedral Sylow 2-subgroups were classified in a series of articles  (see also  for an alternative proof) and . These will be the basis for the rest of the proofs. We will denote by the biggest normal subgroup of odd order of a group G. The following Lemma follows from [12, Lemma 2.1, Theorem 2.2].
Let G be a finite group, N a normal subgroup of G and U a finite subgroup of such that the orders of N and U are coprime. Then U is rationally conjugate to a subgroup of G if and only if the image of U in is rationally conjugate a subgroup of . Moreover, possesses a subgroup isomorphic to U.
In the proofs of the main results we will need a lot of information about finite classical groups. We are not going to cite the original literature here of Dickson, Schur, Dieudonné, Brauer, just to mention a few, but literature which is more accessible and easier to understand nowadays. We will also mostly avoid the use of any character tables accessible in the literature, using natural representations of the groups involved instead.
3 Proof of main results
The first lemma concerns a big class of the groups involved in the results.
Let G be a subgroup of containing or as a normal subgroup of odd index, where q is an odd prime power. Then units of order 2 and 4 in are rationally conjugate to elements of G. In particular, squares of units of order 4 from are rationally conjugate to involutions in .
The following facts are given in [14, Lemma 3.1]. The Sylow 2-subgroup of G is a dihedral group or an elementary abelian-group of rank 2. The group possesses exactly one conjugacy class of involutions, say , while the group possesses exactly two conjugacy classes of involutions, the one not lying in will be called . If is not a normal subgroup of G, the conjugacy class can be ignored in the following computations. If G possesses no elements of order 4, then is not a subgroup of G and there exists exactly one conjugacy class of involutions in G. Since for of order 2 and of order different from 2 we have , this immediately yields the desired result. So assume that G contains elements of order 4 and denote by the conjugacy class of these elements. There is exactly one such class, since this is the case in a dihedral group. The class may lie in or outside of it and these two cases will be partly separated in the following computations.
If is a subgroup of G, then has a Sylow 2-subgroup of order 2. Hence it possesses a normal 2-complement by [27, 7.2.2]. Thus the group G maps onto a cyclic group of order 2 such that is in the kernel of this map and elements of outside of are not. Hence the group G possesses a 1-dimensional representation mapping to 1 and elements of outside of to -1. The character corresponding to this representation will be called χ. If is not a subgroup of G, the character χ can be ignored.
Moreover, acts via conjugation on the -matrices over with trace 0. The kernel of this action is exactly the centre of , thus inducing a 3-dimensional representation of . The character corresponding to the induced representation on G and its twist with χ will be called and . Note that these characters take only integral values on the classes we are interested in. Let N be the normal subgroup of G which is or such that is odd. The characters described above take the values given in Table 1 and Table 2 on the classes of interest.
Let be of order 2. We have . Moreover, from χ we obtain
Thus , proving the claim for units of order 2.
Now let be of order 4. Note that since is integral, and thus meaning that is rationally conjugate to elements in . We have
Let D be a representation corresponding to or . Since the eigenvalues of , with multiplicities, are times -1 and m times 1. Thus of the eigenvalues of are i or , where i denotes a primitive 4th root of unity in . But since and do only take real values, m eigenvalues of must be i and m must be . In particular, we have and .
Assume firstly that is lies in . Then using χ we obtain
Subtracting (3.1) this gives . Using and we obtain
Now assume is not in . Doing analogous computations to the above χ gives , while and give and respectively. By [9, Theorem 4.1] however and thus we have proving that units of order 4 are rationally conjugate to elements of G. ∎
We are now ready to prove the main results.
Proof of Theorem 2.
G is a subgroup of containing or as a normal subgroup of odd index m. Here q denotes an odd prime power.
G is the alternating group of degree 7.
G is a 2-group.
In case (iii) the result follows from [32, Theorem 1] and case (ii) has been handled in [18, Example 7]. So (i) is the only remaining case and we are exactly in the situation of Lemma 1. We may moreover assume that G contains elements of order 4, since otherwise the result follows from Proposition 3. We will frequently use Lemma 1 and the characters from Tables 1 and 2.
Assume contains a subgroup U isomorphic to . Note that U contains three involutions and four elements of order 4 and takes the value on involutions of U while taking the value m on all elements of order 4 in U. Let be the trivial character of U. Then by Lemma 2
is a non-negative integer, contradicting the existence of U since m is odd.
Now in view of Lemma 1 and the fact that the exponents of G and coincide, it only remains to show that there are no elementary-abelian groups of rank bigger than 2, quaternion or semidihedral groups in . Since every quaternion and semidihedral group contains a quaternion group of order 8, it will be enough to prove that does not contain neither a subgroup isomorphic to nor . Let U be an elementary-abelian group of rank 3. Then for every in U and by Lemma 2
is a non-negative integer, contradicting the existence of U.
Finally, let be a quaternion group of order 8. Note that U contains exactly one involution and six elements of order 4. Since the involution in U is a square of an element of order 4, it is rationally conjugate to elements in . We claim that is in . Indeed, otherwise
contradicting Lemma 2. So assume that lies in . Note that since the 2-Sylow subgroup of is dihedral and , this is equivalent to . Any irreducible ordinary character of degree of may be extended to a character of by [33, Lemma 4.5], meaning it has the same values on the elements lying in . If is not a normal subgroup of G, this fact may just be ignored. In any case every ordinary irreducible character of degree of can be induced to a character η of G such that and . Since in every element is conjugate to its inverse, the extension of to is real-valued. Moreover, the Schur index of this extension is 1 by [15, Theorem 2 (a)] and hence it is affordable by a real representation and then so is η.
We will apply the same arguments as in the last paragraph of the proof of [19, Theorem 2.1]. Let such that . The ordinary character table of was first computed independently by Schur and Jordan and is also given in [19, Table 1]. Let be an irreducible ordinary character of of degree such that and . Let η be the character of G obtained from the way described in the preceding paragraph. Then , and . Let λ be the 2-dimensional irreducible character of U, so λ takes the value -2 on the involution in U and the value 0 on elements of order 4. Taking the scalar product of η and λ with respect to U we obtain
Since , the number is even, thus is odd. By the preceding paragraph η is affordable by a real representation. Linearly extending this representation we obtain a real representation of U with character . Since the Frobenius–Schur indicator of λ is -1, it is not affordable by a real representation [22, Chapter XI, Theorem 8.3]. So by [22, Chapter XI, Theorem 8.9] the integer must be even, a contradiction. Thus does not contain a quaternion group of order 8 and this finishes the proof of the theorem. ∎
Proof of Proposition 3.
By [26, Proposition 4.7] we may assume that the Sylow 2-subgroup of G is not abelian, thus it is a dihedral or quaternion group of order 8. First assume that the Sylow 2-subgroup is dihedral. By Lemma 4 we may assume that and so again by [6, Theorem of Gorenstein and Walter] one of the three cases given in the beginning of the proof of Theorem 2 may be assumed. If G is a 2-group, the result is well known and follows also from [32, Theorem 1]. Since by assumption G is not isomorphic to an alternating group of degree 7, it is a subgroup of containing or as a normal subgroup of odd index with some odd prime power q. Let U be a 2-subgroup of . Then U is isomorphic to a subgroup of G by Theorem 2. Let the conjugacy classes of elements of order 2 and 4 be named as in the proof of Lemma 1. If is not a subgroup of G, Lemma 1 implies that any isomorphism between U and a subgroup S of G preserves values of all ordinary irreducible characters of G and then U and S are rationally conjugate by [31, Lemma 4].
So assume that is a subgroup of G. Note that in this case elements of order 4 in G do not lie in since otherwise the Sylow 2-subgroup of G would have more then eight elements. We thus may assume that G has characters as given in Table 2. If U is cyclic, then it is rationally conjugate to a subgroup of G by Lemma 1. If U is elementary-abelian of rank 2, either all elements of U are rationally conjugate to elements in or exactly two elements are rationally conjugate to elements of , since otherwise is not a non-negative integer, contradicting Lemma 2. Thus U is rationally conjugate to a subgroup of G by [31, Lemma 4], since in both cases we can find a subgroup S of G and an isomorphism between U and S preserving values on all ordinary characters of G.
So finally assume that U is isomorphic to a dihedral group of order 8. The central involution of U is rationally conjugate to elements in by Lemma 1 since it is a square of an unit of order 4. Since is an integer, one of the non-central involutions in U is rationally conjugate to elements of and the character values of χ then determine for every involution in U, whether it is rationally conjugate to an element of or . This allows again to construct an isomorphism between U and a Sylow 2-subgroup of G preserving character values and thus U is rationally conjugate to Sylow 2-subgroups of G by [31, Lemma 4].
It remains to consider the case where the Sylow 2-subgroup of G is a quaternion group of order 8. By [26, Proposition 4.5] it is enough to show that units of order 2 and 4 are rationally conjugate to elements of G. By the famous theorem of Brauer and Suzuki , G contains a central involution, say g, and by the Berman–Higman Theorem, g is the only involution in . So assume has order 4. Then by the Berman–Higman Theorem. If G contains only one conjugacy class of elements of order 4, this implies that u is rationally conjugate to an element of G. So assume that G has more then one conjugacy class of elements of order 4 and that u is not rationally conjugate to an element of G. Different conjugacy classes of elements of order 4 in G map to different conjugacy classes of involutions in . Thus, if u has non-trivial partial augmentations, the image of u in is an involution with non-trivial partial augmentations. Such an involution does not exist by [3, Proposition 3.4] and hence u is rationally conjugate to an element of G and the proposition is proved. ∎
As already remarked in [18, Example 7] it is not known whether units of order 4 in are rationally conjugate to elements of the group base. If one could prove that this is the case, then the exception of from Proposition 3 would not be necessary.
Proof of Theorem 1.
Let G be a group not containing a subgroup isomorphic to such that contains a subgroup . By Lemma 1 we may assume that the Sylow 2-subgroup P of G is abelian, (generalized) quaternion, dihedral or semidihedral. By Proposition 3 and Theorem 2 only the case where P is semidihedral remains and by Lemma 4 we may assume . The groups of interest are classified in , but are not given in a single theorem there. By [2, Chapter II, Section 1, Proposition 1] four different cases may appear. These cases get their names in [2, Chapter II, Section 2, Definition 1]. So G is one of the following:
A QD-group. G possesses exactly one conjugacy class of involutions and one conjugacy class of elements of order 4.
A Q-group. G possesses exactly two conjugacy classes of involutions and one conjugacy class of elements of order 4.
A D-group. G possesses exactly one conjugacy class of involutions and two conjugacy classes of elements of order 4.
In case (iv) [32, Theorem 1] gives the result, so we have to consider the first three cases.
Case (i): G is a QD-group. Denote by the conjugacy class of involutions in G and by the class of elements of order 4.
By [2, Chapter II, Section 2, Proposition 2], G possesses a simple normal subgroup N of odd index m and by [2, Third Main Theorem] the normal subgroup N is either with or with , for some prime power q, or the Mathieu group . Note that is actually defined over , the field with elements. The groups and act on the homogeneous polynomials of degree 3 in three commuting variables over the field and respectively. See e.g. [1, pp. 14–16] for a discussion of the analogous action of . The centres of the groups are in the kernel of the action and thus this action supplies a 10-dimensional representation of and respectively. Let be the character of this representation. Elements of and projecting to elements in the classes and in G are given by
where the Gram matrix of the underlying unitary form is taken to be the identity matrix. I.e. we understand to be those matrices of having determinant 1 and leaving the unitary form
invariant. Here σ denotes the automorphism of of order 2.
The eigenspace of A for the eigenvalue 1 is spanned by while the eigenspace for the eigenvalue -1 is spanned by . Denote by i a primitive 4th root of unity in . The eigenspaces of B are spanned by:
for the eigenvalue i by ,
for the eigenvalue by ,
for the eigenvalue -1 by ,
for the eigenvalue 1 by .
Unlike in Lemma 1 it is not possible to show using only the HeLP-method that units of order 4 in are rationally conjugate to elements of G. This may be checked e.g. using a GAP-package implementing the method . See also  concerning . Let be of order 4. If D is a representation affording χ, then is integral and the eigenvalues of are 4th roots of unity and thus . Recall that is the group we want to study. There are three involutions in U taking the value for χ. Moreover, the elements of order 4 in U are and for them we have and . So by Lemma 2
is a non-negative integer. Note that since , we have and . As by [9, Theorem 4.1], this implies . Thus , implying , a contradiction.
Case (ii): G is a Q-group. Denote by and the conjugacy classes of involutions in G and by the class of elements of order 4.
By [2, Chapter II, Section 3, Proposition 2], G possesses a normal subgroup isomorphic to for some odd prime power q and hence by [2, Chapter II, Section 3, Proposition 3], G possesses a normal subgroup N isomorphic to a group denoted by Alperin, Brauer and Gorenstein as or and is odd. The groups appearing for N are defined in [2, p. 17, above Lemma 1]. The only relevant fact for us will be that these are subgroups of and respectively and that they contain all matrices of these groups having determinant 1 or -1. Representatives of the conjugacy classes of interest in N are given by , and where again the Gram matrix of the underlying unitary form is taken to be the identity matrix. Inducing the character of N given by the determinant map to a character of G turns out to be already enough. The values of this character χ are given in Table 4.
Elements of order 2 and 4 in are rationally conjugate to elements of G. Hence if is of order 4, then is rationally conjugate to elements in .
Let first be of order 2. If u is not in , then by the Berman-Higman Theorem, since consists of a single element which is central in G. Thus u is rationally conjugate to an element of in this case. If u is of order 4, again . So from and the inequalities
coming from χ together with the fact that (see [9, Theorem 4.1]) we conclude .
Now let again be a subgroup of . As is a square of an element of order 4, it must be the element of by the above claim. The other involutions in U must thus be rational conjugates of elements in since the element of , being central, has no conjugates. Then
is a non-negative integer by Lemma 2, a contradiction.
Case (iii): G is a D-group. Denote by the conjugacy class of involutions in G and by and the classes of elements of order 4.
By [2, Chapter II, Section 3, Proposition 4] we may assume that G is a , defined in [2, p. 20, before Lemma 5], or or it is a subgroup of , for some prime power q, and contains one of the groups , or as a normal subgroup N such that and q are both odd. In case G is a its Sylow 2-subgroup is not a semidihedral group by [2, Chapter II, Section 2, Lemma 5]. In case G is or N is or , the Sylow 2-subgroup is also not semidihedral by [2, Chapter II, Section 2, Lemma 3]. So only the case remains, this group is defined in [2, p. 20, above Lemma 4], and we are going to describe it now.
The group is a non-split extension of of degree 2 and does only exist, if q is a square, say . The groups are Zassenhaus groups and were introduced, to my knowledge, in  where they are denoted by . They are also discussed in [22, Chapter XI, Example 1.3 c)]. Let σ be the unique automorphism of of order 2. So in particular, the elements of are fixed by σ. By acting entrywise on the automorphism σ induces an automorphism, also called σ, of and after projection an automorphism of . Denote by the natural homomorphism from to . Then via conjugation every induces an automorphism of . We understand to be its own group of inner automorphisms. Let α be an element of maximal 2-power order in and i a primitive 4th root of unity in . Set
Note that , if , and , if . Then is an automorphism of order 4 of such that is an inner automorphism of . We set , understanding it as a subgroup of the automorphism group of . The concrete choice of g is inspired by the proof of [13, Lemma 2.3] where the structure of the Sylow 2-subgroup of is analysed.
Since has a Sylow 2-subgroup of order 2, it contains a normal 2-complement by [27, 7.2.2]. Thus G maps onto a cyclic group of order 2 and is in the kernel of this map while elements of outside of are not. Hence G has a 1-dimensional representation containing in its kernel and mapping elements of N outside of to -1. Call the corresponding character χ. Moreover, acts via conjugation on the -matrices over having trace 0 giving a 3-dimensional representation of . This then induces a -dimensional representation of G. Call the corresponding character ψ.
Furthermore acts on the 4-dimensional -vector space
by for and , where denotes the transpose of a matrix X. The kernel of this operation is . Since the centre of is contained in this kernel, we obtain a 4-dimensional -representation of which we want to extend to a representation of N. Also σ acts on by entry-wise application. Let be an arbitrary element of . In case the element , as an element of the semilinearities , has order 4 and the action of on has trivial kernel. Thus setting
extends the action of to an action of N providing a 4-dimensional -representation of N. In case the order of the semilinearity is twice the order of α while the order of is 4. We have
so . Hence viewing a basis of as a basis of the 4-dimensional -vector space and setting
we obtain a 4-dimensional -representation of N. Let η be the character corresponding to the induced representation of G. Computing the eigenvalues of these actions one obtains the character values given in Table 5.
Elements of order 2 and 4 in are rationally conjugate to elements of G. Hence especially an element of order 4 is rationally conjugate to its inverse.
This is clear for elements of order 2, so let be of order 4. From χ we obtain the equation
and adding onto this gives . Since is rationally conjugate to an element in under a representation affording η, the unit has times the eigenvalue 1 and times the eigenvalue -1. This implies
and thus . Under a representation affording ψ the involution has times the eigenvalue -1 and times the eigenvalue 1. Thus
Together with the fact that and by [9, Theorem 4.1] these equations prove the claim. The fact that u is rationally conjugate to its inverse follows from the character values of χ.
So let . Then by Lemma 2
is a non-negative integer. Since , this implies and thus t and st are rationally conjugate. Now
is also a non-negative integer. Since η vanishes on the conjugacy classes and , we obtain that . So meaning that has to be an integer. This contradicts the existence of U and finalizes the proof of the theorem. ∎
Funding source: DFG
Award Identifier / Grant number: Sonderforschungsbereich 701
I am thankful to Markus Stroppel for many interesting conversations about actions of classical groups. I am moreover thankful to the referee for his corrections and suggestions improving the readability of the paper.
 Alperin J. L., Local Representation Theory. Modular Representations as an Introduction to the Local Representation Theory of Finite Groups, Cambridge Stud. Adv. Math. 11, Cambridge University Press, Cambridge, 1986. Search in Google Scholar
 Alperin J. L., Brauer R. and Gorenstein D., Finite groups with quasi-dihedral and wreathed Sylow 2-subgroups, Trans. Amer. Math. Soc. 151 (1970), 1–261. Search in Google Scholar
 Bächle A. and Kimmerle W., On torsion subgroups in integral group rings of finite groups, J. Algebra 326 (2011), 34–46. Search in Google Scholar
 Bächle A. and Margolis L., HeLP – A GAP-package for torsion units in integral group rings, preprint 2015, http://arxiv.org/abs/1507.08174. Search in Google Scholar
 Bächle A. and Margolis L., Torsion subgroups in the units of the integral group ring of , Arch. Math. (Basel) 105 (2015), 1–11. Search in Google Scholar
 Bender H., Finite groups with dihedral Sylow 2-subgroups, J. Algebra 70 (1981), 216–228. Search in Google Scholar
 Bovdi V. and Konovalov A., Integral group ring of the first Mathieu simple group, Groups St. Andrews 2005. Vol. 1 (St. Andrews 2005), London Math. Soc. Lecture Note Ser. 339, Cambridge University Press, Cambridge (2007), 237–245. Search in Google Scholar
 Brauer R. and Suzuki M., On finite groups of even order whose 2-Sylow group is a quaternion group, Proc. Natl. Acad. Sci. USA 45 (1959), 1757–1759. Search in Google Scholar
 Cohn J. A. and Livingstone D., On the structure of group algebras I, Canad. J. Math. 17 (1965), 583–593. Search in Google Scholar
 Conway J. H., Curtis R. T., Norton S. P., Parker R. A. and Wilson R. A., Atlas of Finite Groups. Maximal Subgroups and Ordinary Characters for Simple Groups, Clarendon Press, Oxford, 1985. Search in Google Scholar
 Curtis C. W. and Reiner I., Methods of Representation Theory with Applications to Finite Groups and Orders. Volume 1, John Wiley & Sons, New York, 1990. Search in Google Scholar
 Dokuchaev M. A. and Juriaans S. O., Finite subgroups in integral group rings, Canad. J. Math. 48 (1996), 1170–1179. Search in Google Scholar
 Gorenstein D., Finite groups the centralizers of whose involutions have normal 2-complements, Canad. J. Math. 21 (1969), 335–357. Search in Google Scholar
 Gorenstein D. and Walter J. H., The characterization of finite groups with dihedral Sylow 2-subgroups. I, J. Algebra 2 (1965), 85–151. Search in Google Scholar
 Gow R., Schur indices of some groups of Lie type, J. Algebra 42 (1976), 102–120. Search in Google Scholar
 Hertweck M., A counterexample to the isomorphism problem for integral group rings, Ann. of Math. (2) 154 (2001), 115–138. Search in Google Scholar
 Hertweck M., Partial augmentations and Brauer character values of torsion units in group rings, preprint 2007, http://arxiv.org/abs/math/0612429v2. Search in Google Scholar
 Hertweck M., Unit groups of integral finite group rings with no noncyclic Abelian finite p-subgroups, Comm. Algebra 36 (2008), 3224–3229. Search in Google Scholar
 Hertweck M., Höfert C. R. and Kimmerle W., Finite groups of units and their composition factors in the integral group rings of the group , J. Group Theory 12 (2009), 873–882. Search in Google Scholar
 Higman G., Units in group rings, Ph.D. thesis, Oxford University, Oxford, 1940. Search in Google Scholar
 Höfert C. R., Bestimmung von Kompositionsfaktoren endlicher Gruppen aus Burnsideringen und ganzzahligen Gruppenringen, Ph.D. thesis, Universität Stuttgart, Stuttgart, 2008. Search in Google Scholar
 Huppert B. and Blackburn N., Finite Groups. III, Grundlehren Math. Wiss. 243, Springer, Berlin, 1982. Search in Google Scholar
 Jespers E. and del Río Á., Group Ring Groups. Volume 1: Orders and Generic Constructions of Units, De Gruyter, Berlin, 2016. Search in Google Scholar
 Jespers E., Marciniak Z., Nebe G. and Kimmerle W., Mini-Workshop: Arithmetic of group rings, Oberwolfach Rep. 4 (2007), no. 4, 3209–3239. Search in Google Scholar
 Kimmerle W., Torsion units in integral group rings of finite insoluble groups, Oberwolfach Rep. 4 (2007), 3229–3230. Search in Google Scholar
 Kimmerle W., Sylow like theorems for , Int. J. Group Theory 4 (2015), 49–59. Search in Google Scholar
 Kurzweil H. and Stellmacher B., The Theory of Finite Groups. An Introduction, Universitext, Springer, New York, 2004. Search in Google Scholar
 Luthar I. S. and Passi I. B. S., Zassenhaus conjecture for , Proc. Indian Acad. Sci. Math. Sci. 99 (1989), 1–5. Search in Google Scholar
 Marciniak Z., Ritter J., Sehgal S. K. and Weiss A., Torsion units in integral group rings of some metabelian groups II, J. Number Theory 25 (1987), 340–352. Search in Google Scholar
 Sandling R., Graham Higman’s thesis “Units in group rings”, Integral Representations and Applications (Oberwolfach 1980), Lecture Notes in Math. 882, Springer, Berlin (1981), 93–116. Search in Google Scholar
 Valenti A., Torsion units in integral group rings, Proc. Amer. Math. Soc. 120 (1994), 1–4. Search in Google Scholar
 Weiss A., Rigidity of p-adic p-torsion, Ann. of Math. (2) 127 (1988), 317–332. Search in Google Scholar
 White D. L., Character degrees of extensions of and , J. Group Theory 16 (2013), 1–33. Search in Google Scholar
 Zassenhaus H., Kennzeichnung endlicher linearer Gruppen als Permutationsgruppen, Abh. Math. Semin. Univ. Hambg. 11 (1935), 17–40. Search in Google Scholar
© 2017 by De Gruyter