# What is the maximum number of additive inverse can a number have? [closed]

Some numbers have no additive inverses. Can someone prove that a number can have at most 1 additive inverse?

-

## closed as unclear what you're asking by Jonas Meyer, mez, Claude Leibovici, Jyrki Lahtonen, 5xumJul 29 at 6:35

Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question.If this question can be reworded to fit the rules in the help center, please edit the question.

What numbers have no additive inverses? –  john w. Mar 17 '12 at 21:36
@john: $1$ in $\mathbb{N}$? –  TMM Mar 17 '12 at 21:42
The point being that the statement "some numbers have no additive inverses" is very vague. What is meant by number? What is meant by additive? Once these have been established, then a proof like below can be done. –  john w. Mar 17 '12 at 21:52

For an example of a commutative magma in which an element has more than one inverse, consider $M=\{0,a,b,c\}$ with the following addition table: $$\begin{array}{c||cccc} + & 0 & a & b & c\\ \hline 0 & 0 & a & b & c\\ a & a & b & 0 & 0\\ b & b & 0 & c & a\\ c & c & 0 & a & a \end{array}$$ Then $a$ has two additive inverses ($b$ and $c$); the reason the "usual" proof does not work any more is that $c+(a+b)\neq (c+a)+b$, since the operation is not associative.

Associativity is necessary; commutativity can be avoided if you specify that the two inverses act on "different sides" (e.g., $ab=1$ and $ca=1$). It is possible for an element to have two distinct inverses on the same side and no inverse on the other side even in the presence of associativity. For example, if $X$ is an infinite set, and $f\colon X\to X$ is a one-to-one function that is not onto, then $f$ will have many left inverses under composition (in fact, infinitely many), but no right inverses.

-

Suppose a number $a$ has two additive inverses $b$ and $b^\prime$. \begin{align*} b &= b + 0\\ &= b + (a + b^\prime)\\ &= (b + a) + b^\prime\\ &= 0 + b^\prime\\ &= b^\prime \end{align*}

Therefore, $b$ and $b^\prime$ were really the same number after all.

-
+1 though you have assumed the associative property –  Henry Mar 17 '12 at 21:41
I'm not sure how this proof might go (or not) without associativity, but I gather OP isn't interested in such strange algebras. –  Austin Mohr Mar 17 '12 at 21:41

Can you specify the setting more? Are you talking about rings, groups, or fields?

A simple naive go at your question without any more specificity would be, assume $a$ and $a'$ are additive inverses of $b$, then $a=a + 0 = a+(b+a')=(a+b)+a'=0+a'=a'$ so $a'=a$.

-
Like Austin said, you probably should specify what axioms we are working under. Usually associativity and commutativity come with the term "additive" –  Steven-Owen Mar 17 '12 at 21:45
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9694662690162659, "perplexity": 570.3746058540056}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2014-49/segments/1416400379466.35/warc/CC-MAIN-20141119123259-00184-ip-10-235-23-156.ec2.internal.warc.gz"}