Thread: Principal Ideal

Looking for help on the following problem:
Let R, a ring be Z[x] (polynomials with integer coefficients). Let (2,x) be the ideal generated by 2 and x.
1.) Prove that the ideal (2,x) is not principal and conclude that Z[x] is not a principal ideal ring.
2.) Find a homomorphism f: R to Z2 such that (2,x)=Ker(f).

Thank you.

Originally Posted by JaysFan31

Looking for help on the following problem:
Let R, a ring be Z[x] (polynomials with integer coefficients). Let (2,x) be the ideal generated by 2 and x.
1.) Prove that the ideal (2,x) is not principal and conclude that Z[x] is not a principal ideal ring.

(I think we should mention a commutative ring with unity first).

We need to show that,
is not equal to some
Let us assume that it is,
thus, since 2 is prime and are polynomials we conclude they must be constant and that , .

Thus, if it is an ideal it must be either,

But,
And contains all polynomials with the constant term being even, thus,

Thus, if it is an ideal it must be,

But, contains all the polynomials with even coefficients. While does contains some that are not, for example, . Thus,
An impossibility.

(What we actually shown is that,
)

Now, what ails me is that you say,
"conclude Z[x] is not a principal ideal ring"
That is not true, any commutative ring with unity always is a principal ideal ring. What you probabaly wanted to say is that, "conclude that (2,x) is not a principal ideal ring in Z[x]".

-----------

2.) Find a homomorphism f: R to Z2 such that (2,x)=Ker(f).

That is impossible, the kernel of any ring homomorphism is an ideal!
is not an ideal in .

Originally Posted by ThePerfectHacker

(I think we should mention a commutative ring with unity first).

We need to show that,
is not equal to some
Let us assume that it is,
thus, since 2 is prime and are polynomials we conclude they must be constant and that , .

Thus, if it is an ideal it must be either,

But,
And contains all polynomials with the constant term being even, thus,

Thus, if it is an ideal it must be,

But, contains all the polynomials with even coefficients. While does contains some that are not, for example, . Thus,
An impossibility.

(What we actually shown is that,
)

Now, what ails me is that you say,
"conclude Z[x] is not a principal ideal ring"
That is not true, any commutative ring with unity always is a principal ideal ring. What you probabaly wanted to say is that, "conclude that (2,x) is not a principal ideal ring in Z[x]".

-----------


That is impossible, the kernel of any ring homomorphism is an ideal!
is not an ideal in .

Wait a MIN, I thought a PID is of those ring that every ideal in it is of the form <ar> so if <2,x> is an Ideal in Z[X] shouldnt we conclude that z[X] is not PID?

Originally Posted by ThePerfectHacker

That is impossible, the kernel of any ring homomorphism is an ideal!
is not an ideal in .

This is totally wrong. (2,x) is DEFINED to be the ideal generated by {2,x}. It's just not a principal ideal.

The homomorphism is defined by f(x)|->c mod 2, where c is the constant term of f(x)

Originally Posted by hamidr

Wait a MIN, I thought a PID is of those ring that every ideal in it is of the form <ar> so if <2,x> is an Ideal in Z[X] shouldnt we conclude that z[X] is not PID?

An ideal can be generated by two elements does not mean that it cannot be generated by one element. e.g. in ring Z, can you say the existence of (4,6) means that Z is not a PID? No! because (4,6)=(2).

Originally Posted by ThePerfectHacker

(I think we should mention a commutative ring with unity first).

We need to show that,
is not equal to some
Let us assume that it is,
thus, since 2 is prime and are polynomials we conclude they must be constant and that , .

Thus, if it is an ideal it must be either,

But,
And contains all polynomials with the constant term being even, thus,

Thus, if it is an ideal it must be,

But, contains all the polynomials with even coefficients. While does contains some that are not, for example, . Thus,
An impossibility.

(What we actually shown is that,
)

Now, what ails me is that you say,
"conclude Z[x] is not a principal ideal ring"
That is not true, any commutative ring with unity always is a principal ideal ring. What you probabaly wanted to say is that, "conclude that (2,x) is not a principal ideal ring in Z[x]".

OK I feel that I have to read this proof carefully. The beginning part works. Assume S is principal, then it could only be (1) or (2). Clearly 1 is not in there, so S is not (1). Clearly x+2 is in S but not in (2), so S is also not (2). This itself gives a contradiction and finishes the proof of "Z[x] is not a PID".

The last comment does not make any sense. One really interesting thing is that, if what you said were true, then Lame would have proven Fermat's last theorem years earlier, since the ring of algebraic integers over Q(\zeta_n) is a commutative ring, and PID implies UFD.