Rings of Teter type

Abstract: Let

R

be a Cohen--Macaulay local

K

-algebra or a standard graded

K

-algebra over a field

K

with a canonical module

o m e g a_{R}

. The trace of

o m e g a_{R}

is the ideal

t r (o m e g a_{R})

of

R

which is the sum of those ideals

v a r p h i (o m e g a_{R})

with

v a r p h i i n H o m_{R} (o m e g a_{R}, R)

. The smallest number

s

for which there exist

v a r p h i_{1}, l d o t s, v a r p h i_{s} i n H o m_{R} (o m e g a_{R}, R)

with

t r (o m e g a_{R}) = v a r p h i_{1} (o m e g a_{R}) + c d o t s + v a r p h i_{s} (o m e g a_{R})

is called the Teter number of

R

. We say that

R

is of Teter type if

s = 1

. It is shown that

R

is not of Teter type if

R

is generically Gorenstein. In the present paper, we focus especially on

0

-dimensional graded and monomial

K

-algebras and present various classes of such algebras which are of Teter type.

This page was built for publication: Rings of Teter type