Consider the following theorem:
If $I$ is a modular maximal ideal of a unital abelian algebra $A$, then $A/I$ is a field.
It is a basic fact of algebra that if $R$ is a commutative unital ring then $R/I$ is a field if and only if $I$ is a maximal ideal. A unital abelian algebra is a unital ring. So: is it possible that ''modular'' is a ''typo'' and can be ommited?
Just in case let me include the proof:
