Algebraically closed skew fields (Q762589): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q958521
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Leonid G. Makar-Limanov / rank
 
Normal rank

Revision as of 14:30, 21 February 2024

scientific article
Language Label Description Also known as
English
Algebraically closed skew fields
scientific article

    Statements

    Algebraically closed skew fields (English)
    0 references
    1985
    0 references
    Let K be a skew field with centre C and denote by \(K_ C<x>\) its tensor K-ring over x (defined as the ring generated by K and x with defining relations \(\alpha x=x\alpha\) for \(\alpha\in C)\). The author constructs a skew field K of characteristic 0 such that for every \(f(x)\in K_ C<x>\), f(x)\(\not\in K\) there exists \(a\in K\) such that \(f(a)=0\) (he calls such K algebraically closed). The field K is obtained from a Mal'tsev-Neumann construction by an ingenious use of derivations, which is not easily summarized. As a consequence the author proves the following form of the Freiheitssatz conjectured by the reviewer [\textit{P. M. Cohn}, Free Rings, Lecture Notes, Yale Univ. (1962)]: Let F be the free algebra on \(x_ 1,...,x_ n\) over a field of characteristic 0 and let p be any element of F involving \(x_ 1\). Then the ideal generated by p contains no non- zero element not involving \(x_ 1\). He also observes that this entails the Freiheitssatz for Lie algebras of characteristic zero [of \textit{A. I. Shirshov}, Sib. Mat. Zh. 3, 292-296 (1962; Zbl 0104.260)].
    0 references
    0 references
    skew field
    0 references
    tensor K-ring
    0 references
    relations
    0 references
    algebraically closed
    0 references
    Mal'tsev- Neumann construction
    0 references
    derivations
    0 references
    Freiheitssatz
    0 references
    free algebra
    0 references
    Freiheitssatz for Lie algebras of characteristic zero
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references