The Loewy structure of certain fixpoint algebras. I (Q2182342): Difference between revisions

The article under review concerns the Loewy structure of the fixpoint algebra of the group algebra of the additive group of a finite field \(F\) under the action of a subgroup of the multiplicative group of the same field. The authors generalise results obtained by \textit{B. Külshammer} and \textit{B. Sambale} [Q. J. Math. 69, No. 3, 855--870 (2018; Zbl 1483.20020)] on the Loewy length of the centre of a block of the group algebra of a finite group with abelian defect group \(D\) in positive characteristic \(p\). The original formula by Külshammer and Sambale compares the Loewy length of the centre of the \(p\)-block with the Loewy lengths of the fixpoint algebra \((FD)^I\) -- where \(I\) is the inertial group of the block -- and also of the centre of \(F[D\rtimes I]\), provided \(I\) acts semiregularly on \([D, I]\setminus\{1\}\). \par More precisely, in this article, the authors introduce a class of finite-dimensional split, local and symmetric algebras over a field \(F\), denoted \(A(q, n, e)\), where \(q, n, e\in \mathbb{N}\) are parameters such that \(q>1\) and \(e\mid q^{n}-1\). They prove that when \(q\) is a prime number and \(F\) is algebraically closed of characteristic \(q\), \(A(q, n, e)\) is isomorphic to a fixpoint algebra \((FP)^{H}\) where \(P\) is an elementary abelian \(q\)-group of order \(p^{n}\) and \(H\) is a cyclic group of order \(e\) acting freely on \(P\setminus\{1\}\). They present inductive arguments to compute the Loewy structure of \(A(q, n, e)\) and proved that the Loewy length is bounded above by \[\left\lfloor n\dfrac{q-1}{m}\right\rfloor+1\] where \(m\) is the smallest positive integer such that there exists a sum of \(m\) powers of \(q\) which is divisible by \(e\). It is also proved that \(A(q, n, e)\) is uniserial if and only if \(e\) is divisible by \(\frac{q^{n}-1}{q-1}\)\,.