Любой необратимый ненулевой элемент Евклидового Кольца может быть разложен на простые сомножители, причём это разложение единственно с точностью до порядка сомножителей и умножения на обратимые
Пример:
обрнеобр
Доказательство:
Пусть это не так: среди всех элементов Евкл. кольца, для которых это не так , выберем какой-нибудь с наименьшей нормой - элемент
- простой; разлож. состав. из него самого Противоречие
- составной Противоречие - сами раскладываются в такое произведение простых Единств простойМожносократить
любое Евклидово кольцо факториально ( факториальности следует из теоремы)
Пример нарушения факториальности:
составное
простое
нарушение единственности разложения точно не факториальное кольцо