请输入您要查询的字词:

 

单词 AFiniteIntegralDomainIsAField
释义

a finite integral domain is a field


A finite integral domain is a field.

Proof:
Let R be a finite integral domain. Let a be nonzero element of R.

Define a functionMathworldPlanetmath φ:RR by φ(r)=ar.

Suppose φ(r)=φ(s) for some r,sR. Then ar=as, which implies a(r-s)=0. Since a0 and R is a cancellation ring, we have r-s=0. So r=s, and hence φ is injectivePlanetmathPlanetmath.

Since R is finite and φ is injective, by the pigeonhole principleMathworldPlanetmath we see that φ is also surjectivePlanetmathPlanetmath. Thus there exists some bR such that φ(b)=ab=1R, and thus a is a unit.

Thus R is a finite division ring. Since it is commutative, it is also a field.

Note:
A more general result is that an Artinian integral domain is a field.

随便看

 

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

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 6:10:09