Abstract
We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining ideals, coordinate rings, and function fields, to a non-commutative setting, where "varieties" carry a PGLn-action, regular and rational "functions" on them are matrix-valued, "coordinate rings" are prime polynomial identity algebras, and "function fields" are central simple algebras of degree n. In particular, a prime polynomial identity algebra of degree n is finitely generated if and only if it arises as the "coordinate ring" of a "variety" in this setting. For n = 1 our definitions and results reduce to those of classical affine algebraic geometry.
| Original language | English |
|---|---|
| Pages (from-to) | 624-647 |
| Number of pages | 24 |
| Journal | Journal of Algebra |
| Volume | 310 |
| Issue number | 2 |
| DOIs | |
| State | Published - Apr 15 2007 |
Funding
* Corresponding author. E-mail addresses: [email protected] (Z. Reichstein), [email protected] (N. Vonessen). URLs: http://www.math.ubc.ca/~reichst (Z. Reichstein), http://www.math.umt.edu/vonessen (N. Vonessen). 1 Author was supported in part by an NSERC research grant. 2 Author gratefully acknowledges the support of the University of Montana and the hospitality of the University of British Columbia during his sabbatical in 2002/2003, when part of this research was done.
| Funders |
|---|
| University of British Columbia |
Keywords
- Central simple algebra
- Coordinate ring
- Nullstellensatz
- Polynomial identity ring
- Trace ring