単純多元環
可換体 K 上の代数 R で、環として単純環になっている(つまり、R の両側イデアルが 0 と R 自身しかない)とき、R は K 上の線形単純環と呼ばれる。線形単純環 R が K 上有限次元のとき、K をその中心に含むような斜体 D が存在して、R は D 上の行列環(の反対環)と見なせることが知られている。