Affine ring

From Commalg
Revision as of 11:22, 8 August 2007 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Definition

Let be a commutative unital ring. An affine ring over is a ring isomorphic to Failed to parse (syntax error): {\displaystyle R[x_1,x_2\\ldots,x_n]/I} 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.