The isomorphism problem for integral group rings of finite nilpotent groups

A theorem of K. W. Roggenkamp and L. L. Scott shows that for a finite group G with a normal p-subgroup containing its own centralizer, any two group bases of the integral group ring ZG are conjugate in the units of ZpG. Though the theorem presents itself in the work of others and appears to be needed, there is no published account. There seems to be a flaw in the proof, because a ‘theorem’ appearing in the survey [K. W. Roggenkamp, ‘The isomorphism problem for integral group rings of finite groups’, Progress in Mathematics 95 (Birkhäuser, Basel, 1991), pp. 193--220], where the main ingredients of a proof are given, is false. In this paper, it is shown how to close this gap, at least if one is only interested in the conclusion mentioned above. Therefore, some consequences of the results of A. Weiss on permutation modules are stated. The basic steps of which any proof should consist are discussed in some detail. In doing so, a complete, yet short, proof of the theorem is given in the case that G has a normal Sylow p-subgroup. 2000 Mathematical Subject Classification: primary 16U60; secondary 20C05.

A ring is right finite dimensional if it contains no infinite direct sum of right ideals.We prove that if a group G is finite, free abelian, or finitely generated abelian, then a ring R is right finite dimensional if and only if the group ring RG is right finite dimensional.A ring R is a self-injective cogenerator ring if Rn is injective and RR is a cogenerator in the category of unital right /{-modules; this means that each right unital -module can be embedded in a direct product of copies of R. Let G be a finite group where the order of G is a unit in R. Then the group ring RG is a selfinjective cogenerator ring if and only if R is a self-injective cogenerator ring.Additional applications are given.

In this article, it is shown that the normalizer property holds for the following two kinds of finite nilpotent-by-nilpotent groups: (1) G = NwrH is the standard wreath product of N by H, where N is a finite nilpotent group and H is a finite abelian 2-group; (2) G is a finite group having a normal nilpotent subgroup N such that the integral group ring ℤ(G/N) has only trivial units. Our results generalize a result of Yuanlin Li and extend some ones obtained by Juriaans, Miranda, and Robério.

missing in Library copy.Introduction In recent years we have seen an increase in the number of group cohomology calculations. Starting with Leary’s work [L1] in the early nineties on the integral and mod-p cohomology rings of certain finite p-groups to more recent works on the cohomology of simple groups (see for example [AM1, AM2, AM3]), these calculations have not only expanded the collection of known cohomology rings but also introduced new techniques which have opened up a pathway for more work in this area. Despite these advances, group cohomology calculations remain generally difficult and much remains to be done towards obtaining amore coherent understanding of the cohomology of groups.In this thesis, we are mainly concerned with calculations of the cohomology rings of certain finite groups and the uses of some of these calculations in related topics. There are two main parts in this thesis with different techniques used in these parts.

Bera [Line graph characterization of power graphs of finite nilpotent groups, Comm. Algebra 50(11) (2022) 4652–4668] characterized finite nilpotent groups whose power graphs and proper power graphs are line graphs. In this paper, we extend the results of above-mentioned paper to arbitrary finite groups. Also, we correct the corresponding result of the proper power graphs of dihedral groups. Moreover, we classify all the finite groups whose enhanced power graphs are line graphs. We classify all the finite nilpotent groups (except non-abelian [Formula: see text]-groups) whose proper enhanced power graphs are line graphs of some graphs. Finally, we determine all the finite groups whose (proper) power graphs and (proper) enhanced power graphs are the complement of line graphs, respectively.

Fixed point rings of finite automorphism groups of hereditary finitely generated P.I. algebras

The profile of a relational structure $R$ is the function $\phi_R$ which counts for every integer $n$ the number $\phi_R(n)$, possibly infinite, of substructures of $R$ induced on the $n$-element subsets, isomorphic substructures being identified. If $\phi_R$ takes only finite values, this is the Hilbert function of a graded algebra associated with $R$, the age algebra $KA(R)$, introduced by P. J. Cameron. In this paper we give a closer look at this association, particularly when the relational structure $R$ admits a finite monomorphic decomposition. This setting still encompass well-studied graded commutative algebras like invariant rings of finite permutation groups, or the rings of quasi-symmetric polynomials. We prove that $\phi_R$ is eventually a quasi-polynomial, this supporting the conjecture that, under mild assumptions on $R$, $\phi_R$ is eventually a quasi-polynomial when it is bounded by some polynomial.

Nilpotent decomposition in integral group rings

Every module over an Iwanaga–Gorenstein ring has a Gorenstein flat cover [13] (however, only a few nontrivial examples are known). Integral group rings over polycyclic-by-finite groups are Iwanaga–Gorenstein [10] and so their modules have such covers. In particular, modules over integral group rings of finite groups have these covers. In this article we initiate a study of these covers over these group rings. To do so we study the so-called Gorenstein cotorsion modules, i.e. the modules that split under Gorenstein flat modules. When the ring is ℤ, these are just the usual cotorsion modules. Harrison [16] gave a complete characterization of torsion free cotorsion ℤ-modules. We show that with appropriate modifications Harrison's results carry over to integral group rings ℤG when G is finite. So we classify the Gorenstein cotorsion modules which are also Gorenstein flat over these ℤG. Using these results we classify modules that can be the kernels of Gorenstein flat covers of integral group rings of finite groups. In so doing we necessarily give examples of such covers. We use the tools we develop to associate an integer invariant n with every finite group G and prime p. We show 1≤n≤|G : P| where P is a Sylow p-subgroup of G and gives some indication of the significance of this invariant. We also use the results of the paper to describe the co-Galois groups associated to the Gorenstein flat cover of a ℤG-module.

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

The enhanced power graph [Formula: see text] of a group [Formula: see text] is the graph with vertex set [Formula: see text] such that two vertices [Formula: see text] and [Formula: see text] are adjacent if they are contained in the same cyclic subgroup. We prove that finite groups with isomorphic enhanced power graphs have isomorphic directed power graphs. We show that any isomorphism between undirected power graph of finite groups is an isomorphism between enhanced power graphs of these groups, and we find all finite groups [Formula: see text] for which [Formula: see text] is abelian, all finite groups [Formula: see text] with [Formula: see text] being prime power, and all finite groups [Formula: see text] with [Formula: see text] being square-free. Also, we describe enhanced power graphs of finite abelian groups. Finally, we give a characterization of finite nilpotent groups whose enhanced power graphs are perfect, and we present a sufficient condition for a finite group to have weakly perfect enhanced power graph.

It is shown that in the units of augmentation one of an integral group ring ℤ G of a finite group G, a noncyclic subgroup of order p 2, for some odd prime p, exists only if such a subgroup exists in G. The corresponding statement for p = 2 holds by the Brauer–Suzuki theorem, as recently observed by Kimmerle.

A relation between algebraic degrees of eigenvalues of an element in the group ring Z G of a finite group G and their multiplicities is obtained. This result can be regarded as a theorem on asymptotic behavior of parameters in group rings of finite groups which is a parallel result of several well known theorems concerning the relationships of parameters in finite groups.

This paper studies the question, if $R$ is a ring satisfying a polynomial identity, what polynomial identities are satisfied by group rings and matrix rings over $R$? Theorem 2.6. If $R$ is an algebra over a field with at least $q$ elements, and $R$ satisfies ${x^q} = 0$, and $G$ is a group with an abelian subgroup of index $k$, then the group ring $R(G)$ satisfies ${x^t} = 0$, where $t = q{k^2} + 2$. Theorem 3.2. If $R$ is a ring satisfying a standard identity, and $G$ is a finite group, then $R(G)$ satisfies a standard identity. Theorem 3.4. If $R$ is an algebra over a field, and $R$ satisfies a standard identity, then the $k$-by-$k$ matrix ring ${R_k}$ satisfies a standard identity. Each theorem specifies the degree of the polynomial identity.

The mini workshop "Arithmetic of group rings" was attended by 16 participants from Belgium, Brazil, Canada, Germany, Hungary, Israel, Italy, Romania and Spain. The expertise was a good mixture between senior and young researchers. It was a very stimulating experience and thesize of the group allowed excellent discussions amongst all participants. Very fruitful were the problem sessions, resulting in the problems listed at the end of this report. The main highlights of the conference were: The complete calculation of the projective Schur subgroup of the Brauer group by Aljadeff and del Rio. Hertweck's solution of the first Zassenhaus conjecture for finite metacyclic groups. the description of special subgroups of the unit group of integral group rings, such as the hypercentre and the finite conjugacy centre, and the relation with respect to the normalizer of the trivial units. discussion of the present state of art via several survey talks presented and the problem sessions The group G determines its integral group ring \mathbb Z G and its group V(\mathbb Z G) of normalized units. Several talks addressed the interplay of the cohomological properties of these three objects. Further topics included twisted group rings, group rings over local rings, polynomial growth and identities, orders and semigroup rings, Lie structure, representation-theoretic and algorithmic methods.