Representation theory has a reputation for being “clean”: decompose a representation into irreducibles, read structure from characters, and move on. That picture is accurate in some regimes, but it can hide the real backbone of the subject: the algebra is doing the work, and the hypotheses matter. A single counterexample can teach this faster than a semester of polite generalities.
This article builds one counterexample carefully, explains what it breaks, and then shows what representation theory learns when the easy path closes.
Featured Console DealCompact 1440p Gaming ConsoleXbox Series S 512GB SSD All-Digital Gaming Console + 1 Wireless Controller, White
Xbox Series S 512GB SSD All-Digital Gaming Console + 1 Wireless Controller, White
An easy console pick for digital-first players who want a compact system with quick loading and smooth performance.
- 512GB custom NVMe SSD
- Up to 1440p gaming
- Up to 120 FPS support
- Includes Xbox Wireless Controller
- VRR and low-latency gaming features
Why it stands out
- Compact footprint
- Fast SSD loading
- Easy console recommendation for smaller setups
Things to know
- Digital-only
- Storage can fill quickly
The comforting theorem that quietly drives many first proofs
For a finite group $G$ over a field $k$, a first course often lives inside this statement.
- If $\mathrm{char}(k)$ does not divide $|G|$, then every finite-dimensional $k$-representation of $G$ splits as a direct sum of irreducible representations.
- In that case the group algebra $k[G]$ is semisimple, and the module category behaves like linear algebra with a good spectral theorem.
The standard proof is Maschke’s theorem: average a projection over the group to make it $G$-equivariant, then every subrepresentation has a complement.
That averaging step is the hinge. The counterexample is what happens when you cannot divide by $|G|$.
The counterexample: a group that is as small as possible
Take the cyclic group $G = C_p$ of prime order $p$. Let $k$ be a field of characteristic $p$. Consider the two-dimensional $k$-vector space $V = k^2$, and define a representation $\rho: G \to \mathrm{GL}(V)$ by specifying the action of a generator $g$.
Let
This matrix is invertible over any field. The crucial question is whether it gives a well-defined representation of $C_p$, meaning whether $\rho(g)^p = I$.
Write $\rho(g) = I + N$ where
Then
Because $N^2 = 0$, every term after $\binom{p}{1}N$ vanishes. In characteristic $p$, $\binom{p}{1} = p = 0$ in $k$. So
Therefore $\rho$ is a genuine representation of the cyclic group of order $p$.
At first glance it looks harmless. It is not.
What breaks: this representation will not split
Look at the line $W \subset V$ spanned by $e_1 = (1,0)^T$. We have
so $W$ is $G$-stable. In fact $G$ acts trivially on $W$.
Now ask: does $W$ have a $G$-stable complement? If the representation were completely reducible, we could write $V \cong W \oplus W’$ with $W’$ also $G$-stable and one-dimensional.
Suppose such a complement $W’$ exists. Any one-dimensional representation of $C_p$ over a field of characteristic $p$ is trivial, because $k^\times$ has no element of order $p$ (the polynomial $x^p-1$ equals $(x-1)^p$ in characteristic $p$). So $G$ would act trivially on $W'$ as well. That would force $\rho(g)$ \to be the identity on all of $V$.
But $\rho(g)$ is not the identity: it sends
So $W$ cannot have a $G$-stable complement. The representation is not a direct sum of one-dimensional pieces.
There is an even sharper way to see the obstruction.
- The matrix $\rho(g)$ has a single eigenvalue $1$, but it is not diagonalizable.
- Over a semisimple category you can still have non-diagonalizable matrices, but you cannot have non-splitting extensions of simple modules.
- This representation is exactly a nontrivial extension of the trivial representation by the trivial representation.
In other words, it is reducible (it has a proper invariant subspace) but not completely reducible (it does not split into a direct sum of irreducibles).
That single distinction is the gateway into the deeper subject.
The real diagnosis: the group algebra is not semisimple
The representation above can be described more conceptually through the group algebra $k[C_p]$. Let $g$ be the generator and set $x = g – 1$. In characteristic $p$,
so $x^p = 0$ in the group algebra. One can show
That ring has nilpotent elements, hence it is not semisimple. The module $V$ above is a module over $k[x]/(x^p)$ where $x$ acts as the nilpotent matrix $N$.
This reframes the counterexample:
- In semisimple settings, the ring acting is semisimple, so modules split cleanly.
- Here the ring has nilpotents, so modules can contain “glued” pieces that cannot be separated by a complement.
The counterexample is not about a weird choice of matrices. It is about the algebraic environment.
Why Maschke fails in one line
Maschke’s proof uses averaging:
where $\pi$ is a linear projection and $\pi_G$ is the averaged projection. The factor $1/|G|$ requires $|G|$ \to be invertible in $k$.
When $\mathrm{char}(k)\mid |G|$, the denominator is zero. Averaging is not available, so a subrepresentation can fail to have a complement. The two-dimensional example is the smallest instance of that failure.
What still works: structure survives, but it shifts
The point of the counterexample is not “everything becomes messy.” The point is that representation theory in this regime asks different questions, and the subject becomes richer rather than emptier.
Irreducible is no longer the same as indecomposable
In a semisimple category, every indecomposable object is irreducible and vice versa. Here they separate.
- The trivial one-dimensional representation is irreducible.
- The two-dimensional example is indecomposable (it cannot be written as a direct sum), but it is not irreducible (it has a nontrivial invariant subspace).
This distinction becomes a major organizing principle, because indecomposables can come in families, and extensions become geometric objects in their own \right.
Characters stop classifying representations
Over $\mathbb{C}$, characters determine representations up to isomorphism for finite groups, and orthogonality relations turn computations into inner products. In characteristic $p$, ordinary character theory does not retain that power.
In the example above, the trace of $\rho(g)$ is $2$, and the trace of the trivial two-dimensional representation is also $2$. Yet the representations are not isomorphic. Trace data alone cannot detect the nilpotent “glue.”
You can still build invariants, but you need invariants that see extensions, such as:
- Loewy series and radical filtrations,
- block decomposition of the group algebra,
- cohomology groups like $\mathrm{Ext}^1$ and group cohomology.
Projective and injective modules become central
When semisimplicity fails, projective modules act like the nearest available substitute for “free splitting.” They are the objects for which lifting and extension problems behave best.
For $k[C_p]\cong k[x]/(x^p)$, the projective indecomposable module is the regular module itself, and every module can be built from layers that reflect powers of $x$. This makes the theory computational, not merely abstract.
The counterexample points at cohomology without requiring machinery
The two-dimensional module $V$ is a non-split extension
of the trivial module by itself. Extensions of this form are classified by $\mathrm{Ext}^1_{k[G]}(k,k)$, which for group representations is closely tied to group cohomology $H^1(G,k)$.
You do not need the whole theory to learn the lesson: “direct sums are about splitting; splitting is obstructed by extensions; extensions are measured by cohomological invariants.”
A counterexample that small is already pointing at large tools.
How to use this counterexample as a test for your intuition
Whenever you read a representation theory claim, ask a quick triage question before you trust the conclusion.
- What is the field?
- Does its characteristic divide the group order or collide with denominators built into the proof?
- Is the claim about irreducibles, or about splitting into direct sums?
- Is the acting algebra semisimple?
If the argument quietly uses averaging, diagonalization, or orthogonality of characters, check the hypothesis that justifies those moves. The counterexample is your alarm bell.
A more general moral: the right object is often the algebra, not the group
One can package most of representation theory as the study of modules over an algebra $A$.
- Finite group representations are modules over $k[G]$.
- Lie algebra representations are modules over a universal enveloping algebra.
- Quiver representations are modules over a path algebra with relations.
- Compact group representations can be encoded through *-algebraic completions and harmonic analysis.
When the algebra is semisimple, the module theory looks like spectral decomposition. When it is not, the module theory looks like geometry of extensions, filtrations, and blocks. Both are representation theory, but they are different faces of it.
The counterexample above is the simplest place where the algebra stops behaving like diagonalization and starts behaving like structure.
Closing: why this counterexample is worth keeping in your pocket
Representation theory is often taught as if its main challenge is learning a catalog of irreducibles. That is a useful skill, but it is not the core. The core is understanding why decomposition theorems hold when they do, and what replaces them when they do not.
The two-dimensional representation of $C_p$ in characteristic $p$ is small enough to compute by hand and sharp enough to expose the hidden hinge in many proofs. It teaches:
- reducible does not imply split,
- irreducible does not control everything,
- the acting algebra determines the category,
- and extensions carry real, measurable information.
If you understand this example well, you will read theorems in representation theory with clearer eyes, and you will know what question to ask before the first lemma even starts.
Books by Drew Higgins
Bible Study / Spiritual Warfare
Ephesians 6 Field Guide: Spiritual Warfare and the Full Armor of God
Spiritual warfare is real—but it was never meant to turn your life into panic, obsession, or…
Leave a Reply