可換環 R のイデアル I が極大イデアルであるとき、剰余環 R/I はどのような構造を持つか。

極大イデアルによる剰余環は必ず体になるという代数学の基本性質である。