# The Universal Solution

This is the first in a series of posts taken from notes I took in a two-semester course on Algebraic Geometry taught by Arthur Ogus. Mostly these are things that seemed to me particular to Ogus.

The first few weeks were about the following. Any map of R-algebras is determined by an n-tuple with values in (the images of the ). Given a set of equations , we can ask whether these equations are solved in , i.e. if in . When this is true, we in fact have a morphism .

The Ogus way…

You have a functor sending an R-algebra to the set of m-tuples with values in . Given a set of equations you have a subfunctor sending to

.

In other words, consists of solutions to with values in . The claim is that there is a universal solution: the images of the in . This mean for every solution there is a unique morphism such that . Actually, Ogus proved a more general statement about in the context of free monoids and associated R-algebra they generated and appealing to a map with a universal property, etc. etc.

A corollary: TFAE

- generates a proper ideal of iff
- These exists such that
- There exists a field k such that

## About this entry

You’re currently reading “The Universal Solution,” an entry on Math Meandering

- Published:
- May 20, 2009 / 11:28 pm

- Category:
- Ogus Excerpts

- Tags:

## No comments yet

Jump to comment form | comment rss [?] | trackback uri [?]