Простое кольцо (алгебра)

Простое кольцо — кольцо $R$, такое, что $R^2\ne \{0\}$ и в $R$ нет двусторонних идеалов, отличных от $R$ и $\{0\}$.

Примеры и теоремы

• Рассмотрим кольцо $R$, такое, что $R^2\ne \{0\}$, и аддитивная группа $⟨R,+⟩$ имеет простой порядок. Тогда кольцо $R$ — простое, так как в $⟨R,+⟩$ нет собственных подгрупп.
• Любое поле является простым кольцом, так как в поле нет собственных идеалов.
• Ассоциативное коммутативное кольцо $R$ с единицей является полем тогда и только тогда, когда $R$ простое кольцо.
• Если $P$ — поле, $n$ — натуральное число, то кольцо матриц $\mathrm{M}\mathrm{a}\mathrm{t}(P,n)$ — простое.

Теорема Веддербёрна

Пусть $R$ — простое кольцо с единицей и минимальным левым идеалом. Тогда кольцо $R$ изоморфно кольцу всех матриц порядка $n$ над некоторым телом. При этом $n$ определено однозначно, а тело с точностью до изоморфизма. Обратно, для любого тела $D$ кольцо $\mathrm{M}\mathrm{a}\mathrm{t}(D,n)$ является простым кольцом.

Литература

• Херстейн И. Некоммутативные кольца. — М.: Мир, 1972.
• Джекобсон Н. Строение колец. — М.: Издательство иностранной литературы, 1961.
• Глухов М. М., Елизаров В. П., Нечаев А. А. Алгебра: Учебник. В 2-х т. Т. 2. — М.: Гелиос АРВ, 2003.