Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

What is the field with one element ?

  1. May 17, 2007 #1
    What is the "field with one element"?

    From the definition of a field, it follows that such a thing does not exist. However a Google search reveals that apparently there is, or at least mathematicians think there ought to be, something that goes by that name. What is it? Is it called a "field" simply because of some analogies with fields even though it really isn't one?

    The material (algebraic geometry) I've found online is over my head for the time being. I know basic abstract algebra, e.g. what a group, module, etc. is.

    Also, the lecture notes I got from my uni mention the trivial field K = {a} with a*a=a, a+a=a and a=1=0.

    Thanks in advance,
    Kamataat
     
  2. jcsd
  3. May 17, 2007 #2
    This depends on your definition of field. My book says, "a field is a commutative ring with unity in which every nonzero element is a unit." But, my book defines a unity as a nonzero element of a ring that is a multiplicative identity. Therefore, there is no trivial field under this definition. If you simply throw out the condition that [itex]1 \neq 0[/itex], you can, of course define the trivial field.
     
  4. May 17, 2007 #3

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    What Moo of Doom said is correct: most definitions of "field" require that there exist distinct 0 and 1. Dropping that requirement, then there can exist a "field" having only one element. It would have to be, then exactly what you give a "the trivial field".
     
  5. May 17, 2007 #4

    StatusX

    User Avatar
    Homework Helper

    There is a ring with one element. It is commutative, has no zero divisors, has no proper ideals, etc. Whether you call this a field or not depends on whether you allow fields with 1=0, since it trivially satisfies every other property. And if you do, then for any element a in such a field a=a*1=a*0=0, so the field has exactly one element (which is why the condition that 1 and 0 be distinct is usually added).
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?