definition of maximal ideal of ring
Topics
About: ring
The table of contents of this article
Starting Context
- The reader knows a definition of ring.
- The reader knows a definition of ideal of ring.
Target Context
- The reader will have a definition of maximal ideal of ring.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
\( R\): \(\in \{\text{ the rings }\}\)
\(*I_b\): \(\in \{\text{ the ideals of } R\}\)
//
Conditions:
\(\{0\} \subset I_b \subset R\)
\(\land\)
\(\lnot \exists I'_b \in \{\text{ the ideals of } R\} (I_b \subset I'_b \subset R)\)
//
