While I am reading in The Higher Arithmetic , I found this example
the proof that the factorization is unique is not so immediate. The following illustration, given by Hilbert, explains why these two propositions are on such a different footing from one another.
The definitions of factors and primes involve solely the operation of multiplication, and have no reference to that of addition. Now consider what happens when the same definitions are applied to a system of numbers which can be multiplied together, but which cannot be added or subtracted without going outside the system. Take the system of numbers
1, 5, 9, 13, 17, 21, 25, 29, . . . ,
comprising all numbers of the form 4x + 1. The product of any two such numbers is again a number of the same kind. Let us define a ‘pseudo-prime’ to be a number in this system (other than 1) which is not properly factoriz- able in this system. The numbers 5, 9, 13, 17, 21 are all pseudo-primes, and the first number in the series which is not a pseudo-prime is 25. It is true that every number in the system is either a pseudo-prime or can be factorized into pseudo-primes, and this can be proved in just the same way as before. But it is not true that the factorization is unique; for example, the number 693 can be factorized both as 9×77 and as 21×33, and the four numbers 9, 21, 33, 77 are all pseudo-primes. my questions are:
-Which branch of mathematics does study something like what Hilbert did in this example, the dependence of proof?
-any good books on that field?