1: \begin{definition}

2: \label{def:AS regular}

3: Let $A$ be a locally finite graded $k$-algebra.  If $A$ satisfies the equivalent conditions in 

4: Theorem~\ref{thm:reg char}, we say that $A$ is a \emph{generalized AS~regular algebra of dimension~$d$}, or 

5: sometimes just \emph{AS~regular}.  If $A \otimes K$ is a (generalized) AS~regular $K$-algebra of dimension~$d$ 

6: for all field extensions $K$ of $k$, we call $A$ \emph{geometrically AS~regular of dimension~$d$}. 

7: \end{definition}