Let ${\mathcal {A}}$ be a unital ${\mathbb {F}}$-algebra and let ${\mathcal {S}}$ be a generating set of ${\mathcal {A}}$. The length of ${\mathcal {S}}$ is the smallest number k such that ${\mathcal {A}}$ equals the ${\mathbb {F}}$-linear span of all products of length at most k of elements from ${\mathcal {S}}$. The length of ${\mathcal {A}}$, denoted by $l({\mathcal {A}})$, is defined to be the maximal length of its generating sets. We show that $l({\mathcal {A}})$ does not exceed the maximum of $\dim {\mathcal {A}} / 2$ and $m({\mathcal {A}})-1$, where $m({\mathcal {A}})$ is the largest degree of the minimal polynomial among all elements of the algebra ${\mathcal {A}}$. As an application, we show that for arbitrary odd n, the length of the group algebra of the dihedral group of order $2n$ equals n.

We prove new results concerning the additive Galois module structure of wildly ramified non-abelian extensions $K/\mathbb{Q}$ with Galois group isomorphic to $A_4$, $S_4$, $A_5$, and dihedral groups of order $2p^n$ for certain prime powers $p^n$. In particular, when $K/\mathbb{Q}$ is a Galois extension with Galois group $G$ isomorphic to $A_4$, $S_4$ or $A_5$, we give necessary and sufficient conditions for the ring of integers $\mathcal{O}_{K}$ to be free over its associated order in the rational group algebra $\mathbb{Q}[G]$.

We compute the trivial source character tables (also called species tables of the trivial source ring) of the infinite family of finite groups $\operatorname{SL}_{2}(q)$ for q even over a large enough field of odd characteristics. This article is a continuation of our article Trivial Source Character Tables of $\operatorname{SL}_{2}(q)$, where we considered, in particular, the case in which q is odd in non-defining characteristic.

Skew left braces arise naturally from the study of non-degenerate set-theoretic solutions of the Yang–Baxter equation. To understand the algebraic structure of skew left braces, a study of the decomposition into minimal substructures is relevant. We introduce chief series and prove a strengthened form of the Jordan–Hölder theorem for finite skew left braces. A characterization of right nilpotency and an application to multipermutation solutions are also given.

We present a sufficient condition for the $kG$-Scott module with vertex $P$ to remain indecomposable under the Brauer construction for any subgroup $Q$ of $P$ as $k[Q\,C_G(Q)]$-module, where $k$ is a field of characteristic $2$, and $P$ is a semidihedral $2$-subgroup of a finite group $G$. This generalizes results for the cases where $P$ is abelian or dihedral. The Brauer indecomposability is defined by R. Kessar, N. Kunugi and N. Mitsuhashi. The motivation of this paper is the fact that the Brauer indecomposability of a $p$-permutation bimodule (where $p$ is a prime) is one of the key steps in order to obtain a splendid stable equivalence of Morita type by making use of the gluing method due to Broué, Rickard, Linckelmann and Rouquier, that then can possibly be lifted to a splendid derived (splendid Morita) equivalence.

A long standing problem, which has its roots in low-dimensional homotopy theory, is to classify all finite groups G for which the integral group ring ℤG has stably free cancellation (SFC). We extend results of R. G. Swan by giving a condition for SFC and use this to show that ℤG has SFC provided at most one copy of the quaternions ℍ occurs in the Wedderburn decomposition of the real group ring ℝG. This generalises the Eichler condition in the case of integral group rings.

We present several results on the connectivity of McKay quivers of finite-dimensional complex representations of finite groups, with no restriction on the faithfulness or self-duality of the representations. We give examples of McKay quivers, as well as quivers that cannot arise as McKay quivers, and discuss a necessary and sufficient condition for two finite groups to share a connected McKay quiver.

Linckelmann and Murphy have classified the Morita equivalence classes of p-blocks of finite groups whose basic algebra has dimension at most $12$. We extend their classification to dimension $13$ and $14$. As predicted by Donovan’s conjecture, we obtain only finitely many such Morita equivalence classes.

We present a complete list of groups $G$ and fields $F$ for which: (i) the group of normalized units $V(FG)$ of the group algebra $FG$ is locally nilpotent; (ii) the set of nontrivial nilpotent elements of $FG$ is finite and nonempty, and $V(FG)$ is an Engel group.

Let F be a field of characteristic two and G a finite abelian 2-group with an involutory automorphism η. If G = H × D with non-trivial subgroups H and D of G such that η inverts the elements of H (H without a direct factor of order 2) and fixes D element-wise, then the linear extension of η to the group algebra FG is called a nice involution. This determines the groups of unitary and symmetric normalized units of FG. We calculate the orders and the invariants of these subgroups.

We examine situations, where representations of a finite-dimensional F-algebra A defined over a separable extension field K/F, have a unique minimal field of definition. Here the base field F is assumed to be a field of dimension ≼1. In particular, F could be a finite field or k(t) or k((t)), where k is algebraically closed. We show that a unique minimal field of definition exists if (a) K/F is an algebraic extension or (b) A is of finite representation type. Moreover, in these situations the minimal field of definition is a finite extension of F. This is not the case if A is of infinite representation type or F fails to be of dimension ≼1. As a consequence, we compute the essential dimension of the functor of representations of a finite group, generalizing a theorem of Karpenko, Pevtsova and the second author.

In this paper we study the behavior of the first Zassenhaus conjecture (ZC1) under direct products, as well as the General Bovdi Problem (Gen-BP), which turns out to be a slightly weaker variant of (ZC1). Among other things, we prove that (Gen-BP) holds for Sylow tower groups, and so in particular for the class of supersolvable groups.

(ZC1) is established for a direct product of Sylow-by-abelian groups provided the normal Sylow subgroups form together a Hall subgroup. We also show (ZC1) for certain direct products with one of the factors a Frobenius group.

We extend the classical HeLP method to group rings with coefficients from any ring of algebraic integers. This is used to study (ZC1) for the direct product $G\times A$, where $A$ is a finite abelian group and $G$ has order at most 95. For most of these groups we show that (ZC1) is valid and for all of them that (Gen-BP) holds. Moreover, we also prove that (Gen-BP) holds for the direct product of a Frobenius group with any finite abelian group.

A subgroup $H$ is called a weak second maximal subgroup of $G$ if $H$ is a maximal subgroup of a maximal subgroup of $G$. Let $m(G,H)$ denote the number of maximal subgroups of $G$ containing $H$. We prove that $m(G,H)-1$ divides the index of some maximal subgroup of $G$ when $H$ is a weak second maximal subgroup of $G$. This partially answers a question of Flavell [‘Overgroups of second maximal subgroups’, Arch. Math.64(4) (1995), 277–282] and extends a result of Pálfy and Pudlák [‘Congruence lattices of finite algebras and intervals in subgroup lattices of finite groups’, Algebra Universalis11(1) (1980), 22–27].

For a group G, a weak Cayley table isomorphism is a bijection f : G → G such that f(g1g2) is conjugate to f(g1)f(g2) for all g1, g2 ∈ G. The set of all weak Cayley table isomorphisms forms a group (G) that is the group of symmetries of the weak Cayley table of G. We determine (G) for each of the 17 wallpaper groups G, and for some other crystallographic groups.

Let $ZB$ be the center of a $p$-block $B$ of a finite group with defect group $D$. We show that the Loewy length $LL(ZB)$ of $ZB$ is bounded by $|D|/p+p-1$ provided $D$ is not cyclic. If $D$ is nonabelian, we prove the stronger bound $LL(ZB)<\min \{p^{d-1},4p^{d-2}\}$ where $|D|=p^{d}$. Conversely, we classify the blocks $B$ with $LL(ZB)\geqslant \min \{p^{d-1},4p^{d-2}\}$. This extends some results previously obtained by the present authors. Moreover, we characterize blocks with uniserial center.

We introduce a new method to study rational conjugacy of torsion units in integral group rings using integral and modular representation theory. Employing this new method, we verify the first Zassenhaus conjecture for the group PSL(2, 19). We also prove the Zassenhaus conjecture for PSL(2, 23). In a second application we show that there are no normalized units of order 6 in the integral group rings of M 10 and PGL(2, 9). This completes the proof of a theorem of Kimmerle and Konovalov that shows that the prime graph question has an affirmative answer for all groups having an order divisible by at most three different primes.

This article began as a study of the structure of infinite permutation groups $G$ in which point stabilisers are finite and all infinite normal subgroups are transitive. That led to two variations. One is the generalisation in which point stabilisers are merely assumed to satisfy min-n, the minimal condition on normal subgroups. The groups $G$ are then of two kinds. Either they have a maximal finite normal subgroup, modulo which they have either one or two minimal nontrivial normal subgroups, or they have a regular normal subgroup $M$ which is a divisible abelian $p$ -group of finite rank. In the latter case the point stabilisers are finite and act irreducibly on a $p$ -adic vector space associated with  $M$ . This leads to our second variation, which is a study of the finite linear groups that can arise.

We discuss some of the work of Laci Kovács on representation theory and related topics.

Let F be an algebraically closed field, G be a finite group and H be a subgroup of G. We answer several questions about the centralizer algebra FGH. Among these, we provide examples to show that

• • the centre Z(FGH) can be larger than the F-algebra generated by Z(FG) and Z(FH),

• • FGH can have primitive central idempotents that are not of the form ef, where e and f are primitive central idempotents of FG and FH respectively,

• • it is not always true that the simple FGH-modules are the same as the non-zero FGH-modules HomFH(S, T ↓ H), where S and T are simple FH and FG-modules, respectively.

Consider the Mackey functor that assigns to each finite group G the Green ring of finitely generated kG-modules, where k is a field of characteristic p > 0. Thévenaz foresaw in 1988 that the class of primordial groups for this functor is the family of k-Dress groups. In this paper we prove that this is true for the subfunctor defined by the Green ring of finitely generated kG-modules of trivial source.