Finite complete intersection algebras and the completeness radical

DOI10.1006/JABR.1997.7104MaRDI QIDQ1372642zbMATH OpenOpenAlexFDO

Authors Bart de Smit, H. W. jun. Lenstra

Publication date 14 December 1997

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1887/3848

complete intersection completeness radical Gorenstein algebras

Projective and free modules and ideals in commutative rings (13C10) Linkage, complete intersections and determinantal ideals (13C40) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Formal power series rings (13F25)

Review text

Let \(A\) be a ring, and let \(B\) be a finite \(A\)-algebra. If \(B\) is of the form \(A [X_1, \dots, X_n]/(f_1, \dots, f_n)\) then we say that \(B\) is a complete intersection over \(A\). We show that such an algebra is projective as an \(A\)-module and Gorenstein as an \(A\)-algebra. Under the condition that \(A\) is noetherian we show that the finite \(A\)-algebras of the form \(AX_1, \dots, X_m/(g_1, \dots, g_m)\) are exactly those complete intersections \(B\) over \(A\) for which one has \(B=A \cdot 1+ \sqrt {\text{cr} (A) \cdot B}\). Here \(\text{cr}(A)\) denote the largest ideal of \(A\) with respect to which \(A\) is complete. This ideal, which we call the completeness radical of \(A\), satisfies the usual radical axioms.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Finite complete intersection algebras and the completeness radical

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1372642)