Skip to main content
    • Aa
    • Aa

On the module of effective relations of a standard algebra

    • Published online: 01 September 1998

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

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Proceedings of the Cambridge Philosophical Society
  • ISSN: 0305-0041
  • EISSN: 1469-8064
  • URL: /core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society
Please enter your name
Please enter a valid email address
Who would you like to send this to? *