Article contents
On the module of effective relations of a standard algebra
Published online by Cambridge University Press: 01 September 1998
Abstract
Let A be a commutative ring. We denote by a standard A-algebra a commutative graded A-algebra U=[oplus ]n[ges ]0Un with U0=A and such that U is generated as an A-algebra by the elements of U1. Take x a (possibly infinite) set of generators of the A-module U1. Let V=A[t] be the polynomial ring with as many variables t (of degree one) as x has elements and let f[ratio ]V→U be the graded free presentation of U induced by the x. For n[ges ]2, we will call the module of effective n-relations the A-module E(U)n= ker fn/V1· ker fn. The minimum positive integer r[ges ]1 such that the effective n-relations are zero for all n[ges ]r+1 is known to be an invariant of U. It is called the relation type of U and is denoted by rt(U). For an ideal I of A, we define E(I)n= E([Rscr ](I))n and rt(I)=rt([Rscr ](I)), where [Rscr ](I)= [oplus ]n[ges ]0Intn⊂A [t] is the Rees algebra of I.
In this paper we give two descriptions of the A-module of effective n-relations. In terms of André–Quillen homology we have that E(U)n= H1(A, U, A)n (see 2·3). It turns out that this module does not depend on the chosen [x]. In terms of Koszul homology we prove that E(U)n= H1([x], U)n (see 2·4). Using these characterizations, we show later some properties on the module of effective n-relations and the relation type of a graded algebra. Our approach has connections with several earlier works on the subject (see [2, 5–7, 9, 10, 13, 14]).
- Type
- Research Article
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 124 , Issue 2 , September 1998 , pp. 215 - 229
- Copyright
- Cambridge Philosophical Society 1998
- 13
- Cited by