Varieties, rings, fields

CRGreathouse

Homework Helper
A commutative ring is a variety, because its definition consists only of universally quantified identities:
g+(h+k) = (g+h)+k
g+0=g
(-g) + g = 0
g + h = h + g
g(hk) = (gh)k
g(h+k) = gh+gk
1g = g
gh = hg
where (-g) denotes the additive inverse of g.

Adding a new predicate symbol "(1/...)" defined by
(1/g)g = 1

and adding this identity to the list, a new variety is created, whose members are fields along with the trivial ring.

Why is it so important to exclude the trivial ring in the definition of a field (by the requirement $0\neq1$ or $|G|\ge2$) even though fields are not varieties? Is there any value to the structure defined above (the smallest variety containing all rings)?

Related Linear and Abstract Algebra News on Phys.org

matt grime

Homework Helper
Um, isn't a variety an algebraic subset of P^n or A^n?

CRGreathouse

Homework Helper
Different kind of variety. I'm talking about the sense in universal algebra:
http://en.wikipedia.org/wiki/Variety_(universal_algebra [Broken]) (I'm using Wikipedia to help me through this PDF: http://www.math.iastate.edu/cliff/BurrisSanka.pdf [Broken])

Last edited by a moderator:

Hurkyl

Staff Emeritus
Gold Member
...

Adding a new predicate symbol "(1/...)" defined by
(1/g)g = 1

and adding this identity to the list, a new variety is created, whose members are fields along with the trivial ring.
Not true. Adding this gives you the degenerate variety: your axioms allow you to prove the identity x=0 as follows:

0 = (x (1/0))0 = x ((1/0) 0) = x 1 = 1 x = x.

Fields are not a universal algebra. This can be seen, for example, by noting that the Cartesian product of two fields is not a field.

CRGreathouse

Homework Helper
Ah, right. That's what I was looking for, thanks!

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving