From: William Elliot on
>>> In conclusion. If I is an ideal of a Boolean ring B, then
>>> I is prime ideal iff I is maximal ideal
>
> Right.
>
>> I is maximal ideal among ideals excluding a
>> iff I is proper prime ideal iff I is maximal ideal.
>
> Those iff's should be forward implications.

If I ideal Boolean ring B, a not in I, then

I is maximal ideal among ideals excluding a
iff I is prime ideal iff I is maximal ideal.




> quasi
>
From: quasi on
On Thu, 12 Aug 2010 00:56:29 -0700, William Elliot
<marsh(a)rdrop.remove.com> wrote:

>>>> In conclusion. If I is an ideal of a Boolean ring B, then
>>>> I is prime ideal iff I is maximal ideal
>>
>> Right.
>>
>>> I is maximal ideal among ideals excluding a
>>> iff I is proper prime ideal iff I is maximal ideal.
>>
>> Those iff's should be forward implications.
>
>If I ideal Boolean ring B, a not in I, then
>
>I is maximal ideal among ideals excluding a
>iff I is prime ideal iff I is maximal ideal.

That's better.

quasi