Lemma 11.4.6. Let $A$ be a finite simple $k$-algebra.

There exists exactly one simple $A$-module $M$ up to isomorphism.

Any finite $A$-module is a direct sum of copies of a simple module.

Two finite $A$-modules are isomorphic if and only if they have the same dimension over $k$.

If $A = \text{Mat}(n \times n, K)$ with $K$ a finite skew field extension of $k$, then $M = K^{\oplus n}$ is a simple $A$-module and $\text{End}_ A(M) = K^{op}$.

If $M$ is a simple $A$-module, then $L = \text{End}_ A(M)$ is a skew field finite over $k$ acting on the left on $M$, we have $A = \text{End}_ L(M)$, and the centers of $A$ and $L$ agree. Also $[A : k] [L : k] = \dim _ k(M)^2$.

For a finite $A$-module $N$ the algebra $B = \text{End}_ A(N)$ is a matrix algebra over the skew field $L$ of (5). Moreover $\text{End}_ B(N) = A$.

## Comments (0)

There are also: