Hostname: page-component-78c5997874-4rdpn Total loading time: 0 Render date: 2024-11-07T11:46:58.318Z Has data issue: false hasContentIssue false

On the module of effective relations of a standard algebra

Published online by Cambridge University Press:  01 September 1998

FRANCESC PLANAS-VILANOVA
Affiliation:
Departament Matemática Aplicada I. ETSEIB-UPC. Diagonal 647, E-08028 Barcelona; e-mail: [email protected]

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 ]VU 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 ]0IntnA [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
Copyright
Cambridge Philosophical Society 1998

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.)