Re: Product of Prime Ideals
- From: quasi <quasi@xxxxxxxx>
- Date: Thu, 06 Mar 2008 15:42:26 -0500
On Thu, 6 Mar 2008 12:30:11 -0800 (PST), hagman <google@xxxxxxxxxxxxx>
wrote:
On 6 Mrz., 21:08, quasi <qu...@xxxxxxxx> wrote:
On Thu, 6 Mar 2008 19:53:10 +0000 (UTC), magi...@xxxxxxxxxxxxxxxxx
(Arturo Magidin) wrote:
In article <3gg0t3dq07fhdtdn73bmj7rm0u8l61m...@xxxxxxx>,
quasi <qu...@xxxxxxxx> wrote:
So then, how about an example of prime ideals P,Q in a commutative
unit ring R such that the product ideal P*Q is a proper subset of the
ideal (P intersect Q).
Probably there are easy examples, but thinking about it briefly, I
couldn't come up with one.
You mean, besides taking P=Q? (4) = (2)(2) =/= (2)/\(2) in Z.
Yes, of course, I meant to bar inclusion of either one into the other.
To restate the request ...
Give an example of prime ideals P,Q in a commutative ring R with 1,
where neither of P,Q is a subset of the other, and such that the
product ideal P*Q is a proper subset of the ideal (P intersect Q).
quasi
Since (P intersect Q) is in P, we must have P as a factor of (P
intersect Q).
I have no idea what the above statement means.
Similarly, Q is a factor.
Since P and Q are different, they both appear in the prime ideal
decomposition of (P intersect Q).
Prime ideal decomposition? What does that mean?
Hence P*Q subseteq (P intersect Q) = P * Q * ... subseteq P*Q
It appears you are claiming to have proved (subject to the stated
conditions) that
(P intersect Q) = P*Q
If that's your claim, I don't follow the logic.
quasi
.
- References:
- Product of Prime Ideals
- From: sanchopancho80
- Re: Product of Prime Ideals
- From: Hagen
- Re: Product of Prime Ideals
- From: quasi
- Re: Product of Prime Ideals
- From: Arturo Magidin
- Re: Product of Prime Ideals
- From: quasi
- Re: Product of Prime Ideals
- From: hagman
- Product of Prime Ideals
- Prev by Date: Re: Product of Prime Ideals
- Next by Date: Re: (n!e^2) dense modulo 1 ?
- Previous by thread: Re: Product of Prime Ideals
- Next by thread: Re: Product of Prime Ideals
- Index(es):
Relevant Pages
|