On monoid graded local rings.

Abstract: Let

G a m m a

be a cancelation monoid with the neutral element

e

. Consider a

G a m m a

-graded ring

A = o p l u s_{g a m m a i n G a m m a} A_{g a m m a}

, which is not necessarily commutative. It is proved that

A_{e}

, the degree-

e

part of

A

, is a local ring in the classical sense if and only if the graded two-sided ideal

m a t h f r a k M

of

A

generated by all non-invertible homogeneous elements is a proper ideal. Defining a

G a m m a

-graded local ring

A

in terms of this equivalence, it is proved that any two minimal homogeneous generating sets of a finitely generated

G a m m a

-graded

A

-module have the same number of generators, and furthermore, that most of the basic homological properties of the local ring

A_{e}

hold true for

A

(at least) in the

G a m m a

-graded context.

Recommendations

Cited in

(17)

This page was built for publication: On monoid graded local rings.