Разложение модуля

[Unconnected]

$_RM$ - конечно порожденный периодический. Запишем $_RM$ в виде
$_RM=(R/<p>^{\alpha_1})^{k_1} \bigoplus (R/<p>^{\alpha_2})^{k_2} \bigoplus ... \bigoplus (R/<p>^{\alpha_n})^{k_n}$, $\alpha_i > \alpha_{i+1}, i=1..n-1$
Откуда следует возможность такого представления?

[alcoholist]

что за кольцо? что такое $p$?

[Unconnected]

Кольцо $R:=K[X]$, $K$-поле, $p$ прост.