Congruences
This is Lab 3 from Clint by Hugh Montgomery, edited by Elad Zelingher. All rights reserved to Hugh Montgomery.
Problem 1
The program CngArTab displays the addition and multiplication tables of congruence arithmetic. After entering an initial modulus . invertible residue classes are displayed in white, to aid in distinguishing them from non-invertible residue classes, in yellow. In the multiplication table, which rows constitute a complete residue system (each residue once and only once)? Refer to Theorem 2.6 of NZM.
Problem 2
If two invertible residue classes are multiplied, is their product necessarily a invertible residue class? Experiment, and recall Theorem 1.8 of NZM.
Problem 3
When viewing the multiplication table, the display can be restricted to the invertible residue classes by hitting the checkbox. Try this with , for example. Do the numbers in a given row of the table constitute a system of invertible residues? Refer again to Theorem 2.6 of NZM. Try this also with , and note the location of the gaps in the invertible residues.
Problem 4
Take in CngArTab. For which does there exist an such that That is, in which rows of the multiplication table do you see a 1? Is there any row containing more than one 1? (Numbers in the first column don't count.) Refer to Theorem 2.9 of NZM.
Problem 5
Use the program PowerTab to investigate the following questions. For which values of is the sequence eventually periodic? Purely periodic? Try all values of for several moduli (say ), and note the results. Formulate conjectures concerning the general situation. How does the behavior for prime differ from composite ? Is the value of relevant? For now you can assume that PowerTab computes the powers of sequentially. Actually, this program can skip forward to calculate quickly, without determining the intervening powers.
Problem 6
The number of invertible residue classes (mod ) is called . (See pp. 50, 51 of NZM.) Determine the value of by the following method: There are precisely 13 numbers such that . Similarly, there are precisely 7 numbers , for which , and precisely 1 number for which both and . Hence . By using CngArTab to view the multiplication table (mod 91) with only invertible residues displayed, you can confirm that this calculation is correct. More generally, if where and are distinct primes, then . This approach can be extended to numbers with more prime factors, by means of the principle of Inclusion-Exclusion (see pp. 209, 210 of NZM). Use PowerTab to view the powers of , invertible modulo 91 . Note that whenever , as predicted by Euler's Theorem (Theorem 2.8 of NZM). Is there a smaller exponent with this same property?
Problem 7
The program FctrlTab generates a table of the numbers . Use FctrlTab to view the factorials modulo 345345 . What is the least such that ? Is it necessarily the case that ? Use Factor to determine the factorizations of and of 345345. Use FctrlTab to view the factorials for several prime numbers . Is there any pattern exhibited by ? By ? By ! ? Formulate conjectures. Can you prove that each one of these conjectures implies the others? See Wilson's Theorem (Theorem 2.11 of NZM).
Problem 8
For each integer let denote the least positive integer such that . Clearly if is prime. If is composite then is smaller. How much smaller? Is it usually small? Is it usually large? Does it oscillate a lot? Use FctrlTab to determine for several values of , and interpret your findings.
Problem 9
The program PolySolv allows you to define a polynomial , and then find the roots of the congruence . The program runs rather slowly when is large, since is evaluated for every . Use PolySolv to find the roots of for several small primes , and note that the results conform to Lemma 2.10 of NZM.