Hostname: page-component-cd9895bd7-8ctnn Total loading time: 0 Render date: 2024-12-23T14:45:28.412Z Has data issue: false hasContentIssue false

The free product of skew fields

Published online by Cambridge University Press:  09 April 2009

P. M. Cohn
Affiliation:
Bedford CollegeRegents Park London NW1 4NS England.
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

In a recent paper [3] it was shown that the free product K * L of two fields (possibly skew) can be embedded in a field, and moreover, this latter can be chosen to be the ‘universal field of fractions’ of K*L (cf. [4, 5]). This opens up the prospect of doing for skew fields what the Neumanns and others have done for groups; indeed some sample applications were given in [3]. We pursue this topic here a little further: our main results state (i) every ccuntably generated field can be embedded in a 2-generator field, (ii) in a free product of rings over a field k, any element algebraic over k is conjugate to an element in one of the factors, (iii) any field can be embedded in a field with nth roots for each n. These results are all analogous to well known results in group theory (cf. [8]), and although the proofs are not just a translation of the group case, the latter is of scme help. Thus (ii), (iii) follow fairly easily, but they lead to other problems, still open, by replacing ‘free product of rings’ in (ii) by ‘field product of fields, and in (iii) replacing ‘nth roots’ by ‘roots of any equation’. On the other hand, (i) is less immediate, since ‘field products’ need to be used in the proof, and their manipulation requires some more technical lemmas.

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1973

References

[1]Bergman, G. M., ‘The diamond lemma in ring theory’, to appear.Google Scholar
[2]Cohn, P. M., ‘On the free product of associative rings’, I, Math. Zeits. 71 (1959), 380398, II. 73 (1960), 433–456, III.CrossRefGoogle Scholar
J. Algebra 8 (1968), 376383 (correction 10 (1968), 123.)CrossRefGoogle Scholar
[3]Cohn, P. M., ‘The embedding of firs in skew fields’, Proc. London Math. Soc. (3) 23 (1971), 193213.CrossRefGoogle Scholar
[4]Cohn, P. M., Free rings and their relations (London, New York 1971).Google Scholar
[5]Cohn, P. M., ‘Universal skew fields of fractions’, Symposia Math. VIII (1972), 135148.Google Scholar
[6]Jónsson, B., ‘Universal relational systems, Math. Scand. 4 (1956), 193208.CrossRefGoogle Scholar
[7]Jónsson, B., ‘Homogeneous relational universal systems’, Math. Scand. 8 (1960), 137142.CrossRefGoogle Scholar
[8]Neumann, B. H., ‘An essay on free products of groups with amalgamations’, Phil. Trans. Roy. Soc. Ser. A 246 (1954), 503554.Google Scholar
[9]Neumann, H., ‘Generalized free products with amalgamated subgroups’, I. Amer. J. Math. 70 (1948), 590625, II. 71 (1949), 491–540.CrossRefGoogle Scholar
[10]Robinson, A., ‘On the notion of algebraic closedness for noncommutative groups and fields’. J. Symb. Logic 36 (1971), 441444.CrossRefGoogle Scholar
[11]Smith, D. B., ‘On the number of finitely generated 0-groups’, Pacif. J. Math. 35 (1970), 499502.CrossRefGoogle Scholar