alternative proof that a finite integral domain is a field

Proof.

Let $R$ be a finite integral domain and $a\\in R$ with $a\eq 0$ . Since $R$ is finite, there exist positive integers $j$ and $k$ with $j<k$ such that $a^{j}=a^{k}$ . Thus, $a^{k}-a^{j}=0$ . Since $j<k$ and $j$ and $k$ are positive integers, $k-j$ is a positive integer. Therefore, $a^{j}(a^{k-j}-1)=0$ . Since $a\eq 0$ and $R$ is an integral domain, $a^{j}\eq 0$ . Thus, $a^{k-j}-1=0$ . Hence, $a^{k-j}=1$ . Since $k-j$ is a positive integer, $k-j-1$ is a nonnegative integer. Thus, $a^{k-j-1}\\in R$ . Note that $a\\cdot a^{k-j-1}=a^{k-j}=1$ . Hence, $a$ has a multiplicative inverse in $R$ . It follows that $R$ is a field.∎

单词	AlternativeProofThatAFiniteIntegralDomainIsAField
释义	alternative proof that a finite integral domain is a field Proof. Let $R$ be a finite integral domain and $a\\in R$ with $a\eq 0$ . Since $R$ is finite, there exist positive integers $j$ and $k$ with $j<k$ such that $a^{j}=a^{k}$ . Thus, $a^{k}-a^{j}=0$ . Since $j<k$ and $j$ and $k$ are positive integers, $k-j$ is a positive integer. Therefore, $a^{j}(a^{k-j}-1)=0$ . Since $a\eq 0$ and $R$ is an integral domain, $a^{j}\eq 0$ . Thus, $a^{k-j}-1=0$ . Hence, $a^{k-j}=1$ . Since $k-j$ is a positive integer, $k-j-1$ is a nonnegative integer. Thus, $a^{k-j-1}\\in R$ . Note that $a\\cdot a^{k-j-1}=a^{k-j}=1$ . Hence, $a$ has a multiplicative inverse in $R$ . It follows that $R$ is a field.∎
随便看	TableOfMersennePrimes table of Mersenne primes TableOfMultiplicationUpTo12 table of multiplication up to 12 TableOfNaturalLogarithms table of natural logarithms TableOfPartialFractionExpansions table of partial fraction expansions table of polite number representations for 1<n<101 TableOfPoliteNumberRepresentationsFor1N101 TableOfPrimesBetweenTheFirst100Squares table of primes between the first 100 squares TableOfPrimesInArithmeticProgressionsPerDirichletsTheorem table of primes in arithmetic progressions per Dirichlet’s theorem TableOfPseudoprimesBelow2000InBases2To16 table of pseudoprimes below 2000 in bases 2 to 16 TableOfSmallKnodelNumbersKnFor0N26 table of small Knödel numbers K_n for 0<n<26 TableOfSmallMultiplyPerfectNumbers table of small multiply perfect numbers TableOfSomeFundamentalUnits table of some fundamental units TableOfSubtractionUpTo12 table of subtraction up to 12 TableOfTheFirst100Primorials