@MISC{GROUP_18.MIZ,
  AUTHOR = {Yamazaki, Hiroshi and Okazaki, Hiroyuki and Nakasho, Kazuhisa and Shidama, Yasunari},
  TITLE = {Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order},
  SECTION1 = {Basic Properties of Cyclic Groups of Prime-power Order},
  SECTION2 = {Isomorphism of Cyclic Groups of Prime-power Order},
  DAY = {7},
  MONTH = {October},
  YEAR = {2013},
  ADDRESS1 = {Shinshu University, Nagano, Japan},
  ADDRESS2 = {Shinshu University, Nagano, Japan},
  ADDRESS3 = {Shinshu University, Nagano, Japan},
  ADDRESS4 = {Shinshu University, Nagano, Japan},
  SUMMARY = {In this paper, we formalized some theorems concerning
  the cyclic groups of prime-power order. We formalize that
  every commutative cyclic group of prime-power order
  is isomorphic to a direct product of family of cyclic groups
  \cite{GROUP_14.ABS}, \cite{GROUP_17.ABS}.},
  ACKNOWLEDGEMENT = {The 4th author was supported by JSPS KAKENHI 22300285.}}


