On Mutual Definability of Operations on Fields. / Korotkova, R. M.; Kudinov, O. V.; Morozov, A. S.
In: Siberian Mathematical Journal, Vol. 60, No. 6, 01.11.2019, p. 1032-1039.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - On Mutual Definability of Operations on Fields
AU - Korotkova, R. M.
AU - Kudinov, O. V.
AU - Morozov, A. S.
PY - 2019/11/1
Y1 - 2019/11/1
N2 - We study the possibilities of defining some operations on fields via the remaining operations. In particular, we prove that multiplication on an arbitrary field can be defined via addition if and only if the field is a finite extension of its prime subfield. We give a sufficient condition for the nondefinability of addition via multiplication and demonstrate that multiplication and addition on the reals and complexes cannot be mutually defined by means of the relations with parameters which are preserved under automorphisms. We also describe the mutual definability of addition, multiplication, and exponentiation via the remaining two operations.
AB - We study the possibilities of defining some operations on fields via the remaining operations. In particular, we prove that multiplication on an arbitrary field can be defined via addition if and only if the field is a finite extension of its prime subfield. We give a sufficient condition for the nondefinability of addition via multiplication and demonstrate that multiplication and addition on the reals and complexes cannot be mutually defined by means of the relations with parameters which are preserved under automorphisms. We also describe the mutual definability of addition, multiplication, and exponentiation via the remaining two operations.
KW - definability
KW - exponentiation
KW - field
UR - http://www.scopus.com/inward/record.url?scp=85079732041&partnerID=8YFLogxK
U2 - 10.1134/S0037446619060119
DO - 10.1134/S0037446619060119
M3 - Article
AN - SCOPUS:85079732041
VL - 60
SP - 1032
EP - 1039
JO - Siberian Mathematical Journal
JF - Siberian Mathematical Journal
SN - 0037-4466
IS - 6
ER -
ID: 23593447