Section 3.3: Problem 6 Solution
Working problems is a crucial part of learning mathematics. No one can learn... merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
Is a sequence number? What is ? Find and .
is not a sequence number, as divides but does not divide . However, formally, we can still calculate the formulas in the question.
First, formally, is defined as the least such that either or where is the divisibility relation. In our case, , so that .
Second, formally, is defined as the least such that either or . In our case, for all (including for which ).
Finally, is defined for all natural numbers as well. In particular, since , which is simply the maximum sequence number that divides . Therefore, and ( is a sequence number). Further, . Hence, .
Note. The exercise shows that the concatenation operation, as defined, is not associative on the set of all natural numbers, however, as mentioned in the text, it is associative on the set of sequence numbers.