Timeline for Proof theory and primitive roots
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 19, 2013 at 23:27 | comment | added | François G. Dorais | Charles, this use of the law of excluded middle is fine since all objects involved are finite hence decidable. | |
| Mar 19, 2013 at 15:50 | comment | added | Charles Matthews | Contradiction, yes. If I'm not simplifying too much, the situation comes down to three subgroups of residues mod p, of index q, r and 1 (under multiplication). The three numbers are constrained each to generate such subgroup. If you rule out index 1, then by a pigeonhole argument two generate the same subgroup, which will be contradictory. | |
| Mar 19, 2013 at 15:21 | history | answered | Timothy Chow | CC BY-SA 3.0 |