HCSSiM Workshop, day 11
This is a continuation of this, where I take notes on my workshop at HCSSiM.
Lagrange
We reminded people that a finite group is a finite set with an associative multiplication law “*”, and an identity and inverses with respect that law. A subgroup is a subset which is a group in its own right with the same multiplication law. Given a subgroup of a group
we defined the cosets of
to be, for some
of the form:
We proved that “being in the same coset as” is an equivalence relation and that each coset has the same size. Altogether the cosets form a partition of the group, so the size of the group is the product of the size of any coset and the number of cosets.
One of the students decided that you could form a group law on the set of cosets, inheriting the multiplication operation from When it didn’t quite work out, he postulated that he could do it if the group is commutative. Pretty smart kid.
Primitive Roots modulo p
Next we spent more time than you’d think proving there’s a nonzero number modulo
whose powers generate all of the nonzero elements modulo
In other words, that there is an isomorphism
The left group is a group under multiplication, and the right one is a group under addition, which means this can be seen as a kind of logarithm in finite groups. Indeed an element on the left is mapped to that power
of
such that
So it’s very much like a logarithm.
To prove such an exists, we actually show that
such roots exist, and that in fact there are
th roots of unity for any
which divides
Another case where it helps to prove something harder than what you actually want.
To do that, we have a few lemmas. First, that there are at most roots to a degree
polynomial modulo
unless it’s the “zero” polynomial. Second, that if there’s a polynomial which achieves this maximum, it must divide the “Fermat’s Little Theorem” polynomial
These two lemmas aren’t hard.
Next we proved that there are at most primitive
th roots of unity for any
by showing that, if we had one, then we’d take certain powers to get all
of them, and then if we hadn’t counted one then we’d be able to produce too many roots of the polynomial
Finally, we wrote out boxes labeled with the divisors of and we labeled
balls the non-zero numbers mod
We put a ball with label
into the box with its order (the smallest positive number
so that
). Since there are at most
in each box, and since we need to put every ball in some box, there must be exactly
balls in each box since we proved a few days ago that:
Platonic Solids
Riffing on our proof of Euler’s formula for planar graphs, we convinced the kids that we could just as well consider a graph to be on a sphere, using a stereographic projection.
Then, using graphs on spheres as guides, we looked at how many examples we could come up with for a regular polytope, where each face has the same number of edges and each vertex has the same number of edges leaving it. We came up with the five platonic solids.
-
July 16, 2012 at 10:41 amHCSSiM Workshop, day 12 « mathbabe