请输入您要查询的字词:

 

单词 PrimeIdealFactorizationIsUnique
释义

prime ideal factorization is unique


The following theoremMathworldPlanetmath shows that the decomposition of an (integral) invertible ideal into its prime factorsMathworldPlanetmathPlanetmath is unique, if it exists. This applies to the ring of integersMathworldPlanetmath in a number field or, more generally, to any Dedekind domainMathworldPlanetmath, in which every nonzero ideal is invertible.

Theorem.

Let I be an invertible ideal in an integral domain R, and that

I=𝔭1𝔭2𝔭m=𝔮1𝔮2𝔮n

are two factorizations of I into a productPlanetmathPlanetmath of prime idealsPlanetmathPlanetmathPlanetmath. Then m=n and, up to reordering of the factors, pk=qk (k=1,2,,n).

Here we allow the case where m or n is zero, in which case such an empty product is taken to be the full ring R.

Proof.

We use inductionMathworldPlanetmath on m+n. First, the case with m+n=0 is trivial, so suppose that m+n>0.As the set of prime ideals 𝔭k, 𝔮k is partially ordered by inclusion, there must be a minimal element. After reordering, without loss of generality we may suppose that it is 𝔭1. Then

𝔮1𝔮2𝔮n𝔭1,

so n1. Furthermore, as 𝔭1 is prime, this implies that 𝔮k𝔭1 for some k. After reordering the factors, we can take k=1, so that 𝔮1𝔭1.

As 𝔭1 is minimalPlanetmathPlanetmath among the prime factors, we have 𝔮1=𝔭1. Also, 𝔭1 is a factor of the invertible ideal I and so is itself invertible. Therefore, it can be cancelled from the products,

𝔭2𝔭m=𝔮2𝔮n.

The induction hypothesis gives m=n and, after reordering, 𝔭k=𝔮k for k=2,,n.∎

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 3:48:37