General Version

Let and be simple -modules. Then unless in which case the endomorphism ring is a division ring.

Link to original

Representation Theory Version

Schur lemma

Let and be two finite-dimensional irreducible representations of a group and is -homomorphism, then either is invertible, or . Moreover, if , then is an isomorphism.

In particular, if is algebraically closed and , then a non-zero homomorphism is a scalar multiple of the identity endomorphism.

a Corollary

Corollary

Any finite-dimensional division -algebra over an algebraically closed field is isomorphic to .

?- 或更学术地归入 Wedderburn’s little theorem(魏德本小定理) 的更广泛背景中,尽管它原本是关于有限除环的。

just a Schur Lemma Meetup

  • If is a -isomorphism, then is a scalar multiple of the identity endomorphism .
Link to original

If is algebraically closed field, is a irreducible representation of in , and morphism of -modules, then there exists such that .

Link to original

Let be two irreducible -modules. If is a homomorphism, then either or is an isomorphism. If is algebraically closed and is finite-dimensional irreducible, then for any there is such that .

Link to original