Можете для начала написать определения ассоциативных и простых элементов.
Винберг стр 116 Определение 4. Необратимый ненулевой элемент
![$p$ $p$](https://dxdy-03.korotkov.co.uk/f/2/e/c/2ec6e630f199f589a2402fdf3e0289d582.png)
целостного кольца называется простым, если он не может быть представлен в виде
![$p=ab$ $p=ab$](https://dxdy-01.korotkov.co.uk/f/4/6/9/4695cae49b6553870e79d830e682f2e482.png)
, где
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
и
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
—необратимые элементы.
Винберг стр 114Элементы
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
и
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
целостного кольца называются ассоциированными (обозначение:
![$ a \sim b$ $ a \sim b$](https://dxdy-03.korotkov.co.uk/f/a/a/e/aae932a389ec65e5ad6b983aac8d798782.png)
, если выполняется любое из следующих эквивалентных условий:
1)
![$ b | a $ $ b | a $](https://dxdy-03.korotkov.co.uk/f/6/1/f/61f8f172b2effbf16d8d65733dd80e3e82.png)
и
![$ a | b $ $ a | b $](https://dxdy-01.korotkov.co.uk/f/4/c/7/4c79cec19b8fca2d9ce54b0a4848b33a82.png)
2)
![$a=cb$ $a=cb$](https://dxdy-01.korotkov.co.uk/f/c/d/2/cd23c941082c91339a8e18409a5d0a0482.png)
, где
![$c$ $c$](https://dxdy-04.korotkov.co.uk/f/3/e/1/3e18a4a28fdee1744e5e3f79d13b9ff682.png)
—обратимый элемент.
Спасибо за вопрос. Очень полезно регулярно обновлять в памяти определения
![Smile :-)](./images/smilies/icon_smile.gif)
.
![$Z_{30}$ $Z_{30}$](https://dxdy-04.korotkov.co.uk/f/7/0/6/70656b6a48a4285c8b96c353db49acb882.png)
- нецелостное кольцо. Вроде бы все по определению ясно. Но у меня уже
![$3$ $3$](https://dxdy-02.korotkov.co.uk/f/5/d/c/5dc642f297e291cfdde8982599601d7e82.png)
- получился ассоциированным элементом. Может не точно проверял. Объем большой. Выход, либо в лоб писать программу проверки, либо какой-то алгоритм на свойствах чисел.
Интересно, есть такой?