Is the cancellation law in fractions based on the fundamental law of fractions or that a number dividend by itself is equal to one? I have what I believe is a straight forward question.  Assume the following expression:

Using the commutative property of multiplication, I can rewrite the expression as follows and by also separating the expression into multiple terms:

We all know that a number dividend by itself is equal to one, although I do not know if there is a "rule" that says this, unless you convert division into multiplication and use the additive inverse to get to this result.  Several textbooks have examples of actually dividing both the numerator and the denominator by the same amount, using the fundamental law of fractions, to convert two of the terms to 1, as follows:

I know, in practice, no one does this and these steps are usually done mentally.  However, my question is whether the "correct" methodology is to actually divide the numerator and denominator by the same amount, when the fraction is already equivalent to one because the numerator and the denominator are the same. Or can we just rely on the fact that a number dividend by itself equals one, although there is no axiom or definition to tell us this?
 A: The definition of the quotient $\frac xy$ is "the number that we can multiply $y$ by to get $x$". (In the real numbers this number exists and is unique whenever $y\ne0$.)
So, by definition, $\frac xx$ equals $1$ (when $x\ne0$) because $1$ is the number we can multiply $x$ by to get $x$.
A: I'm not sure how much this matters, but if you ask me, the fundamental law of fractions (that factors common to the numerator and denominator can be canceled) is the fundamental one.
You didn't say what $a$ and $b$ in the expression above were. Perhaps integers, real numbers, or just variables. It turns out you can construct fractions from any algebraic structure (called a ring) with addition and multiplication operations. The rule which guides that construction is the cancellation law.
If an element $a$ in the ring has a multiplicative inverse $a^{-1}$, it can be shown that $\frac{1}{a}$ is equivalent to $\frac{a^{-1}}{1}$. So multiplying numerator and denominator by the inverse of a common factor produces the same fraction as cancellation. But this would be the longer way around.
I can go into more detail if you want; I'm not sure about your background.
