Over a field of characteristic three, the group algebra has a single block of an Artinian algebra. Put , and . Then , , and : the latter is a nilpotent ideal, with semisimple ring quotient . The center of an associative algebra is , whose last two summands form a square-zero ideal. A central idempotent satisfies and , hence is zero or one. Thus no nontrivial central block decomposition exists.
With , the idempotents split the right regular module into two three-dimensional projective modules. Their tops are respectively the trivial representation and sign representation. The nilpotent ideal ensures that any nonzero direct summand has nonzero top, so the one-dimensional tops make these projective modules indecomposable. Their successive radical series of a module factors are trivial, sign, trivial and sign, trivial, sign. This decomposition concerns right modules; the block of S3 in characteristic three remains a single algebra.
Articles by others on the same topic
There are currently no matching articles.