Hostname: page-component-78c5997874-g7gxr Total loading time: 0 Render date: 2024-11-07T20:58:46.747Z Has data issue: false hasContentIssue false

On ideals of finite homoloǵical dimension in local rings

Published online by Cambridge University Press:  24 October 2008

Lindsay Burch
Affiliation:
Department of Mathematics, University of Dundee

Extract

In this paper I shall demonstrate certain algebraic properties of ideals of finite homological dimension in local rings.

In the first section, I show that no non-zero ideal of finite homological dimension in a local ring can be of zero grade (this is stated by Auslander and Buchsbaum in the appendix to (l), but I cannot find a proof in the literature). Using this result, together with the complex defined by a matrix, which is described by Eagon and Northcott in (2), I prove that an ideal of homological dimension one in a local ring Q may always, for some integer n, be described as the set of determinants of matrices obtained by adjoining to a certain (n–l)× n matrix with elements in the maximal ideal of Q another row with elements arbitrarily chosen in Q. (This result was established in (3), under the additional condition that Q should be a domain.)

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1968

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)Auslander, M. and Buchsbaum, D. A.Homological dimension in local rings. Trans. Amer. Math. Soc. 85 (1957), 390405.CrossRefGoogle Scholar
(2)Eagon, J. A. and Northcott, D. G.Ideals defined by matrices and a certain complex associated with them. Proc. Roy. Soc. Ser. A 269 (1962), 188204.Google Scholar
(3)Burch, A. L.A note on ideals of homological dimension one in local rings. Proc. Cambridge Philos. Soc. 63 (1967), 661–2.CrossRefGoogle Scholar
(4)Northcott, D. G. and Rees, D.Reductions of ideals in local rings. Proc. Cambridge Philos. Soc. 50 (1954), 145158.CrossRefGoogle Scholar
(5)Rees, D.A theorem of homological algebra. Proc. Cambridge Philos. Soc. 52 (1956), 605616.CrossRefGoogle Scholar