Основные обозначения

M_n(K) – множество квадратных матриц порядка n с коэффициентами из множества K

K[x] – множество полиномов от одной переменной x с коэффициентами из кольца K

K ^* – мультипликативная группа кольца K

L  K или L < K при L  K – L является подкольцом кольца K

JK – J является двусторонним идеалом кольца K

aK – главный левый идеал кольца K, порожденный элементом a

Ka – главный правый идеал кольца K, порожденный элементом a

< a > – двусторонний главный идеал кольца, порожденный элементом а

deg f – степень многочлена f(x)

g(x) | f(x) – многочлен g(x)  0 делит многочлен f(x)

f(x)  g(x) – многочлен f(x) делится на многочлен g(x)  0

g(x)f(x) – многочлен g(x)  0 не делит многочлен f(x)

f(x)g(x) – многочлен f(x) не делится на многочлен g(x)  0