by Andi Bauer
Last Updated May 15, 2019 16:20 PM

I'm wondering whether the following addition and multiplication over the set $(\mathbb{R}/{0}\times \mathbb{Z}) \cup \{0\}$ define a field:

$$ (a,a')+(b,b')= \begin{cases} (a,a') \text{ if } a'>b'\\ (b,b') \text{ if } b'>a'\\ (a+b,a') \text{ if } b'=a' \text{ and } a\neq -b\\ 0 \text{ if } b'=a' \text{ and } a= -b\\ \end{cases} $$ $$ (a,a')(b,b')=(ab,a'+b') $$ $$ -(a,a')=(-a,a') $$ $$ (a,a')^{-1}=(a^{-1},-a') $$

[$0$ is the additive unit, which fixes addition and multiplication with $0$. $(1,0)$ the multiplicative unit.]

If yes, does this field have a name? If no, which of the axioms fail?

I'm a bit confused because I thought there are only "relatively few" different fields, such as the rational, real, complex numbers, or finite fields.

No, addition is not associative. For instance, $$((1,0)+(-1,0))+(1,-1)=0+(1,-1)=(1,-1)$$ but $$(1,0)+((-1,0)+(1,-1))=(1,0)+(-1,0)=0.$$

Note that you can tell something must be wrong with just the additive axioms, since your operation $+$ does not allow cancellation and so cannot be a group operation. Since there clearly is an identity and inverses, associativity must fail.

Updated May 29, 2017 08:20 AM

Updated June 06, 2017 00:20 AM

Updated May 17, 2018 01:20 AM

- Serverfault Query
- Superuser Query
- Ubuntu Query
- Webapps Query
- Webmasters Query
- Programmers Query
- Dba Query
- Drupal Query
- Wordpress Query
- Magento Query
- Joomla Query
- Android Query
- Apple Query
- Game Query
- Gaming Query
- Blender Query
- Ux Query
- Cooking Query
- Photo Query
- Stats Query
- Math Query
- Diy Query
- Gis Query
- Tex Query
- Meta Query
- Electronics Query
- Stackoverflow Query
- Bitcoin Query
- Ethereum Query