A family of non-Schurian \(p\)-Schur rings over groups of order \(p^3\) (Q2629549)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A family of non-Schurian \(p\)-Schur rings over groups of order \(p^3\) |
scientific article |
Statements
A family of non-Schurian \(p\)-Schur rings over groups of order \(p^3\) (English)
0 references
6 July 2016
0 references
It is easy to check that every \(p\)-S-ring over an elementary abelian \(p\)-group of rank 1 or 2 is in fact Schurian. This was proved for elementary abelian \(p\)-groups of rank 3 by \textit{P. Spiga} and \textit{Q. Wang} [Discrete Math. 308, No. 9, 1760--1763 (2008; Zbl 1177.20063)]. Recently, the author proved that every commutative \(p\)-S-ring over a group of order \(p^3\) is Schurian [Commun. Algebra 42, No. 10, 4456--4463 (2014; Zbl 1298.20005); Bull. Korean Math. Soc. 51, No. 6, 1689--1696 (2014; Zbl 1307.20003)]. It is known that a 2-S-ring over a group of order 8 is commutative and Schurian. Let \(p\) be an odd prime. For the nonabelian group of order \(p^3\) and exponent \(p^2\), the author gives a family of non-Schurian \(p\)-S-rings. The construction uses the equivalence between S-rings and Cayley-schemes and a so called suitable sequence. \((x_1, x_2,\ldots, x_{p-1})\), \(x_i\in\mathbb{Z}_p\), is called suitable if \(\{x_1, x_2,\ldots, x_{p-1}\}=\mathbb{Z}_p\setminus\{l\}\) for some \(l\) such that \(x_1=0\), \(x_i+i\equiv x_{p-i}\pmod p\) for any \(1\leq i\leq{p-1\over2}\). Furthermore, the author poses a problem of independent interest: determine all suitable sequences.
0 references
group algebra
0 references
rational
0 references
Cayley scheme
0 references
\(p\)-Schur ring
0 references
Schurian
0 references
finite \(p\)-group
0 references
0 references