 Quote by matheinste
In the case you have cited are the zero and one nullary operators the same as the identity elements for the two field operations?
|
Yes. Among the axioms would be
[tex](\forall x)\; (x+0=x)[/tex]
[tex](\forall x)\; (x\cdot 1 = x)[/tex]