/sci/ - Science & Math

>>9040763
You mean besides the definition that clearly states that +: K+ -> K+ forms a group (K+,+) and *: K* -> K* forms a group (K*,*)? It's all there. The group statements explicitly say that 1 and 0 are not included, see above. 1+x and 0*x need to be defined afterwards. You will find this consistent with the standard definition of a field that never explicitly defines multiplication with 0 as there is only one definition that arises consistently from distributivity.