MHB An Artinian integral domain is a field

mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

I want to show that an Artinian integral domain is a field.

Let $R$ be an Artinian integral domain and $a\in R$ with $a\neq 0$.
Can we take then the sequence $(a)\supseteq (a)^2\supseteq (a^3)\supseteq \dots $ ? (Wondering)

Since $R$ is an Artinian integral domain we have that $\exists k\in R$ such that $(a^k)=(a^{k+1})$, i.e., $a^k\in (a^k)=(a^{k+1})\Rightarrow a^k=a^{k+1}m$ for some $m\in R$.
We have that $a^k=a^{k+1}m\Rightarrow a^k=a^k\cdot a\cdot m \Rightarrow a^k\cdot 1=a^k\cdot (a\cdot m)$.
Since $a\neq 0$, we have that $a^n\neq 0$ since $R$ is an integral domain, right? (Wondering)
Do we conclude from the last equation that $1=a\cdot m$ ? (Wondering)
 
Physics news on Phys.org
In an integral domain, if:

$ar = as$ for $a \neq 0$, then we have:

$a(r - s) = 0$, and since $a \neq 0$, we must have $r - s = 0$, that is: $r = s$.

So, yes (we can "cancel" non-zero terms on each side of an equation).
 
Deveno said:
In an integral domain, if:

$ar = as$ for $a \neq 0$, then we have:

$a(r - s) = 0$, and since $a \neq 0$, we must have $r - s = 0$, that is: $r = s$.

So, yes (we can "cancel" non-zero terms on each side of an equation).

Ah ok... I see... (Nod)
mathmari said:
Let $R$ be an Artinian integral domain and $a\in R$ with $a\neq 0$.
Can we take then the sequence $(a)\supseteq (a)^2\supseteq (a^3)\supseteq \dots $ ? (Wondering)

Can we just take this sequence? (Wondering)
 
mathmari said:
Ah ok... I see... (Nod)


Can we just take this sequence? (Wondering)

Sure, and then your derivation of:

$a^k \cdot 1_R = a^k (am)$, shows that any $a \neq 0$ is a unit.
 
Thanks a lot! (flower)
 
Thread 'Derivation of equations of stress tensor transformation'
Hello ! I derived equations of stress tensor 2D transformation. Some details: I have plane ABCD in two cases (see top on the pic) and I know tensor components for case 1 only. Only plane ABCD rotate in two cases (top of the picture) but not coordinate system. Coordinate system rotates only on the bottom of picture. I want to obtain expression that connects tensor for case 1 and tensor for case 2. My attempt: Are these equations correct? Is there more easier expression for stress tensor...
Back
Top