@MISC{UNIROOTS.MIZ,
  AUTHOR = {Arneson, Broderick and Rudnicki, Piotr},
  TITLE = {Primitive Roots of Unity and Cyclotomic Polynomials},
  NOTE = {This work has been supported by NSERC Grant OGP9207.},
  SECTION1 = {Preliminaries},
  SECTION2 = {Multiplicative Group of a Skew Field},
  SECTION3 = {Roots of Unity},
  SECTION4 = {The Unital Polynomial $x^n - 1$},
  SECTION5 = {Cyclotomic Polynomials},
  DAY = {30},
  MONTH = {December},
  YEAR = {2003},
  ADDRESS1 = {University of Alberta\\Edmonton},
  ADDRESS2 = {University of Alberta\\Edmonton},
  SUMMARY = {We present a formalization of roots of unity, define cyclotomic
   polynomials and demonstrate the relationship between cyclotomic
   polynomials and unital polynomials.}}

