On the existence of directed rings and algebras with negative squares (Q2368728)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the existence of directed rings and algebras with negative squares
scientific article

    Statements

    On the existence of directed rings and algebras with negative squares (English)
    0 references
    28 April 2006
    0 references
    In 1926, E. Artin and O. Schreier proved that a totally ordered field cannot have squares which are equal to \(-1\). This result was generalized to totally ordered integral domains with identity by R. E. Johnson (1956) and L. Fuchs (1958). In the paper under review it is shown that this result cannot be generalized to directed partially ordered integral domains. In fact, a method for constructing such directed partially ordered rings and algebras having negative squares is presented. This is done using certain negative valuations of a totally ordered field \(F\). It is proved that on every extension \(F(a)\) such that \(a^2=-1\), there exists a partial order with respect to which \(F(a)\) is a directed field. In particular, if \(Q\) denotes the quotient field of the polynomial ring \(F[x]\), then for any solution \(a\) of \(x^2+1=0\), \(Q(a)\) can be partially ordered so that it forms a directed field. Analoguous results are shown for directed \(R\)-algebras, where \(R\) is a totally ordered ring. Finally, three concrete examples of directed \(R\)-algebras are given, which are not lattice-ordered.
    0 references
    Directed ring
    0 references
    Directed algebra
    0 references
    Valuation
    0 references
    Negative square
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references