Return to Revisions

You can define $\mathfrak{m}_R := \{x ~|~ \forall y : 1 - xy \in R^*\}$. Then a homomorphism $R \to S$ of local rings is a map which is compatible with the ring structure and maps $\mathfrak{m}_R$ maps into $\mathfrak{m}_S$. However, this is not equivalent to the usual condition that images of non-units are non-units: In general it is not true that $R = R^* \cup \mathfrak{m}_R$. This is proven by Thierry Coquand in a remark about the theory of local rings.