Нормальная форма Смита

Нормальная форма Смита — это диагональная (не обязательно квадратная) матрица над областью главных идеалов, каждый следующий диагональный элемент которой делится на предыдущий. Любую матрицу над областью главных идеалов можно привести к нормальной форме Смита путём умножения слева и справа на обратимые матрицыШаблон:Sfn.

Формулировка

Для любой матрицы $A$ размера $m\times n$ над областью главных идеалов $R$ существуют такие обратимые над $R$ матрицы $B$ и $C$, что $BAC=\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}(g_1,g_2,\dots ,g_p,0,\dots ,0)$, где $g_{i+1}$ делится на $g_i$. Здесь $\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}(g_1,g_2,\dots ,g_p,0,\dots ,0)$ обозначает матрицу размера $m\times n$ с указанными диагональными элементами и нулями на остальных позициях.

Применения

Из теоремы о нормальной форме Смита следует известная теорема о структуре конечнопорожденных модулей над областями главных идеалов. В частности, если $R$ — кольцо целых чисел, то из нормальной формы Смита получается теорема о строении конечнопорожденных абелевых групп, а если $R=F[t]$ — кольцо многочленов над алгебраически замкнутым полем $F$, то из нее можно вывести теорему о жордановой форме линейного оператора.

См. также

• Эрмитова нормальная форма

Литература

• Шаблон:Книга