Let R be a commutative ring and let I be an ideal in R.

[Icebreaker]

Let R be a commutative ring and let I be an ideal in R.
1. If every ideal in R is principal, then every ideal in R/I is principal.
2. If every ideal in R/I is principal, then every ideal in R is principal.
I must prove or disprove if either is true or false. Can someone tell me whether either is true or false so I can know how to proceed?

 

[Hurkyl]

I'm sure someone can, but it isn't good for you.

This is exactly analogous to someone doing arithmetic problems and asking for an answer key before they try to solve them.

You shouldn't need to know the answer to a problem before you can solve it.

 

[Icebreaker]

2 doesn't seem to be true. Consider R=Z[x] and I=2Z[x]+xZ[x]. R/I={0,1}. Every ideal in R/I is certainly principal. However, not ever ideal in Z[x] is principal: for instance, let J={polynomials whose constant terms are even integers}. To show this, suppose J is principal, then J consists of multiples of some element p(x). Since 2 is in J, 2 must be a multiple of p(x), which implies that p(x) must be of degree 0. Since p(x) is in J, it must be +/-2. However, x is in J because it has an even constant. Therefore, x must be a multiple of +/-2. This is impossible since all polynomials involved have integer coefficients. Therefore, J is not principal.

1 is intuitively true, but so far, no luck in proving it. If every ideal I in R is principal, let I={rc:r in R}. R/I={[a]_c : a in R}. If J is an ideal in R/I, then it must be closed under multiplication. I think I can create a contradiction here assuming J is not principal, but I haven't been able to.

 

[Hurkyl]

Your approach for 2 looks good.

For 1, how far did you get?

 

[Icebreaker]

Not very far. I can't seem to use the fact that I is a principal ideal anywhere in my proof. What makes R/I where I is principal so special?

 

[matt grime]

Ideals in R/I are lift to ideals in R that contain I

 

[Icebreaker]

I'm not entirely sure what you mean by "lift". Do you mean ideals in R/I are contained in I?

 

[Hurkyl]

What makes R/I where I is principal so special?

It doesn't.

 

[CarlB]

It seems that a way of understanding the relationships between ideals and principal ideals is to look at matrix groups over the reals with matrix arithmetic defining addition and multiplication.

Some principal ideals for 4x4 matrices:

\left(\begin{array}{cccc}1&0&0&0\\0&0&0&0\\0&0&0&0\\0&0&0&0\end{array}\right)


\left(\begin{array}{cccc}.5&.5&0&0\\.5&.5&0&0\\0&0&0&0\\0&0&0&0\end{array}\right)

A non principal ideal:

\left(\begin{array}{cccc}1&0&0&0\\0&1&0&0\\0&0&0&0\\0&0&0&0\end{array}\right)

Carl

 

[Treadstone 71]

I have the same problem and I still haven't solved it. Any suggestions?

 

[CarlB]

On principal ideals.

Perhaps it is worthwhile recalling the various ways that a primitive ideal can be distinguished from an ideal.

What I recall is that P is primitive if P cannot be written as the sum of two non trivial ideals. A "trivial" ideal would be zero.

Carl