Definition: Maximal Ideal

An ideal \(I\lhd R\) in a commutative ring \(R\) is called a maximal ideal, if * \(I\neq R\) and * there is no proper superset of \(J\supset I\) and an ideal of $J\lhd R.$

  1. Lemma: Fiber of Maximal Ideals

Lemmas: 1
Proofs: 2
Propositions: 3


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs
non-Github:
@Brenner


References

Adapted from CC BY-SA 3.0 Sources:

  1. Brenner, Prof. Dr. rer. nat., Holger: Various courses at the University of Osnabrück