Hostname: page-component-78c5997874-lj6df Total loading time: 0 Render date: 2024-11-19T08:30:37.847Z Has data issue: false hasContentIssue false

On the law of nullity

Published online by Cambridge University Press:  24 October 2008

P. M. Cohn
Affiliation:
Bedford College, University of London
A. H. Schofield
Affiliation:
Bedford College, University of London

Extract

In chapter 7 of (2) conditions were given for a ring to be embeddable in a skew field; in particular, it was shown that any semifir has a universal field of fractions, over which all full matrices can be inverted. This was generalized in two different directions, by Bergman (in a letter to one of the authors in 1971) and by Dicks and Sontag(7). Dicks and Sontag characterized those rings having a field of fractions in which all full matrices are inverted; they showed that this is equivalent to Sylvester's law of nullity, and further showed that this forces the ring to have weak global dimension not exceeding 2 and all finitely generated projective modules to be free. Bergman on the other hand investigated weakly semihereditary rings having a rank function on projective modules which takes values in the natural numbers. He showed that there was a homomorphism from any such ring to a field of fractions in which every full map between finitely generated projective modules is inverted. Weakly semihereditary rings with a rank function to the natural numbers are the analogue of semifirs and so it is natural to look for a characterization of rings with a rank function on projective modules such that all full maps between projective modules become invertible in a suitable field of fractions. We shall find that, as before, this is the case if and only if Sylvester's law of nullity holds with respect to the rank function, for maps between projective modules. Further, the ring must have weak global dimension at most two. This is the content of Sections 2 and 3.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1982

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

(1)Bergman, G. M. and Dicks, W.Universal derivations and universal ring constructions. Pacif. J. Math. 79 (1978), 293337.CrossRefGoogle Scholar
(2)Cohn, P. M.Free rings and their relations. LMS monographs, no. 2 (Academic Press, London, New York, 1971).Google Scholar
(3)Cohn, P. M.Localization in semifirs. Bull. Lond. Math. Soc. 6 (1974), 1320.CrossRefGoogle Scholar
(4)Cohn, P. M.Algebra, II (J. Wiley, Chichester, 1977).Google Scholar
(5)Cohn, P. M.The divisor group of a fir. Publ. Univ. Aut. Barcelona, 1982.Google Scholar
(6)Cohn, P. M. and Dicks, W.Localization in semifirs: II. J. London Math. Soc. (2) 13 (1976), 411418.CrossRefGoogle Scholar
(7)Dicks, W. and Sontag, E. D.Sylvester domains. J. Pure and Applied Algebra 13 (1978), 243275.Google Scholar
(8)Lam, T. Y. Serre's conjecture. Springer Lecture Notes, no. 635. (Springer, Berlin, 1978).Google Scholar
(9)Malcolmson, P.On making rings weakly finite. Proc. Amer. Math. Soc. 80 (1980), 215218.CrossRefGoogle Scholar
(10)Milnor, J.Algebraic K-theory (Princeton University Press, Princeton, 1971).Google Scholar