What makes the pairs of operators $(-, +)$ and $(÷, ×)$ so similar? Update
My original thoughts are better expressed on this mathoverflow post.
Short Version
When defining the $-$, $+$, $÷$, and $×$ operators in a functional manner, one can observe that the $(-, +)$ pair is very similar to the $(÷, ×)$ pair, and the only main differences between them is their identity terms ($0$ and $1$ respectively) and the fact that the divisor cannot be equal to the identity term of the $(-, +)$ pair of operators.
My questions are the following: where can I find some prior work on this topic, and can one define a family of such operator pairs with different identity terms? Is there any theory for such objects?
Set Theory Version
While the arithmetic properties outlined below can be defined for both sets and types, referring to set theory might help clarify the question: if $(+, -)$ with 0 as identity element defines a group and $[(+, -), (×, ÷)]$ with 1 as identity element for $(×, ÷)$ defines a field, what is defined by $[(+, -), (×, ÷), (\#, @)]$ with an identity element for $(\#, @)$ other than 0 and 1?
Since $(+, -, 0)$ is used to define $\mathbb{Z}$ and $[(+, -, 0), (×, ÷, 1)]$ is used to define $\mathbb{Q}$, which $(\#, @, r)$ could be introduced so that $[(+, -, 0), (×, ÷, 1), (\#, @, r)]$ would define $\mathbb{S}$, with $\mathbb{Q} \subset \mathbb{S} \subseteq \mathbb{R}$?
Intuitively, $\#$ should be based on exponentiation, while $@$ should be based on logarithm.
Long Version
One can define the $-$, $+$, $÷$, and $×$ operators in the following fashion:
Minus:

$
\small \text{Minus Identity Term: the minus identity term is equal to 0.}\normalsize\\
i(m) = 0.\\
\quad\\
\small \text{Subtraction Identity:} \enspace \alpha - 0 = \alpha.\normalsize\\
m(\alpha, i(m)) = \alpha.\\
\quad\\
\small \text{Self Subtraction:} \enspace \alpha = \beta \Longleftrightarrow \alpha - \beta = 0.\normalsize\\
\alpha = \beta \Longleftrightarrow m(\alpha, \beta) = i(m).\\
\quad\\
\small \text{Subtraction Affine Identity:} \enspace \alpha - (\beta - \gamma) = \gamma - (\beta - \alpha).\normalsize\\
m(\alpha, m(\beta, \gamma)) = m(\gamma, m(\beta, \alpha)).\\
$

Plus:

$
\small \text{Multiplication Affine Identity:} \enspace (\alpha + \beta) - \gamma = \alpha - (\gamma - \beta).\normalsize\\
m(p(\alpha, \beta), \gamma) = m(\alpha, m(\gamma, \beta)).\\
$

Divides:

$
\small \text{Divides Identity Term: the divides identity term is equal to 1.} \normalsize\\
i(d) = 1.\\
\quad\\
\small \text{Division Identity:} \enspace \frac{\alpha}{1} = \alpha.\normalsize\\
d(\alpha, i(d)) = \alpha.\\
\quad\\
\small \text{Self Division:} \enspace \frac{\alpha}{\alpha} = 1.\normalsize\\
\alpha = \beta \Longleftrightarrow d(\alpha, \beta) = i(d).\\
\quad\\
\small \text{Division Affine Identity:} \enspace \frac{\alpha}{\frac{\beta}{\gamma}} = \frac{\gamma}{\frac{\beta}{\alpha}}.\normalsize\\
d(\alpha, d(\beta, \gamma)) = d(\gamma, d(\beta, \alpha)).\\
$

Times:

$
\small \text{Multiplication Affine Identity:} \enspace \frac{\alpha × \beta}{\gamma} = \frac{\alpha}{\frac{\gamma}{\beta}}.\normalsize\\
d(t(\alpha, \beta), \gamma) = d(\alpha, d(\gamma, \beta)).\\
$

We observe that the pair of divides and times operators are defined exactly the same way as the pair of minus and plus operators, but with different identity terms, and with a minus identity restriction on the multiplier subdomain of the divides function.
The symmetry established between the pairs of operators $(-, +)$ and $(÷, ×)$ allows the following pairs of properties to be proven for both properties in every pair by proving it for a single property.
The following properties are established for any pair of operator functions $(f, g)$, which corresponds to the pairs $(-, +)$ and $(÷, ×)$. Furthermore, the term reverse is used to refer to the opposite for the $(-, +)$ pair and to the inverse for the $(÷, ×)$ pair.
Proofs for the $(-, +)$ pair can be found on this notebook.
Anticommutativity: $f(\alpha, \beta) = f(i(f), f(\beta, \alpha).$

$
\alpha - \beta = -(\beta - \alpha).\\
\quad\\
\displaystyle \frac{\alpha}{\beta} = \frac{1}{\frac{\beta}{\alpha}}.\\
$

Double Reverse Identity: $\alpha = f(i(f), f(i(f), \alpha)).$

$
\alpha = -(-\alpha).\\
\quad\\
\displaystyle \alpha = \frac{1}{\frac{1}{\alpha}}.\\
$

Associative Commutativity: $f(f(\alpha, \beta), \gamma) = f(f(\alpha, \gamma), \beta).$

$
(\alpha - \beta) - \gamma = (\alpha - \gamma) - \beta.\\
\quad\\
\displaystyle \frac{\frac{\alpha}{\beta}}{\gamma} = \frac{\frac{\alpha}{\gamma}}{\beta}.\\
$

Affine Equivalence: $f(\alpha, \beta) = \gamma \Longleftrightarrow f(\alpha, \gamma) = \beta.$

$
\alpha - \beta = \gamma \Longleftrightarrow \alpha - \gamma = \beta.\\
\quad\\
\displaystyle \frac{\alpha}{\beta} = \gamma \Longleftrightarrow \frac{\alpha}{\gamma} = \beta.\\
$

Identity Element: $g(\alpha, i(f)) = \alpha.$

$
\alpha + 0 = \alpha.\\
\quad\\
\alpha × 1 = \alpha.\\
$

Dual Substitution: $g(\alpha, \beta) = f(\alpha, f(i(f), \beta)).$

$
\alpha + \beta = \alpha - (-\beta).\\
\quad\\
\alpha × \beta = \frac{\alpha}{\frac{1}{\beta}}.\\
$

Dual Equivalence: $\alpha = g(\beta, \gamma) \Longleftrightarrow \beta = f(\alpha, \gamma).$

$
\alpha = \beta + \gamma \Longleftrightarrow \beta = \alpha - \gamma.\\
\quad\\
\alpha = \beta × \gamma \Longleftrightarrow \beta = \frac{\alpha}{\gamma}.\\
$

Commutativity: $g(\alpha, \beta) = g(\beta, \alpha).$

$
\alpha + \beta = \beta + \alpha.\\
\quad\\
\alpha × \beta = \beta × \alpha.\\
$

Associativity: $g(g(\alpha, \beta), \gamma) = g(\alpha, g(\beta, \gamma)).$

$
(\alpha + \beta) + \gamma = \alpha + (\beta + \gamma).\\
\quad\\
(\alpha × \beta) × \gamma = \alpha × (\beta × \gamma).\\
$

Dual Identity: $(g(f(\alpha, \beta), \beta) = \alpha) \land (f(g(\alpha, \beta), \beta) = \alpha).$

$
((\alpha - \beta) + \beta = \alpha) \land ((\alpha + \beta) - \beta = \alpha).\\
\quad\\
\displaystyle (\frac{\alpha}{\gamma} × \beta = \alpha) \land (\frac{\alpha × \beta}{\beta} = \alpha).\\
$

 A: Since you're interested in type theory and say that you therefore want an element free perspective, I'll give you the categorical perspective.
In category theory, we can define group objects in a category $C$ with finite products (including the terminal object, $*$) as an object $G$ with $\mu : G\times G \to G$ (a binary operator), $e: * \to G$ (a nullary operator), and $i : G\to G$ (a unary operator) satisfying the following relations, where $\Delta_G : G\to G\times G$ is the diagonal map and $\tau_G : G\to *$ is the map to the terminal object:
Associativity:
$$\mu\circ (\mu\times \newcommand\id{\operatorname{id}}\id) = \mu\circ (\id\times \mu) :G\times G\times G \to G$$
Identity:
$$\mu\circ (\id\times e)=\mu\circ (e \times \id)=\id : G\times G$$
Inverses:
$$\mu\circ (\id\times i) \circ \Delta_G = \mu\circ (i\times \id) \circ \Delta_G = e\circ \tau_G : G\to G$$
Now this axiomatization is equivalent to the axiomatization you've given in your question, except that instead of inversion, you've given division as the primitive operation.
To get your data, we define division as $d=\mu \circ (\id \times i)$. 
Conversely, given division $d: G\times G\to G$, we define $i$ by $i=d\circ (e\times \id)$.
Your axiomatization gives associativity and identity for free, plus also commutativity (so you're technically axiomatizing abelian groups).
Then your "dual identity" can be phrased $$\mu\circ (d\times \id) \circ (\id \times \Delta_G) = d\circ (\mu \times \id)\circ (\id \times \Delta_G) = \id \times \tau_G : G\times G\to G $$
Composing with $e\times \id$ we get the identity
$$\mu\circ (d\times \id) \circ (\id\times \Delta_G) \circ (e\times \id) = 
\mu\circ (d\times \id)\circ (e\times \id\times \id)\circ \Delta_G = \mu\circ (i\times \id)\circ \Delta_G=e\times \tau_G,$$
which is half of the inverses identity, and the other half we get is:
$$d\circ (\mu\times \id) \circ (\id\times \Delta_G) \circ (e\times \id) = 
d\circ (\mu\times \id)\circ (e\times \id\times \id)\circ \Delta_G = d\circ \Delta_G=e\circ \tau_G,$$
so we just need to check $d = \mu\circ (\id \times i)$, and this follows from your
double reverse and dual substitution identities.
(We get $\alpha + (-\beta) = \alpha - (-(-\beta)) = \alpha - \beta$).
Conclusion
All of the properties you've listed follow from the fact that the operations you've chosen define abelian groups.
Thus the reason the triples of operators (don't forget the identity) are so similar is that they each define abelian groups.
Edit: 
It's now a bit more clear to me what you're asking about. You also are interested in the relationship between these pairs/triples of operators, and how to possibly add another pair/triple.
In which case I feel the need to point out that fields don't come with two pairs of operations.
It's actually a bit easier to see this in the case of (commutative) rings.
For a general commutative ring $R$ define $a/b = a\cdot b^{-1}$ when $b$ is invertible.
Then the collection of all invertible elements of $R$, denoted $R^\times$ forms a group, and it has identity $1$, the usual multiplication as multiplication, and the division just defined gives the division operation.
Now $R^\times=R$, as sets only when $R=0$, the zero ring, since otherwise $0$ is never invertible. Thus the triple of operations $(1,*,/)$ is never actually a triple of operations on $R$, but rather a triple of operations on the related object $R^\times$. 
In the very special case of fields, $R^\times = R\setminus\{0\}$, but for say the integers, we have $\Bbb{Z}^\times = \{1,-1\}$.
Also there is an additional axiom relating the operations $+$ and $*$, the distributive law.
Thus it's not clear what you mean by adding another triple of operations.
The two triples of operations already discussed aren't defined on the same set/type to begin with, so it's not quite clear how you'd be adding a third.
Also even if you did construct a related type on which to define a third operation, this third operation should relate to the previous two in some way.
In mathematics, there are examples of rings with additional operations (though none that I can think of that form an abelian group), such as differential graded algebras, but the third operation always relates to the prior two in some way.
A: Update: A more detailed answer is available on this mathoverflow post.
Following @Henry’s suggestion, a recursive structure of abelian groups can be constructed by using commutative hyperoperations:
$p_{n+1}(a, b) = \exp(p_n(\ln(a), \ln(b)))$
$p_0(a, b) = \ln\left(e^a + e^b\right)$
$p_1(a, b) = a + b$
$p_2(a, b) = a\cdot b = e^{\ln(a) + \ln(b)}$
$p_3(a, b) = a^{\ln(b)} = e^{\ln(a)\ln(b)}$
$p_4(a, b) = e^{e^{\ln(\ln(a))\ln(\ln(b))}}$
These functions give us the sequence of $(+, ×, ...)$ operations, while their inverse functions give us the sequence of $(-, ÷, ...)$ dual operations. The sequence of identity terms is $(0, 1, e, ...)$. With this, $T_1$ (Type Level 1) is isomorphic to a group, $T_2$ is isormorphic to a field, and successive types give you more and more complex objects.
The identity terms are:
$i_n = e \upuparrows (n - 2).$
$i_1 = 0.$
$i_2 = 1.$
$i_3 = e.$
$i_3 = e ^ e.$
$i_4 = e ^ {e ^ e}.$
While I cannot yet fathom what $T_4$ And successive types can be used for, I have to believe that $T_3$ is interesting, because it brings exponentiation to the table in a very natural manner. Therefore, stopping at the level of fields feels quite shortsighted.
Also, $T_1$ is isomorphic to $\mathbb{Z}$ and $T_2$ is isomorphic to $\mathbb{Q}$, but $T_3$ is isomorphic to a strict subset of $\mathbb{R}$. This goes to suggest that the gap between $\mathbb{Q}$ and $\mathbb{R}$ is pretty large and should be filled incrementally with larger and larger sets. One interesting question is whether $T_n$ “converges” toward a structure that is isomorphic to $\mathbb{R}$ when $n$ increases.
A: Here is my best attempt at answering this question; but the answer I have is likely to be disappointing.

If $(+, -)$ with 0 as identity element defines a group and $[(+, -), (×, /)]$ with 1 as identity element for $(×, /)$ defines a field, what is defined by $[(+, -), (×, /), (\#, @)]$ with an identity element for $(\#, @)$ other than 0 and 1?

As far as I know, no such thing has been studied any significant amount.
As you've noticed, any field has two corresponding groups: its additive group and its multiplicative group. These two groups have different identity elements.
I'm not aware of any kind of algebraic structure which has three corresponding groups. And nobody is going to study such things, or name them, until someone has found an interesting example of such a thing.
A: What you're talking about is called a Field.
A Field is a set (say rational number $\mathbb{Q}$, real numbers $\mathbb{R}$, complex numbers $\mathbb{C}$, etc...) together with two operations $(+,\times)$ such that the following axioms holds:
The operations are associative: $a + (b + c) = (a + b) + c$ and $a \cdot (b \cdot c) = (a \cdot b) $
The operations are commutative: $a+b=b+a$ and $a\cdot b=b\cdot a$
Each of the operations has it's own identity element $(0,1)$. Formally, there exist two different elements $0$ and $1$ such that $a + 0 = a$ and $a · 1 = a$.
And each of the operations admits an "inverse" (i.e. we have $(-,/)$). That is,
For every $a$, there exists an element  denoted $−a$, such that $a + (−a) = 0$. Similarly for every $a\not = 0$ there exists an element, often denoted by $a^{-1}$ or $1/a$ such that $a\cdot a^{-1}=1$.
Finally there is one more axiom which associate between the additive and multiplicative notion. It's called the distributivity and it says that  $a \cdot (b + c) = (a \cdot b) + (a \cdot c)$.
We have many fields some of them are finite and some are infinite. In my opinion the best example for a finite field would be $\mathbb{F}_p$ - the field of $p$-elements with addition and multiplication modulo $p$, you can read about it and more finite fields here. The most useful infinite fields (Again in my opinion) are the rational numbers, the real numbers and the complex numbers with the usual addition and multiplication. The important part however is that and every field satisfies all of the properties that you mentioned in your question.
Note that I removed quantifiers from the definitions to make them simpler, for the complete and correct axioms of a field please click the link in the first line.
A: $\log$ turns multiplication and division into addition and subtraction. The precise statement is that $\log: \mathbb R^+ \to \mathbb R$ is a group isomorphism, whose inverse is $\exp$.
A: How do you define these operations? If it's the primary-school way on real numbers, it follows from the facts that (i) reals form an Abelian group under $+$, its identity element famously named $0$, and (ii) reals $\ne 0$ form an Abelian group under $\times$. (Note this guarantees many similarities follow from group theory.) This, together with $a\times (b+c)=a\times b+a\times c$ (we say $\times$ distributes over $+$), defines a field. Maths has a lot of groups, and a lot of fields; and where you have fields, you have two very similar operations.
A: I think what's going on is this:
Suppose you have any binary relation $\star$ making $X$ an abelian group. One way to express the relation is that it is a subset $S\subseteq (X\times X)\times X$ where $a\star b=c$ iff $((a,b),c)\in S$.
You can immediately form a new relation $S'=\{((c,a),b)\mid (a,b,c)\in S\}$, and that describes a different binary operation. The fact that $S$ was formed from an abelian group operation allows you to say that this actually is a function.
And you can repeat this again to get $S''=\{((b,c),a)\mid (a,b,c)\in S\}$, but it isn't as obvious that it is a function from it's origin from $S'$, but we can appeal again to $S$ again to prove it is a function.
Repeating the trick a third time gets you back to $S$.  
If you take the special case where $\star$ is addition, you'll find that $S'$ is subtraction where the thing subtracted is on the right, and $S''$ is like subtraction where the thing subtracted is on the left.
All this means, I think, is that the binary operations for some groups that we are all very familiar with can be translated to this new funky ordering, and because of the group properties contained in $S$, you will have a standard set of properties available in $S'$ (and also perhaps a slightly different set for $S''$, I didn't check).
My gut feeling is that the set of group axioms on $S'$ is equivalent in some sense to the abeilan group axioms encompassed in $S$, so that we really haven't learned anything new, really, we've just rewritten all the addition in terms of subtraction, and all the division in terms of multiplication. It does not feel like there is anything significant in this process.
