Affine ring: Difference between revisions
No edit summary |
|||
| Line 1: | Line 1: | ||
==Definition== | ==Definition== | ||
Let <math>R</math> be a [[commutative unital ring]]. An '''affine ring''' over <math>R</math> is a ring isomorphic to <math>R[x_1,x_2 | Let <math>R</math> be a [[commutative unital ring]]. An '''affine ring''' over <math>R</math> is a ring isomorphic to <math>R[x_1,x_2,\ldots,x_n]/I</math> where <math>I</math> is an [[ideal]]. | ||
When we simply say '''affine ring''', we may mean [[affine ring over a field]], viz affine ring where the ring <math>R</math> is a field. | When we simply say '''affine ring''', we may mean [[affine ring over a field]], viz affine ring where the ring <math>R</math> is a field. | ||
Revision as of 11:23, 8 August 2007
Definition
Let be a commutative unital ring. An affine ring over is a ring isomorphic to where is an ideal.
When we simply say affine ring, we may mean affine ring over a field, viz affine ring where the ring is a field.
Facts
An affine ring over an affine ring is also an affine ring over the base field.