BibTeX
@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
