Publisher description for Skew fields : theory of general division rings / P.M. Cohn.


Bibliographic record and links to related information available from the Library of Congress catalog


Information from electronic data provided by the publisher. May be incomplete or contain other coding.


Counter Non-commutative fields (also called skew fields or division rings) have not been studied as thoroughly as their commutative counterparts, and most accounts have hitherto been confined to division algebras - that is skew fields finite dimensional over their centre. Based on the author's LMS lecture note volume Skew Field Constructions, the present work offers a comprehensive account of skew fields. The axiomatic foundation, and a precise description of the embedding problem, is followed by an account of algebraic and topological construction methods, in particular, the author's general embedding theory is presented with full proofs, leading to the construction of skew fields. The powerful coproduct theorem of G. M. Bergman is proved here, as well as the properties of the matrix reduction functor, a useful but little-known construction providing a source of examples and counter-examples. The construction and basic properties of existentially closed skew fields are given, leading to an example of a model class with an infinite forcing companion which is not axiomatisable. The treatment of equations over skew fields has been simplified and extended by the use of matrix methods, and the beginnings of non-commutative algebraic geometry are also presented, with a precise account of the problems that need to be overcome for a satisfactory theory. A separate chapter describes valuations and orderings on skew fields, with a construction applicable to free fields. Numerous exercises test the reader's understanding, presenting further aspects and open problems in a concise form. The notes and comments at the end of chapters provide historical background.

Library of Congress subject headings for this publication: Division rings, Algebraic fields