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

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 > – двусторонний главный идеал кольца, порожденный элементом а