ideal decomposition in Dedekind domain

According to the entry “fractional ideal (http://planetmath.org/FractionalIdeal)”, we can that in a Dedekind domain $R$, each non-zero integral ideal $𝔞$ may be written as a product of finitely many prime ideals ${𝔭}_i$ of $R$,

$$𝔞={𝔭}_1{𝔭}_2\mathrm{\dots }{𝔭}_k.$$

The product decomposition is unique up to the order of the factors.  This is stated and proved, with more general assumptions, in the entry “prime ideal factorisation is unique (http://planetmath.org/PrimeIdealFactorizationIsUnique)”.

Corollary.  If ${\alpha }_1$, ${\alpha }_2$, …, ${\alpha }_m$ are elements of a Dedekind domain $R$ and $n$ is a positive integer, then one has

${({\alpha }_1,{\alpha }_2,\mathrm{\dots },{\alpha }_m)}^n=({\alpha }_1^n,{\alpha }_2^n,\mathrm{\dots },{\alpha }_m^n)$(1)

for the ideals of $R$.

This corollary may be proven by induction on the number $m$ of the $n$).

Title	ideal decomposition in Dedekind domain
Canonical name	IdealDecompositionInDedekindDomain
Date of creation	2015-05-05 19:05:43
Last modified on	2015-05-05 19:05:43
Owner	pahio (2872)
Last modified by	pahio (2872)
Numerical id	13
Author	pahio (2872)
Entry type	Topic
Classification	msc 11R37
Classification	msc 11R04
Related topic	ProductOfFinitelyGeneratedIdeals
Related topic	PolynomialCongruence
Related topic	CancellationIdeal
Related topic	DivisibilityInRings
Related topic	IdealsOfADiscreteValuationRingArePowersOfItsMaximalIdeal
Related topic	DivisorTheory
Related topic	GreatestCommonDivisorOfSeveralIntegers