矩阵环的单边理想

设R是有单位元1的环,(R)_n表示R上全体n阶方阵关于矩阵加法与乘法作成的环,则(R)_n的所有理想作成的格(见[1]P217)与R的所有理想作成的格同构(见[2]P178)。本文讨论(R)_n的左理想,得出如下结论: 1) (R)_n的左理想格同构于左R-模的子模格。