Some new results on ordered fields (Q1090367)

From MaRDI portal
Revision as of 20:07, 17 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Some new results on ordered fields
scientific article

    Statements

    Some new results on ordered fields (English)
    0 references
    1987
    0 references
    The author begins by asking whether there are real closed non-archimedean fields whose only automorphism is the identity. He then constructs an example of a non-archimedean ordered field with this property. He next defines a) the Bolzano property and b) the maximum principle of an ordered field F as: a) every polynomial over F which has opposite signs at two values in F, has a zero between these two values; b) every polynomial over F attains a maximum on each closed interval. He then shows that a), b) and being real closed are equivalent. The last part of the paper deals with EP fields: a field F, is said to be EP, if every automorphism of the rational function field over F in one variable sends F onto itself. In an earlier paper, the author and \textit{T. Recio} [J. Pure Appl. Algebra 30, 237-246 (1983; Zbl 0533.12018)], had already shown that algebraically closed fields, algebraic number fields, Euclidean fields, and fields with a unique ordering, archimedean over the rationals, are EP. Here he shows that finite fields, fields F with a unique ordering such that card Hom(F,F) is strictly less than card F, and n-fields are all EP. In this context, an n-field F is one where \(x^ n- ax-1=0\) has a zero in F, for all a in F and some fixed natural number n. The paper ends with two unsettled questions.
    0 references
    0 references
    0 references
    0 references
    0 references
    real closed fields
    0 references
    automorphism of rational function field
    0 references
    non- archimedean ordered field
    0 references
    EP fields
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references