This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
TotientQuotient
totientquotient.bsky.social
did:plc:uvxvfsgazd747andogtpg3bu
#MathSky
🧵 Solution:
The order of the group follows from the fact that for a matrix of the required form, the entries on or below the diagonal are fixed and the ones above, which there are n(n-1)/2 of, can each be freely chosen from the elements of ℤ/pℤ. As for the group axioms,
(1/9)
[contains quote post or other embedded content]
2024-12-15T13:16:33.750Z