Skip to main content
4 of 4
Edited opening for clarity.
Marty
  • 13.3k
  • 3
  • 48
  • 85

Characterization of a finitely graded (almost) domain

Let $A= \bigoplus_{i=0}^{N}A_i$ be a finitely graded ring with the following property: if $x \in A_i$ and $y \in A_j$ and $i+j \leq N$, then $$xy = 0 \text{ implies } x = 0 \text{ or } y = 0.$$ Hence this ring is "almost" an integral domain until degree $N+1$.

Do these types of rings have a name?

If we assume $A$ is noetherian then it must be a finitely generated algebra over the noetherian ring $A_0$ and thus the quotient $R/I$ of a polynomial ring $R$ over $A_0$.

Are there any necessary and sufficient conditions we may impose on $I$ so that the property above holds?

Exit path
  • 3k
  • 2
  • 17
  • 23