Absolutely Irreducible Modules and Schur’s Lemma over a Field

Q: Why does the theorem need _k M < ∈fty rather than _k R < ∈fty?

Because everything is about the image of R in End(M_k), which is finite-dimensional as soon as M is. The algebra may be enormous — a group algebra of an infinite group, a Weyl algebra — and the theorem still applies to any of its finite-dimensional simple modules.

Q: Can extension of scalars ever make a decomposable module indecomposable?

No. A direct sum decomposition tensors up to a direct sum decomposition, and both summands stay nonzero because _K N^K = _k N. Base change can only refine, never coarsen.

Q: If M is not absolutely irreducible, into how many pieces does it break?

It depends on the shape of D = End(_R M). If D is a separable field extension of k of degree d, then over a field containing all d conjugates M^K is a direct sum of d pairwise non-isomorphic simples — this is the QC_3 pattern. If D is a central division k-algebra of dimension d^2, then over a splitting field M^K is a direct sum of d copies of one simple module — this is the quaternion pattern, two copies of C^2. If the extension is inseparable, M^K may fail to be simple without decomposing at all.

Q: Does absolute irreducibility depend on the choice of algebraically closed field in condition (4)?

No, and that is a substantive part of the theorem. Condition (4) is existential and condition (3) universal, and the proof shows they coincide; so any single algebraically closed extension gives the correct answer.

Q: What is the relationship to Schur's Lemma?

Schur's Lemma says End(_R M) is a division ring. Absolute irreducibility says it is the smallest possible division ring, namely k itself. The whole theory is the study of the gap between the two statements.

Q: Is the notion left-right symmetric?

For a single module the question does not arise — a left module is a left module. For an algebra, requiring every simple left module to be absolutely irreducible turns out to be equivalent to the same requirement on the right, by the matrix-algebra criterion of (7.7).

Executive Summary

Simplicity is not stable under enlarging the ground field. The $ℝ$ -algebra $ℂ$ acting on $M = ℂ$ gives a simple module that falls apart into two pieces after tensoring with $ℂ$ . The modules that never do this are the absolutely irreducible ones, and Lam $(7.5)$ shows that four very different-looking conditions single them out.

The practical version is the shortest: a simple module $M$ with $\dim_{k} M < \infty$ is absolutely irreducible exactly when $End (_{R} M) = k$ . Everything else — surjectivity of $R \to End (M_{k})$ , stability under all extensions, stability under one algebraically closed extension — is equivalent to that single computation.

4Equivalent conditions in (7.5)

$End (_{R} M) = k$ The test

1Extensions you must check

$\dim_{k} M < \infty$ Standing hypothesis

Overview

Let $R$ be a $k$ -algebra and $K \supseteq k$ a field extension. Scalar extension produces a $K$ -algebra $R^{K} : = R \otimes_{k} K$ and, from any left $R$ -module $M$ , a left $R^{K}$ -module $M^{K} : = M \otimes_{k} K$ with action $(r \otimes a) (m \otimes b) = r m \otimes a b$ . The construction is exact and multiplies $k$ -dimension by nothing: $\dim_{K} M^{K} = \dim_{k} M$ .

What it does not preserve is simplicity. Extending scalars can only add endomorphisms and add submodules, never remove them, so a simple module can break but a decomposable one cannot mend. The obstruction is measured exactly by Schur's division algebra $D = End (_{R} M)$ : if $D$ is bigger than $k$ , then $D \otimes_{k} K$ has zero divisors for suitable $K$ , and by $(7.4)$ these are endomorphisms of $M^{K}$ with a kernel that is neither $0$ nor everything — that is, proper submodules.

Two of the four equivalent conditions are about a single field, two are about extensions. That asymmetry is the useful content: an infinite family of conditions is reduced to one finite computation. The consequences for whole algebras rather than single modules are collected in Splitting Fields for Algebras.

Learning Objectives

Construct $R^{K}$ and $M^{K}$ and verify the module axioms for the extended action.
State the Hom base-change lemma $(7.4)$ and identify where $\dim_{k} M < \infty$ is used.
State the four conditions of $(7.5)$ and prove the implication cycle.
Recognise absolute irreducibility from the endomorphism ring in concrete cases.
Explain why simplicity can be lost, but never gained, under scalar extension.
Give a module with $End (_{R} M) = k$ that is not simple.

Definitions

DefinitionScalar extension

For a $k$ -algebra $R$ and a field extension $K \supseteq k$ , put $R^{K} = R \otimes_{k} K$ , a $K$ -algebra. For a left $R$ -module $M$ , put $M^{K} = M \otimes_{k} K$ , a left $R^{K}$ -module under

(r \otimes a) (m \otimes b) = r m \otimes a b (r \in R, m \in M, a, b \in K)

(7.4a)

Definition(7.5)Absolutely irreducible module

A simple left $R$ -module $M$ with $\dim_{k} M < \infty$ is absolutely irreducible (equivalently, absolutely simple) if it satisfies the equivalent conditions of the theorem below — most memorably, if $M^{K}$ is a simple $R^{K}$ -module for every field extension $K \supseteq k$ .

$End (_{R} M)$: The ring of $R$ -module endomorphisms of $M$ , written as right operators. For $M$ simple it is a division ring (Schur), and it contains $k$ as scalars.
$End (M_{k})$: All $k$ -linear endomorphisms of $M$ : a matrix algebra $M_{n} (k)$ with $n = \dim_{k} M$ .
$End (_{R} M) = k$: Shorthand for: the only $R$ -endomorphisms of $M$ are multiplication by scalars from $k$ .
Composition factor: A simple subquotient occurring in a composition series; the multiset of these is well defined by Jordan–Hölder.

Absolute irreducibility is a property of the pair (module, ground field). The same abstract ring acting on the same abelian group can be absolutely irreducible over one $k$ and not over another.

Core Concepts

Why extension can only break things

A submodule $N \subseteq M$ gives $N^{K} \subseteq M^{K}$ , and a decomposition $M = N \oplus N'$ gives $M^{K} = N^{K} \oplus (N')^{K}$ . So decomposability transfers upwards. Conversely nothing forces a submodule of $M^{K}$ to descend, and in general none does. Base change is therefore a one-way street for simplicity, and the whole theory consists of identifying when the street is not taken.

M

simple over

R

End (_{R} M) = D

D \otimes_{k} K

submodules of

M^{K}

Two mechanisms behind the theorem

Base change of Hom. Homomorphisms between finite-dimensional modules can be computed before or after extending scalars, with the same answer. This is $(7.4)$ , and it lets $End$ be transported across an extension in both directions.

Density. If $M$ has no endomorphisms beyond the scalars, the image of $R$ in $End (M_{k})$ is dense, hence everything — Burnside's Lemma. Once $R$ maps onto the full matrix algebra, base change is trivial: $M_{n} (k) \otimes_{k} K = M_{n} (K)$ , and $K^{n}$ is simple over $M_{n} (K)$ .

Key Results

Lemma(7.4)Base change of Hom

Let $R$ be a $k$ -algebra, not necessarily finite-dimensional over $k$ , let $K \supseteq k$ be a field extension, and let $M, N$ be left $R$ -modules with $\dim_{k} M < \infty$ . Then the natural map

θ : ({Hom}_{R} (M, N))^{K} ⟶ {Hom}_{R^{K}} (M^{K}, N^{K}), θ (f \otimes a) (m \otimes b) = f (m) \otimes a b

(7.4)

is an isomorphism of $K$ -vector spaces.

Proof

Fix a $k$ -basis ${a_{i} : i \in I}$ of $K$ . Then $M^{K} = ⨁_{i} (M \otimes a_{i})$ and likewise for $N^{K}$ .

Surjectivity. Let $f : M^{K} \to N^{K}$ be an $R^{K}$ -homomorphism. For $m \in M$ write $f (m \otimes 1) = \sum_{i} g_{i} (m) \otimes a_{i}$ ; the coordinates $g_{i} : M \to N$ are uniquely determined $k$ -linear maps. For $r \in R$ , comparing $f (r m \otimes 1) = \sum_{i} g_{i} (r m) \otimes a_{i}$ with $f ((r \otimes 1) (m \otimes 1)) = (r \otimes 1) \sum_{i} g_{i} (m) \otimes a_{i} = \sum_{i} r g_{i} (m) \otimes a_{i}$ and using uniqueness of coordinates gives $g_{i} (r m) = r g_{i} (m)$ . So each $g_{i} \in {Hom}_{R} (M, N)$ .

Since $\dim_{k} M < \infty$ , choose a finite $k$ -basis $m_{1}, \dots, m_{t}$ of $M$ . Each $f (m_{j} \otimes 1)$ involves only finitely many $a_{i}$ , so only finitely many $g_{i}$ are nonzero. Hence $g : = \sum_{i} g_{i} \otimes a_{i}$ is a legitimate element of $({Hom}_{R} (M, N))^{K}$ , and $θ (g)$ agrees with $f$ on the generating set $M \otimes 1$ of $M^{K}$ , so $θ (g) = f$ .

Injectivity. Any element of $({Hom}_{R} (M, N))^{K}$ can be written $\sum_{i} f_{i} \otimes a_{i}$ with $f_{i} \in {Hom}_{R} (M, N)$ , almost all zero. If it maps to zero, then for every $m \in M$ we get $0 = \sum_{i} f_{i} (m) \otimes a_{i}$ in $N^{K} = ⨁_{i} (N \otimes a_{i})$ , forcing $f_{i} (m) = 0$ for all $i$ and all $m$ , i.e. all $f_{i} = 0$ . This half uses no finiteness hypothesis.

Theorem(7.5)Characterisation of absolute irreducibility

Let $R$ be a $k$ -algebra, not necessarily finite-dimensional, and let $M$ be a simple left $R$ -module with $\dim_{k} M < \infty$ . The following are equivalent.

$End (_{R} M) = k$ ;
the map $R \to End (M_{k})$ expressing the action of $R$ on $M$ is surjective;
$M^{K}$ is a simple $R^{K}$ -module for every field extension $K \supseteq k$ ;
there exists an algebraically closed field $E \supseteq k$ such that $M^{E}$ is a simple $R^{E}$ -module.

When these hold, $M$ is called absolutely irreducible.

Proof

$(3) \Rightarrow (4)$ is immediate: take $E$ to be an algebraic closure of $k$ . It therefore suffices to prove $(4) \Rightarrow (1) \Rightarrow (2) \Rightarrow (3)$ .

** $(4) \Rightarrow (1)$ .** Suppose $M^{E}$ is simple over $R^{E}$ with $E$ algebraically closed. By Schur's Lemma $End (_{R^{E}} M^{E})$ is a division ring; it is contained in $End (M_{E}^{E})$ , so it is finite-dimensional over $E$ , and $E$ is central in it. Every element generates a finite field extension of the algebraically closed field $E$ , hence lies in $E$ ; so $End (_{R^{E}} M^{E}) = E$ . By the injectivity half of $(7.4)$ applied with $N = M$ , $End (_{R} M) \otimes_{k} E$ embeds in $E$ , so $\dim_{k} End (_{R} M) \leq 1$ ; since the scalars are always present, $End (_{R} M) = k$ .

** $(1) \Rightarrow (2)$ .** Let $A$ be the image of $R$ in $End (M_{k})$ . Then $M$ is a simple left $A$ -module and $End (_{A} M) = End (_{R} M) = k$ , since $A$ and $R$ have the same submodules and the same endomorphisms of $M$ . Burnside's Lemma $(7.3)$ gives $A = End (M_{k})$ , which is exactly surjectivity.

** $(2) \Rightarrow (3)$ .** The $R^{K}$ -module structure of $M^{K}$ depends only on the image of $R$ in $End (M_{k})$ , so we may replace $R$ by $End (M_{k})$ . Choosing a $k$ -basis identifies $M$ with $k^{n}$ and $R$ with $M_{n} (k)$ , where $n = \dim_{k} M$ . Then $R^{K} ≅ M_{n} (K)$ and $M^{K} ≅ K^{n}$ , and $K^{n}$ is a simple left $M_{n} (K)$ -module. Hence $M^{K}$ is simple for every $K$ .

CorollaryAlgebraically closed ground fields

If $k$ is algebraically closed, every simple left $R$ -module $M$ with $\dim_{k} M < \infty$ is absolutely irreducible, and $R \to End (M_{k})$ is onto.

Indeed $End (_{R} M)$ is then a finite-dimensional division algebra over the algebraically closed field $k$ , hence equals $k$ ; now apply $(7.5)$ . This is the reason the notion never surfaces in complex representation theory.

CorollaryDimension constraint

Let $M$ be a simple left $R$ -module with $\dim_{k} M < \infty$ and $D = End (_{R} M)$ . Then $\dim_{k} M = (\dim_{D} M) (\dim_{k} D)$ ; in particular $\dim_{k} D$ divides $\dim_{k} M$ , and if $\dim_{k} M$ is prime then either $M$ is absolutely irreducible or $\dim_{D} M = 1$ and $D$ has $k$ -dimension $\dim_{k} M$ .

Counterexample

End (_{R} M) = k

does not imply simple

Let $R = T_{2} (k)$ be the algebra of upper triangular $2 \times 2$ matrices over $k$ and let $M = k^{2}$ with $R$ acting by matrix multiplication. A $k$ -linear endomorphism of $k^{2}$ given by a matrix $(\begin{matrix} x & y \\ z & w \end{matrix})$ commutes with $E_{11}$ and $E_{22}$ only if $y = z = 0$ , and then commutes with $E_{12}$ only if $x = w$ . So $End (_{R} M) = k$ . Yet $M$ is not simple: $k \oplus 0$ is a proper nonzero submodule.

Simplicity of $M$ is therefore a genuine hypothesis in $(7.5)$ , not a consequence of condition (1). If $_{R} M$ is known to be semisimple, however, $End (_{R} M) = k$ does force simplicity: a decomposition $M = M' \oplus M''$ with both summands nonzero would supply a non-scalar idempotent endomorphism.

Proof Techniques and Method

How these proofs work, and which move to reuse.

The proof of $(7.5)$ is a cycle, and each arrow uses a different tool. Recognising which tool is needed is most of the skill.

Coordinates over a basis of

K

Turn base change into bookkeeping

Writing $K = ⨁_{i} k a_{i}$ converts a single $R^{K}$ -map into a family of $R$ -maps. Uniqueness of coordinates then does all the work; the argument is used again for radicals and for composition factors.

Density

From no endomorphisms to full image

Burnside's Lemma converts the absence of extra endomorphisms into the presence of every $k$ -linear map in the image of $R$ . This is the only non-formal step in the cycle.

Replace

R

by its image

Kill the irrelevant part of the algebra

Everything about $M$ as a module depends only on the image of $R$ in $End (M_{k})$ , and base change commutes with taking that image. This is what makes $(2) \Rightarrow (3)$ a one-line matrix computation.

One field suffices

Reduce infinitely many tests to one

Condition (4) quantifies existentially over algebraically closed fields, condition (3) universally over all fields. The cycle proves they agree — the standard way to make a base-change property checkable.

Note also what is not proved: nothing here says $M^{K}$ is semisimple when it fails to be simple. That requires separability hypotheses, and its failure is the subject of Radical under Field Extension.

Worked Example

A simple module that is not absolutely irreducible

Let $k = ℝ$ and $R = ℝ [x] / (x^{2} + 1) ≅ ℂ$ , acting on $M = ℂ$ by multiplication. Then $\dim_{ℝ} M = 2$ and $M$ is simple, since $R$ is a field and $M$ is one-dimensional over it.

Its endomorphisms are the $ℂ$ -multiplications, so $End (_{R} M) = ℂ \neq ℝ$ and condition (1) fails. Watch the other conditions fail with it. Take $K = ℂ$ :

R^{ℂ} = ℂ \otimes_{ℝ} ℂ ≅ ℂ [x] / (x^{2} + 1) ≅ ℂ \times ℂ, M^{ℂ} ≅ ℂ \oplus ℂ

The two factors are the eigenspaces of $x$ for the eigenvalues $\pm i$ ; $M^{ℂ}$ is two-dimensional over $ℂ$ and splits as a direct sum of two non-isomorphic one-dimensional modules. Condition (2) fails too: the image of $R$ in $End (M_{ℝ}) = M_{2} (ℝ)$ is the two-dimensional subalgebra of rotation-scaling matrices, not all of $M_{2} (ℝ)$ .

An absolutely irreducible module

Now let $R = M_{2} (ℝ)$ act on $M = ℝ^{2}$ . Then $M$ is simple, $End (_{R} M) = ℝ$ , and $R \to End (M_{ℝ})$ is the identity map, so conditions (1) and (2) hold. For any $K \supseteq ℝ$ , $R^{K} = M_{2} (K)$ acts on $M^{K} = K^{2}$ , which is simple. The module is absolutely irreducible.

A quaternionic example

For $R = ℍ$ over $k = ℝ$ , the unique simple module is $M = ℍ$ with $\dim_{ℝ} M = 4$ and $D = End (_{R} M) = ℍ$ . Extending to $ℂ$ gives $R^{ℂ} = ℍ \otimes_{ℝ} ℂ ≅ M_{2} (ℂ)$ , and $M^{ℂ}$ , of $ℂ$ -dimension $4$ , is a direct sum of two copies of the simple module $ℂ^{2}$ .

Process and Workflow

Check simplicity firstAbsolute irreducibility presupposes it;

(7.5)

is false as stated without it, as the triangular example shows.

Compute $D = End (_{R} M)$ Solve the linear system saying a matrix commutes with generators of the image of

R

— one nullspace computation of size

(\dim_{k} M)^{2}

Compare with $k$ If

\dim_{k} D = 1

M

is absolutely irreducible and

R

surjects onto

End (M_{k})

. If

\dim_{k} D > 1

, it is not.

If not, find the splitting fieldExtend

k

by a maximal subfield of

D

; over that field

M

decomposes, and the pieces are candidates for absolutely irreducible modules.

Is a given simple module $M$ with $\dim_{k} M < \infty$ absolutely irreducible?

$k$ algebraically closedYes, automatically. There is nothing to check.

$End (_{R} M) = k$ Yes. Equivalently, the image of

R

End (M_{k})

is the full matrix algebra

M_{n} (k)

n = \dim_{k} M

$End (_{R} M) ⊋ k$ No. Some extension breaks

M

; any field splitting the division algebra

D

will do.

$M$ not known to be simpleThe criterion does not apply. Establish simplicity first, or note that for semisimple

M

the condition

End (_{R} M) = k

does imply simplicity.

Comparison and Classification

Simple modules and their Schur division algebras
$k$	$R$	$M$	$D = End (_{R} M)$	Absolutely irreducible?
$ℂ$	any, $\dim < \infty$	any simple	$ℂ$	yes
$ℝ$	$M_{2} (ℝ)$	$ℝ^{2}$	$ℝ$	yes
$ℝ$	$ℂ$	$ℂ$	$ℂ$	no
$ℝ$	$ℍ$	$ℍ$	$ℍ$	no
$ℚ$	$ℚ C_{3}$	$ℚ (ω)$	$ℚ (ω)$	no
$𝔽_{2}$	$𝔽_{4}$	$𝔽_{4}$	$𝔽_{4}$	no
$𝔽_{2}$	$𝔽_{2} S_{3}$	the $2$ -dimensional simple	$𝔽_{2}$	yes

What each hypothesis buys
	$M$ simple	$\dim_{k} M < \infty$	$k$ alg. closed
$End (_{R} M)$ is a division ring	yes	no	no
$End (_{R} M)$ finite-dimensional over $k$	no	yes	no
$(7.4)$ is an isomorphism	no	yes	no
$End (_{R} M) = k$	partial	partial	yes
$M^{K}$ simple for all $K$	partial	partial	partial

What each hypothesis buys

Relationship Map

Absolute irreducibility is the module-level notion; splitting fields are the algebra-level notion obtained by demanding it of every simple module at once.

k

alg. closedevery simple is absolutely irreducible

k

splits

R

\bar{R} ≅ \prod M_{n_{i}} (k)

Consequences of $(7.5)$
- for a single module
  - $\dim_{k} M = n$ and $\dim_{k} End (_{R} M) = 1$
  - $M^{K}$ simple over $R^{K}$ for every $K$
  - characters detect $M$ up to isomorphism
- for the algebra
  - the splitting criterion of (7.7)
  - the dimension test (7.8)
  - stability of splitting under further extension (7.14)

Applications and Industry Use

Applications here means where this structure is used — inside mathematics and in the engineering and computing disciplines that consume it.

Modular representation theory

Brauer characters

Brauer's theory is set up over a splitting field precisely so that every simple module is absolutely irreducible and characters determine isomorphism classes.

Computational algebra

MeatAxe and the Norton irreducibility test

The MeatAxe decides irreducibility of a module over a finite field and, in the same computation, reports the endomorphism algebra — which is exactly the test for absolute irreducibility.

Coding theory

Field of definition

A code invariant under a group is a module over a group algebra over $𝔽_{q}$ ; whether the minimal such module is absolutely irreducible decides whether the code is defined over $𝔽_{q}$ or only over an extension.

Physics and chemistry

Real versus complex irreducibles

The distinction between real, complex and quaternionic irreducible representations — the Frobenius–Schur classification — is the statement that $D$ is $ℝ$ , $ℂ$ or $ℍ$ , and it dictates the shape of symmetry-adapted bases.

In all four, the practical question is the same: over which field should one work so that the modules stop changing? That question is answered here for one module and in Splitting Fields for Algebras for all of them at once.

Standards and Notation

Standards here covers notation, symbol and markup standards, and reference implementations, rather than material or design codes.

Preferred termabsolutely irreducible (Lam); absolutely simple is synonymous

Scalar extension

M^{K}

(Lam);

M \otimes_{k} K

M_{K}

elsewhere

Extended algebra

R^{K} = R \otimes_{k} K

; some authors write

K R

R_{K}

Endomorphism ring

End (_{R} M)

, right operators

GAPMTX.IsAbsolutelyIrreducible, MTX.IsIrreducible

MagmaIsAbsolutelyIrreducible, EndomorphismAlgebra

MarkupPresentation MathML per ISO/IEC 40314; symbol conventions per ISO 80000-2

Computational Notes

Computational notes cover algorithms, cost and library behaviour rather than manufacturing process.

Let $M$ be given by matrices for generators $r_{1}, \dots, r_{s}$ of $R$ acting on $k^{n}$ .

$End (_{R} M)$ is the solution space of the linear system $X r_{j} = r_{j} X$ for all $j$ — $s$ blocks of $n^{2}$ equations in $n^{2}$ unknowns, solved in $O (s n^{6})$ naively and much less with structured elimination.
Over a finite field, the Norton irreducibility test settles simplicity and returns a nonscalar endomorphism when one exists, at cost dominated by a few matrix multiplications; this is the standard route in the MeatAxe.
If $M$ is simple over $k = 𝔽_{q}$ and $\dim_{k} End (_{R} M) = d$ , then by Wedderburn's Little Theorem $D$ is the field $𝔽_{q^{d}}$ , and $M$ is absolutely irreducible precisely when $d = 1$ ; the extension $𝔽_{q^{d}}$ is the field over which the module is really defined.
Absolute irreducibility over $ℚ$ is harder: one may certify it by finding a single prime of good reduction where the reduction is absolutely irreducible, but exhibiting an isomorphism $D ≅ M_{m} (k)$ is as hard as integer factoring.

Failure Modes and Common Mistakes

Do not assume $R$ must be finite-dimensional; $(7.4)$ and $(7.5)$ constrain only $M$ .
Do not read $End (_{R} M) = k$ as an equality of abstract rings — it asserts that the canonical copy of $k$ exhausts the endomorphism ring.
Do not confuse $End (_{R} M)$ with $End (M_{k})$ ; the first is a division ring for $M$ simple, the second is a full matrix algebra.

Quick Reference

Setting

R

k

-algebra,

M

simple,

\dim_{k} M = n < \infty

Test

End (_{R} M) = k

Equivalent

R ↠ End (M_{k}) ≅ M_{n} (k)

Equivalent

M^{K}

simple for every

K \supseteq k

Equivalent

M^{E}

simple for one algebraically closed

E \supseteq k

Base change of Hom

({Hom}_{R} (M, N))^{K} ≅ {Hom}_{R^{K}} (M^{K}, N^{K})

when

\dim_{k} M < \infty

Dimension

\dim_{k} M = (\dim_{D} M) (\dim_{k} D)

Automatic when

k

is algebraically closed

Statement finder
Result	Content	Reference
Base change of Hom	$θ$ is a $K$ -isomorphism when $\dim_{k} M < \infty$	(7.4)
Four equivalent conditions	endomorphisms, surjectivity, all $K$ , one $E$	(7.5)
Burnside's Lemma	supplies $(1) \Rightarrow (2)$	(7.3)
Algebraically closed case	every finite-dimensional simple is absolutely irreducible	after (7.5)
Failure of the converse	$End (_{R} M) = k$ with $M$ not simple	$T_{2} (k)$ acting on $k^{2}$

Frequently Asked Questions

Why does the theorem need

\dim_{k} M < \infty

rather than

\dim_{k} R < \infty

Because everything is about the image of $R$ in $End (M_{k})$ , which is finite-dimensional as soon as $M$ is. The algebra may be enormous — a group algebra of an infinite group, a Weyl algebra — and the theorem still applies to any of its finite-dimensional simple modules.

Can extension of scalars ever make a decomposable module indecomposable?

No. A direct sum decomposition tensors up to a direct sum decomposition, and both summands stay nonzero because $\dim_{K} N^{K} = \dim_{k} N$ . Base change can only refine, never coarsen.

M

is not absolutely irreducible, into how many pieces does it break?

It depends on the shape of $D = End (_{R} M)$ . If $D$ is a separable field extension of $k$ of degree $d$ , then over a field containing all $d$ conjugates $M^{K}$ is a direct sum of $d$ pairwise non-isomorphic simples — this is the $ℚ C_{3}$ pattern. If $D$ is a central division $k$ -algebra of dimension $d^{2}$ , then over a splitting field $M^{K}$ is a direct sum of $d$ copies of one simple module — this is the quaternion pattern, two copies of $ℂ^{2}$ . If the extension is inseparable, $M^{K}$ may fail to be simple without decomposing at all.

Does absolute irreducibility depend on the choice of algebraically closed field in condition (4)?

No, and that is a substantive part of the theorem. Condition (4) is existential and condition (3) universal, and the proof shows they coincide; so any single algebraically closed extension gives the correct answer.

What is the relationship to Schur's Lemma?

Schur's Lemma says $End (_{R} M)$ is a division ring. Absolute irreducibility says it is the smallest possible division ring, namely $k$ itself. The whole theory is the study of the gap between the two statements.

Is the notion left-right symmetric?

For a single module the question does not arise — a left module is a left module. For an algebra, requiring every simple left module to be absolutely irreducible turns out to be equivalent to the same requirement on the right, by the matrix-algebra criterion of (7.7).

References

T. Y. Lam, A First Course in Noncommutative Rings, Graduate Texts in Mathematics 131, Springer-Verlag, 1991, §7 (pp. 110–112).
C. W. Curtis and I. Reiner, Methods of Representation Theory, Volume I, Wiley-Interscience, 1981, §§3 and 7.
N. Jacobson, Basic Algebra II, 2nd edition, W. H. Freeman, 1989, Chapter 4.
R. S. Pierce, Associative Algebras, Graduate Texts in Mathematics 88, Springer-Verlag, 1982, Chapter 12.
R. A. Parker, “The computer calculation of modular characters (the MeatAxe)”, in Computational Group Theory, Academic Press, 1984, 267–274.

AI Suggested Questions

Give a full proof that $ℍ \otimes_{ℝ} ℂ ≅ M_{2} (ℂ)$ and identify the simple module.
How does the Frobenius–Schur indicator detect which of $ℝ$ , $ℂ$ , $ℍ$ occurs as the Schur algebra of a real representation?
What happens to (7.4) if $M$ is infinite-dimensional over $k$ but finitely generated over $R$ ?
Construct a simple module over a $ℚ$ -algebra whose Schur division algebra is a noncommutative division algebra of degree 3.
Explain the Norton irreducibility test and how it certifies absolute irreducibility over a finite field.
For which finite groups and primes is every simple $𝔽_{p} G$ -module absolutely irreducible?
How do the conditions in (7.5) change if $k$ is replaced by a commutative artinian ring?

01Executive Summary

02Overview

03Learning Objectives

04Definitions

05Core Concepts

Why extension can only break things

Two mechanisms behind the theorem

06Key Results

07Proof Techniques and Method

Turn base change into bookkeeping

From no endomorphisms to full image

Kill the irrelevant part of the algebra

Reduce infinitely many tests to one

08Worked Example

A simple module that is not absolutely irreducible

An absolutely irreducible module

A quaternionic example

09Process and Workflow

10Comparison and Classification

11Relationship Map

12Applications and Industry Use

Brauer characters

MeatAxe and the Norton irreducibility test

Field of definition

Real versus complex irreducibles

13Standards and Notation

14Computational Notes

15Failure Modes and Common Mistakes

16Quick Reference

17Frequently Asked Questions

18Related KEVOS Topics

19References

20AI Suggested Questions

Continue learning

Executive Summary

Overview

Learning Objectives

Definitions

Core Concepts

Key Results

Proof Techniques and Method

Worked Example

Process and Workflow

Comparison and Classification

Relationship Map

Applications and Industry Use

Standards and Notation

Computational Notes

Failure Modes and Common Mistakes

Quick Reference

Frequently Asked Questions

Related KEVOS Topics

References

AI Suggested Questions