Читаю учебник алгебры. Встретил доказательство того, что в (коммутативном целостном) кольце главных идеалов разложение на простые множители единственно с точностью до умножения на обратимые и перестановки множителей. Объясните, пожалуйста, чем тут обосновано сокращение? Разве в произвольных кольцах всегда можно сокращать?
