@MISC{_mmlidentifier:, author = {}, title = {MML Identifier: REALSET2.}, year = {} }

Share

OpenURL

Abstract

The articles [4], [2], [3], and [1] provide the notation and terminology for thispaper. A field structure is said to be a field if: (Def.1) there exists an at least 2-elements set A and there exists a binary op-eration o1 of A and there exists an element n1 of A and there exists abinary operation o2 of A preserving A \ {n1} and there exists an element n2 of A \ single(n1) such that it = field(A, o1, o2, n1, n2) and group(A, o1, n1) is a group and for every non-empty set B and for every binary oper-ation P of B and for every element e of B such that B = A \ single(n1)and e = n2 and P = o2 _n1 A holds group(B, P, e) is a group and for allelements