initial commit of CyclicGroupSupplement1.tex