2
$\begingroup$

If I drop the axiom that Zero is the identity of an addition what consequences does this entail? What do I need to change to my axiomatization?

By definition it is not possible, but are there mathematical structures like a field but without an additive identity?

I don't have a concrete example/issue but I am interested in this question.

  • 5
    Needs are relative to purposes. Need to do what?2011-09-12
  • 2
    Without an identity element, you cannot define inverses.2011-09-12
  • 0
    Do you want an *additive* identity, or a multiplicative identity? You original post had $0$ in it, now it says "identity element".2011-09-12
  • 0
    I dont have a concrete problem. I am just interested in math. You are free to edit the question. I dont know the exact mathematical terms. I was just wondering why do you need a zero? Does it all depend on this axiom?2011-09-12
  • 0
    @Stephan: "Identity" can mean the *additive* identity (usually called $0$), or *multiplicative identity* (usually called $1$). They are different things. If you mean $0$, then you should specify "additive identity".2011-09-12
  • 2
    @Stephan: in your last sentence, what is "it"?2011-09-12
  • 0
    @Rasmus Since inverses can get proved unique, you can effectively ignore the concept of an inverse and instead talk about a unary function as often happens in universal algebra.2011-09-13
  • 0
    Looks like someone downvoted each of the answers, except Asaf's and Doug's. Curious :P.2011-09-13
  • 0
    The question, as it stands, is not a real question. Voting to close. If the question is elaborated a bit and made more precise, e.g. ‘Is there a mathematical structure like a field but without an additive identity?’ I may vote to reopen later.2011-09-13
  • 0
    @Qiaochu The area of algebra.2011-09-13
  • 1
    Is it so hard to imagine a "field" without a zero? Why is this such a silly question to you. I wanted to know if, like @Zhen wrote, there is a mathematical structure like a field but without a zero. So if I add x and -x it would disappear instead of becoming a 0. Is it possible to have such a structure and how does it look like and what cant you do with it. In my humble opinion some of you take this Q&A site too serious and should stick to questions of their level instead of making some novices feel dumb and get lost in personal issues...2011-09-13
  • 0
    @Stephan: Is there really such a difference between disappearing and becoming $0$? Conceptually, $0$ reifies nothingness. Also, you have not explained how the other data of a *field* enters your question. Your question as it stands could just as easily be asked about rings or even just groups.2011-09-13
  • 0
    @Zhen Well, then the answer to my question is: No, you need an additive identity by definition in a field. A follow up question would be if it is possible in a special group.2011-09-13
  • 0
    @Stephan Do you mean to ask if you need to have an additive identity *in the axioms* for a field, or if you need to have an additive identity *somewhere* for a field? For the first question, the answer seems "no" since you don't need the notion of an identity in the axioms for a group, and instead you can *derive* the standard axioms for a group. However, for the second question, if you don't have an additive identity somewhere in the structure, you'll end up talking about something different than a field. You can certainly consider structures with fewer axioms like this generally.2011-09-13

6 Answers 6

-6

If I understand the definition of a field via abelian groups and distributivity as in Asaf's answer correctly, the perhaps surprising answer is no, you don't need to have an identity element in your axiom set for a field. The trick lies in that you don't need an identity element in the axioms for a group. Group theory, in fact, can get founded upon a single axiom, or several axioms which make no reference to a neutral element, if you really want that. I've only glanced at things here, so see 1 2 and 3 for particular axiom sets. Once you pick an appropriate axiom set for groups, you use the first part of Asaf's procedure for defining a field, which implies no mention of an identity element in the axiom set for fields. The existence of inverses also doesn't mean one needs to talk about the identity element in the axiom set. One could rewrite such existence statements via unary functions as one might do in the context of universal algebra, and this does capture the concept here, since inverses can get proved unique.

  • 3
    The idea that axioms in a formal language "make reference" to semantic concepts like the existence of an additive identity is a somewhat naive philosophical stance that seems entirely antithetical to the relentless syntacticism you have been espousing on this site. If I wanted to play the usual Doug Spoonwood role I would say: "The existence of an additive identity comes as a certain WFF. You either have that WFF as an axiom or you don't. Other axioms might imply the existence of an additive identity, but that doesn't come as the same thing as having the additive identity axiom."2011-09-13
  • 0
    @Pete The response you've crafted here as if it were in my voice doesn't refute my position here, it in fact clarifies it. I take "the existence of an additive identity" to mean that you either have some wff, or some informal statement which would get formalized as a wff which goes "!0@x((x+0)=x)" or "!0@x((0+x)=x)" where "@" indicates the universal quantifier, "!" the existential quantifier. One might also consider a formulation without the quantifiers here, and using a nullary operation as also having an "existence of an additive identity" axiom. You don't need any such formulas as axioms2011-09-13
  • 0
    to define the abstract notion of a field, since you don't need any such axioms for the abstract notion of a group.2011-09-13
  • 5
    I confess that I am not too surprised that I inadvertently clarified your position. But...you now believe that informal mathematical statements may be formalized as WFFs in multiple ways and that this is not problematic? That's good news.2011-09-14
  • 0
    However, I don't think you have yet given a tenable notion of when a WFF "makes reference" to an additive identity. You have just given two examples. I could modify your examples in infinitely many ways for instance by adding $\forall x, (x = x) \wedge (x = x) \wedge \ldots \wedge (x = x)$. This is not "fooling anyone" but there are axiom which imply the existence of an identity in more subtle ways. It is not clear that "reference to an additive identity" really makes sense in any way distinct from "This axiom implies the existence of an additive identity.2011-09-14
  • 3
    By the way, the standard symbols for universal and existential quantifiers are $\forall$ and $\exists$, not ! and @. The advantage of using $\forall$ and $\exists$ is that a worldwide mathematical/philosophical audience will understand you without your having to define your symbols in each comment...and incidentally, you will look less silly.2011-09-14
  • 0
    @Pete You can't modify my examples to become "∀x,(x=x)∧(x=x)∧…∧(x=x)." because that is NOT a wff. You have to *fully* parenthesize any statement in infix for it to qualify as a wff... p∧q∧r is NOT a wff. If you claim that as a wff, you ARE fooling yourself. Note that formation rules in logic do NOT explicitly, nor implicitly, say anything about association of any operation. That informal mathematical statements may be formalized as wffs in multiple ways poses no problem, since you can come up procedures which clarify how each formalization can get transformed into another by indicating how2011-09-14
  • 0
    one rewrites the formation rules. For instance, with "p" and "q" as metavariables, if you formalize "+ associates" as ((x+y)+z)=(x+(y+z)), you indicate the (p+q) part of the formation rule in "If p and q are wffs, then (p+q)" as changed to any of {+pq, pq+, (p)+(q)} *in the formation rule* when rewriting wffs in another way, such that we only have one of those in place at a time. Thus, if we select (p+q) to get transformed to +pq, (x+y) becomes +xy which itself qualifies as one unit, so ((x+y)+z) becomes ++xyz. So, how does the existence of multiple wffs come as problematic?2011-09-14
  • 6
    I intentionally did not put all the parentheses in to see if you now understand that people refer to WFFs by standard shorthands rather than writing them out formally. (Why did you not complain about the $\ldots$? That's **definitely** forbidden in WFFs.) If you are still hung up on these syntactic points, then I suspect that what I am actually trying to say is falling on deaf ears. (By the way, your language is not very polite. I have a PhD in mathematics and have published a paper in mathematical logic. Are you sure you want to accuse me of not understanding WFFs?)2011-09-14
  • 0
    @Pete I said "I take "the existence of an additive identity" to mean that you either have some wff, or some informal statement which would get formalized as a wff which goes "!0@x((x+0)=x)" or "!0@x((0+x)=x)" where "@" indicates the universal quantifier, "!" the existential quantifier." Now, the premise there comes as that we would have formalized things as *actual* wffs, not merely referred to them by shorthands. You simply cannot consistently modify my examples with such a pseudo-formula as the above while maintaining that premise. Understanding wffs is NOT the same as actually writing them.2011-09-14
  • 2
    $@$Doug: do you **really** not understand that I can unambiguously specify a WFF without writing it out in full, and that reasoning with and proving things about WFFs is not the same as writing them down? And why do you refuse to use $\forall$ and $\exists$? I am really having a hard time believing that you are making these comments in good faith.2011-09-14
  • 0
    @Pete For the modification you gave I simply don't know which wff you've tried to specify. Of course's there's the "..." problem, but even if you only had 3 instances of "^" in your formula, I don't know if you meant (((x=x)^(x=x))^(x=x)) or ((x=x)^((x=x)^(x=x))). Proving things *about* wffs is not the same as writing them down, of course... but then you're talking in the metatheory, not in the theory. I didn't realize that you could use ∀ and ∃ in the comments, and I haven't learned the TeX for them.2011-09-14
8

The usual definition of a field is:

Definition. A set $F$ together with two binary operations $+$ and $\times$ is a field if and only if:

  1. $+$ is associative;
  2. $+$ is commutative;
  3. $+$ has a neutral element $0$;
  4. For every $a\in F$ there exists $b\in F$ such that $a+b=0$.
  5. $\times$ is associative;
  6. $\times$ is commutative;
  7. $\times$ distributes over $+$;
  8. There is an element $1\neq 0$ such that $a\times 1=a$ for all $a\in F$;
  9. For each $a\in F$, if $a\neq 0$ then there exists $x\in F$ such that $a\times x = 1$.

Now, you can certainly ask whether the axioms are independent. For example, it is easy to see that if you drop the assumption of commutativity for $+$, then you can deduce it from the other eight axioms; on the other hand, the real quaternions show that you cannot drop the assumption that $\times$ is commutative and deduce it from the other axioms.

So you could be asking whether Axiom 3 is independent of the other axioms. The main difficulty with dropping Axiom 3 is that without it Axiom 4 becomes unintelligible, and Axiom 9 is also problematic. So before we drop Axiom 3, we need to replace Axioms 4 and 9 with something else that, together with Axiom 3 give a field, but which make sense in the absence of Axiom 3.

There are plenty of ways of defining "abelian group" without specifying the existence of a neutral element (e.g., "for every $a,b\in F$ there exists $x\in F$ such that $a+x=b$") replacing 4 with something like this will automatically imply the existence of a $0$. Do you have something specific in mind?

(For a similar question, see for example this sci.math post by Dave Rusin where he discusses the independence of the axioms of a vector space, where he faces a similar problem with dropping "existence of $0$")

Added. While I was writing this, the title of the post was changed to "without an identity" instead of "without a $0$". You run into similar problems: if you drop Axiom 8, you need to replace Axiom 9 with something that still makes sense; depending on what you replace it with, it may or may not imply the existence of a multiplicative identity in the presence of the other axioms. Again, the question is whether you have something in mind or not.


If the question is just a poorly phrased way of asking if the one element ring is a field, the answer is that it is not considered to be a field. There are good reasons for this, even though the one element ring satisfies all the axioms except for the $1\neq 0$ clause of Axiom 8.

  • 0
    Hmmm. If Axiom 3 is dropped and Axiom 4 is replaced with 4a: 'For every $a, b\in F$ there exists $c\in F$ s.t. $a+c=b$' then you still recover 3 by letting $b=a$ in 4a. But if we restrict 4a to $b\neq a$ then there aren't any immediately obvious 'hooks' to get back a zero...2012-07-01
6

This depends on the axioms, of course. There are two common ways to axiomatize fields. I was taught using the second approach. In both a field is composed of $\langle F,0,1,+,\cdot\rangle$

The First Way: Groups.

  1. $\langle F,0,+\rangle$ is an abelian group;
  2. $\langle F\setminus\{0\},1,\cdot\rangle$ is an abelian group;
  3. Distributivity, that is $a\cdot(b+c)=a\cdot b+a\cdot c$

In this axiomatization, since a group cannot be empty, we have to have $0\neq 1$, otherwise the second condition will not hold.

The Second Way: Specifying the axioms.

  1. $\forall a\forall b(a+b=b+a)$ (Commutativity of addition)
  2. $\forall a(a+0=a)$ (Zero is the identity of addition)
  3. $\forall a\exists b(a+b=0)$ (Addition is invertible)
  4. $\forall a\forall b\forall c(a+(b+c)=(a+b)+c)$ (Addition is associative)
  5. $\forall a\forall b(a\cdot b=b\cdot a)$ (Multiplication is commutative)
  6. $\forall a(a\cdot 1=a)$ (One is the identity of multiplication)
  7. $\forall a\exists b(a\neq 0\rightarrow a\cdot b=1)$ (Non-zero elements are multiplication-invertible)
  8. $\forall a\forall b\forall c(a\cdot(b\cdot c)=(a\cdot b)\cdot c))$ (Multiplication is associative)
  9. $\forall a\forall b\forall c(a\cdot(b+c)=(a\cdot b)+(a\cdot c))$ (Distributivity of multiplication over addition)

Note that these axioms are satisfied by $\{e\}$, by interpreting $e=0=1$. This sort of axiomatization allows the field with one element to exist.

If however, to the second approach we add $0\neq 1$ then we have equivalence between the two ways.

In both these cases we have $1$ defined in the language, and so we have to interpret it somehow, even if we do allow $0=1$, we still have $1\in F$. Simply because it is embedded into the definition of a field and cannot be avoided.

  • 0
    I am confused, isn't this answer essentially the same as those in http://math.stackexchange.com/questions/164811 which garnered over 30 upvotes combined, and not a single downvote? Why is *this* answer being downvoted?2012-06-30
  • 0
    @Ben: there will be a edit log! But okay...2012-07-01
4

Yes. It is part of the definition of a field (and, more generally, a ring).

People do study various alterations to the concept of field, such as

but, I think it is worth mentioning, all of these have an identity element for the $+$ operation. It is a pretty fundamental thing to want one's mathematical structures to have. I'm not saying that structures without an additive identity aren't worth studying, just that they would behave so differently from fields I don't see any reason to even say "It's like a field, but..."


Edit: Looking at the page on semifields, it appears that an alternative definition of the term does in fact allow for not having an additive identity. So much for objects getting names that make sense...

  • 4
    Do you get advertising revenue from wikipedia or something ??! $$$$;)2011-09-14
  • 2
    Haha I wish :) I just usually err on the side of putting more links in my answers, than fewer (as long as they're all relevant).2011-09-14
  • 0
    And I appreciate it! I recently saw a diagram that related (if memory serves...) monoids, fields, groups, etc. Maybe I can find the link...2011-09-14
2

Yes, by definition. The need for an identity element is deeply entrenched in group theory (otherwise there could be no distinction between groups and monoids), and the fact that the additive group of a field is, indeed, a group, is similarly entrenched in field theory.

Of course one could investigate the consequences of the field axioms without an additive identity -- but one would have to be careful about selecting which axioms that means; the usual textbook presentations rarely distinguish between variants of the axioms that can be shown to be equivalent given the existence of an additive identity. In any case, whatever results you reach then would certainly not be results about fields as everyone understand them. Unless, that is, you happened to pick a selection of axioms that imply that zero must exist anyway. For example, it seems to be hard to require any useful properties of subtraction without allowing a proof that $x-x=y-y$ for all $x$ and $y$, and that this common value is an additive identity.

-3

Suppose that we talk about a unary function "-" defined on F with -(0)=0, and -(-(x))=x. Note that instead of talking about a "inverses" for a field or group, we could just talk about those structures with such a unary function. Now let ⟨F,+, -⟩ satisfy the following properties:

  1. For all x, y, (x+y)=(y+x)

  2. For all x, y, z ((x+y)+z)=(x+(y+z))

  3. For all x, (x+-(x))=0

I simply don't see how this implies that "for all x, (x+0)=x", so I don't see why we can't consider a field-like structure which drops only the axiom of an additive identity. How does this work? We basically have a commutative, associative structure which has an inverse also, since 3. comes as basically equivalent to the notion of having an additive inverse. So, now look at Asaf's way of defining a field. Instead of having ⟨F,0,+⟩ as an Abelian group, we have ⟨F,0,+⟩ as a structure where + satisfies association, commutation, and property 3. above. We leave the rest of Asaf's way of defining a field intact, so it comes as possible to only drop the axiom of an additive inverse for a field.

  • 4
    Of course your axioms do not imply $x+ 0 = x$ for all $x$. Take for instance any set $X$ with more than one element: call one of the elements $0$. Define $-x = x$ for all $x \in X$ and $x+y = 0$ for all $x,y \in X$. Then $0$ is an absorbing element, not an identity....But this structure is nothing like a field -- indeed, you only have one binary operation! So what is your point here?2011-09-14
  • 0
    @Pete As I try to clear up in the edit, we now have a structure which satisfies the property of having an inverse (3. comes as equivalent to such a property, as I understand it), and satisfies addition and commutation. In other words, it satisfies all axioms of an additive Abelian group without the existence of an additive identity, and it comes as consistent. So, if you join in the other axioms for a field under a formulation like that of Asaf's, the set of axioms for a field *without* that of an additive inverse is NOT inconsistent. So, such structures DO come as possible.2011-09-14
  • 0
    $@$Doug: if you are saying that your modified set of axioms is consistent, then this is obvious because any field satisfies these axioms. If you are saying this axiom system together with the additional axiom that $0$ is *not* an additive identity is consistent: yes, this is true. Take any field $F$ and redefine the addition operation to be identically $0$ as above, define $-x = x$ for all $x$, and keep the same multiplication operation.2011-09-14
  • 1
    Two questions: 1) Who said that such structures were not possible? Certainly not me: I was the one who gave you a model! (You said "I simply don't see how this implies...", which is not a proof by anyone's standard.) 2) In what sense is a structure in the above example "like a field" as the OP requests? What results can you prove about such structures? Being given by a similar list of axioms is a very superficial similarity between structures.2011-09-14
  • 0
    @Pete No you didn't say such weren't possible. Sorry if it seemed like I implied that you did. The OP as it stands currently says this... and yes I certainly did not give a proof. Yes, this answer doesn't give as much information as the OP requests. But, I'd think you'll probably have to use a formulation like this, because of what Arturo says (if he's correct) "So before we drop Axiom 3, we need to replace Axioms 4 and 9 with something else that, together with Axiom 3 give a field, but which make sense in the absence of Axiom 3."2011-09-14