Imagine I have two nonnegativepositive integers, $a$ and $b$. Can you find the last digit of the sum $a+b$ given only the last digits of $a$ and $b$? More generally, can you find the last $n$ digits of $a+b$ given only the last $n$ digits of $a$ and $b$? The answer to both questions is yes: for example, any number of the form $...123$ added to any number of the form $...789$ always results in a number of the form $...912$.
What about the last $n$ digits of the product $a\times b$? There is also a unique answer in this case: for example, $(...47) \times (...38) = ...86$ always.
What about the last $n$ digits of the power $a^b$ (where we take $0^0=1$)? Sadly, here the whole thing breaks down: except in very rare cases, the last digits of a power cannot in general be determined from the last digits of the base and exponent. For example, $13^{14} = ...9$, but $13^{24}=...1$, so $(...3)^{...4}$ is not uniquely determined. So our ordinary decimal notation behaves well with respect to sums and products, but not with respect to exponentiation. That's a shame! Could this "issue" perhaps be fixed by changing our number system to something more... powerful?
Let $\operatorname{last}_n a$ denote the number obtained by taking the last $n$ digits of the number $a$ (and $\operatorname{last}_n a = a$ if $a$ has less than $n$ digits). For example, we have $\operatorname{last}_3 14835 = 835$, $\operatorname{last}_4 57 = 57$ and $\operatorname{last}_2 302 = 02 = 2$. We've seen that $\operatorname{last}_n (a+b) = \operatorname{last}_n(\operatorname{last}_n a + \operatorname{last}_n b)$ and $\operatorname{last}_n (a\times b) = \operatorname{last}_n(\operatorname{last}_n a \times \operatorname{last}_n b)$ for all $a, b$ and all $n>0$. We'll say that a number system is a powerful number system if additionally we have $$\operatorname{last}_n (a^b) = \operatorname{last}_n((\operatorname{last}_n a)^{\operatorname{last}_n b}).$$
Unfortunately, ordinary base-$B$ positional notation isn't powerful for any $B$ (can you see why?), so we're forced to turn to more exotic systems:
The bijective base-$B$ number systems are like ordinary base-$B$ numbers, but instead of the digits going from $0$ to $B-1$, they go from $1$ to $B$ (and zero is represented by the empty string). The most famous instance is unary notation or bijective base-$1$, in which a number is represented by writing that many $1$s in succession. For example, the list of positive numbers in bijective base-$10$ notation goes like $\text{(empty)}, 1, 2, 3, 4, 5, 6, 7, 8, 9, \mathrm A, 11, 12, 13, 14, 15, 16, 17, 18, 19, 1{\mathrm A}, 21, \ldots$$1, 2, 3, 4, 5, 6, 7, 8, 9, \mathrm A, 11, 12, 13, 14, 15, 16, 17, 18, 19, 1{\mathrm A}, 21, \ldots$ (where the digit $\mathrm A$ represents ten).
The factorial number system is a system which is not tied to any base in particular; instead, it is such that the $k$th digit is allowed to vary from $0$ to $k-1$ (so in theory this base needs infinitely many symbols, but only a finite amount is needed to represent a given number). The list of positive numbers in this notation goes like $0, 10, 100, 110, 200, 210, 1000, 1010, 1100, 1110, 1200, 1210, 2000, 2010, 2100, 2110, 2200, 2210, 3000, 3010, \ldots$$10, 100, 110, 200, 210, 1000, 1010, 1100, 1110, 1200, 1210, 2000, 2010, 2100, 2110, 2200, 2210, 3000, 3010, \ldots$. This number system is called as such because the factorial $N! = N \times (N-1) \times \cdots \times 2 \times 1$ of any number $N$ is easily expressed in this notation as an $1$ followed by $N$ zeros. For example, $6!$ is expressed as $1000000$.
Finally, we can combine the ideas of the bijective and factorial number systems by defining the bijectorial number system: a system such that the $k$th digit is allowed to vary from $1$ to $k$. The numbers in this notation go like $\text{(empty)}, 1, 11, 21, 111, 121, 211, 221, 311, 321, 1111, \ldots$$1, 11, 21, 111, 121, 211, 221, 311, 321, 1111, \ldots$
Can you find all powerful number systems among the mentioned ones (bijective base-$B$ for some $B$, factorial, bijectorial)?
Hint:
There are finitely many.