MHB Quotient Ring of a Field: Is it Trivial or Isomorphic to the Field?

Fantini
Gold Member
MHB
Messages
267
Reaction score
0
Good afternoon! Along the same lines as the other, here is the question:

Show that the quotient ring of a field is either the trivial one or is isomorphic to the field.

My answer: Let $N$ be an ideal of the field $F$. Assume that $N \neq \{ 0 \}$. Consider the homomorphism $\phi: F \to F / N$ defined by $\phi(a) = a + N$. If we show that it is one-to-one and onto we are done. It is clearly surjective, thus all that is left is to show injectivity. If $a \neq b$ then we will have $a + N \neq b + N$, but this is none other than $\phi(a) \neq \phi(b)$.

Thanks for all help! (Yes)
 
Physics news on Phys.org
a+N ≠ b+N does not follow from a ≠ b. all we can say from a+N ≠ b+N is that:

a-b is not in N.

what you need here is that if N ≠ {0}, then N = F, so that $\phi$ is the 0-map.

suppose N is a non-trivial ideal of F. since N is non-trivial there exists a ≠ 0 in N.

since a is non-zero, and F is a FIELD, we have 1/a in F.

since N is an IDEAL, we have 1 = (1/a)a in N.

thus, for any x in F, we have x = x(1) is in N, since N is an ideal.

since N contains all of F, N = F, as desired.

you have your conditions backwards, as well, you need to show that $\phi$ is bijective iff N = {0}.
 
That's quite a few arguments missing (not to mention mine is wrong). I need to stop and pay more attention whenever I feel uneasy, because at all times it has been proved the uneasiness is justified.

Thanks Deveno!
 
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