MHB Prime elements in integral domains

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
In Dummit and Foote, Section 8.3 on Unique Factorization Domains, Proposition 10 reads as follows:

Proposition 10: In an integral domain a prime element is always irreducible.

The proof reads as follows:

===========================================================

Suppose (p) is a non-zero prime ideal and p = ab.

Then ab = p \in (p), so by definition of prime ideal, one of a or b, say a, is in (p).

Thus a = pr for some r.

This implies p = ab = prb and so rb = 1 and b is a unit.

This shows that p is irreducible.

==============================================================

My question is as follows: Where in this proof do D&F use the fact that p is in an integral domain? (It almost reads as if this applies for any ring)

Peter
 
Physics news on Phys.org
In this step:
Peter said:
This implies p = ab = prb and so rb = 1 and b is a unit.

Since an integral domain has no zero divisors by definition there's a cancelation law which says:
Let R be an integral domain and a,b,c \in R. If a \neq 0 and ab=ac then b=c.
 
Thread 'Determine whether ##125## is a unit in ##\mathbb{Z_471}##'
This is the question, I understand the concept, in ##\mathbb{Z_n}## an element is a is a unit if and only if gcd( a,n) =1. My understanding of backwards substitution, ... i have using Euclidean algorithm, ##471 = 3⋅121 + 108## ##121 = 1⋅108 + 13## ##108 =8⋅13+4## ##13=3⋅4+1## ##4=4⋅1+0## using back-substitution, ##1=13-3⋅4## ##=(121-1⋅108)-3(108-8⋅13)## ... ##= 121-(471-3⋅121)-3⋅471+9⋅121+24⋅121-24(471-3⋅121## ##=121-471+3⋅121-3⋅471+9⋅121+24⋅121-24⋅471+72⋅121##...
Back
Top