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