Nailing down the Wedderburn decomposition
Wildon's Weblog 2024-09-02
The purpose of this post is to give a very explicit Wedderburn decomposition for the group algebra of the symmetric group of degree
over the rational field. Even this small example is rich enough to show some interesting features, and I want to write down the calculation, rather than carry on doing it approximately once a year for the rest of my (mathematical) life.
One feature that is new (for me) this time around, is that the Wedderburn isomorphism is isometric with respect to the canonical inner product of , in which the group elements are an orthonormal basis. Despite this, there is no sense in which the chosen isomorphism is entirely canonical. I’ve tried to bring this out below by showing that, while
-dimensional left ideals in
(corresponding to
-dimensional left ideals in
isomorphic to the irreducible Specht module
) are indeed parameterised by
, as one would expect, the parameterisation of the full set of idempotents is more subtle, and it needs two parameters to get the whole lot. As a deliberately slightly tricky exercise you might like to guess the value of
where the inner product is defined from the canonical bilinear form on in which the group elements are orthonormal by taking the component of
matrices in the image of the isometric Wedderburn isomorphism
The answer is not dependent on the chosen isometric isomorphism, and can be found, without extensive calculation, using only the dimensions of the irreducible characters of . As a small hint, even though this matrix is clearly an idempotent (it’s even one of the special class of ‘perpendicular’ idempotents defined below), the answer is not
.
The general Wedderburn decomposition
We start with the observation that if is any finite group and
is an irreducible
-module with character
then the multiplicity of
in any direct sum decomposition of
into irreducible is
. For instance, this follows from the fact that the character of
as a left module for itself is the regular character
, defined by
and
for
, and so
. Therefore, as a left
-module we have
where there are summands in each parenthesised direct sum. By Schur’s Lemma
if
and
. It follows routinely that the endomorphism algebra of
as a left
-module satisfies
For instance, to see this in the case relevant below where , fix a `reference copy’ of $V$ and choose a non-zero
, and take another copy
isomorphic to
under a unique up to scalars (again by Schur’s Lemma) isomorphism sending
to
. Then
is generated as a left
-module by
and
, and any
-endomorphism
of
is determined by its effect on
and
, which must be
and
for some scalars
, since, composing with the projection to
, the map
defined on the chosen generator by
is a
-homomorphism.
It might seem that we have landed on the Wedderburn decomposition, but there is one subtlety, which shows that a proof as above using Schur’s Lemma is required, rather than any more naive argument that says, in effect, “well I know the simple modules, and ‘obviously’ the group algebra is the sum of their endomorphism rings over the field”. (This argument works to decompose as a left-module for itself, but not as an algebra.) To explain this subtlety, recall that if
is an associative algebra then the opposite algebra to
is the algebra with the same underlying vector space as
, but with multiplication defined by
.
Lemma
Proof. Let . Observe that since
is a homomorphism of left
-modules, once we know
, an arbitrary image
is determined by
Conversely, we may choose any as
, and then the displayed equation determines
uniquely. Thus, as a vector space, there is an isomorphism
defined by
. If under this isomorphism,
and
then
and so the linear isomorphism is an algebra isomorphism as required in the lemma.
There is however a way to remove the `opposite’ above, using that is isomorphic to its opposite algebra, by the map
transposing a matrix
. Thus having paid due attention to this technical point, we may remove it and obtain Wedderburn’s Theorem in the more usual form:
We finish these generalities by remarking that if then
has constant coefficients on the conjugacy classes of and so lies in
. By the row orthogonality relations for irreducible characters, the
are mutually orthogonal idempotents:
and
for
. By the column orthogonality with the column for the identity element,
. Moreover the
are primitive because the `character table is square’: we have
idempotents and it is easily seen that the dimension of
is the number of conjugacy classes of the group. We therefore have
and we can append the rider ‘where is isomorphic to the opposite algebra of
‘ to
above.
Wedderburn blocks for
To apply this theory to we recall that the irreducible characters of
are
, the trivial character,
, the sign character and
, the degree
irreducible constituent of the natural permutation character, satisfying
. To construct a left-module corresponding to
, take
, the natural permutation module, and then take the submodule
. All these modules are defined over the rational numbers, and so we may work over
, obtaining three orthogonal central idempotents
The Wedderburn decomposition becomes
Making the
-block explicit
To be continued.