On universal fields of fractions for free algebras (Q1585308)

From MaRDI portal
Revision as of 02:09, 1 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
On universal fields of fractions for free algebras
scientific article

    Statements

    On universal fields of fractions for free algebras (English)
    0 references
    0 references
    29 April 2001
    0 references
    Let \(K\langle x_i \mid i\in I\rangle_K\) be a free associative algebra over a field \(K\). The universal field of fractions for this algebra was constructed by \textit{S. A. Amitsur} in connection with the study of rational identities in skew fields [J. Algebra 3, 304-359 (1966; Zbl 0203.04003)]. Such skew fields are called also ''free fields''. Now let \(L\) be an arbitrary Lie algebra over a field \(K\) and \(U(L)\) be its universal enveloping algebra. \textit{P. M. Cohn} proved that \(U(L)\) can be embedded in a skew field \(\widetilde{D(L)}\) [Proc. Lond. Math. Soc. (3) 11, 511-530 (1961; Zbl 0104.03203)]. The skew subfield of \(\widetilde{D(L)}\) generated by \(U(L)\) denote by \(D(L)\); in fact \(D(L)\) is a proper skew subfield of \(\widetilde{D(L)}\) and \(\widetilde{D(L)}\) is a topological completion of \(D(L)\). The author suggested another method for the construction of \(D(L)\) [\textit{A. Lichtman}, J. Algebra 177, 870-898 (1995; Zbl 0837.16019)]. Now the main result is as follows. Theorem. Let \(H\) be a free Lie algebra. Then the skew field \(D(H)\) is isomorphic to the universal field of fractions for the free associative algebra \(U(H)\).
    0 references
    skew field
    0 references
    free field
    0 references
    Ore domain
    0 references
    valuation
    0 references

    Identifiers

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