Definition of Maximal Ideal leading to a maximal ideal being a subset of another ideal

144 Views Asked by At

A definition of a maximal ideal in a ring $R$ is as follows:

$I$ is a maximal ideal if for any ideal $J$ with $I \subseteq J$, either $J = I$ or $J = R$.

Let's say $I \subseteq J = R$, thus by this definition, $I$ is a maximal ideal. However $J$ is also an ideal, with size larger than that of $I$ (since $J=R$). Thus using this definition, both $J$ and $I$ are ideals, where $I$ is maximal, while being a subset of $J$. How can this be?

1

There are 1 best solutions below

0
On BEST ANSWER

$I$ is a maximal ideal if it is a proper ideal (so with $I \neq R$) such that whenever $J$ is any ideal with $I \subseteq J$ we have $J = I$ or $J=R$.

As $R$ is always an ideal, without the properness condition, there could only be one, namely $R$, in any ring $R$. This trivialises the notion, the interesting case is when $I$ is proper and we cannot enlarge it and have a larger proper ideal. And this is what the above amended definition comes down to.