@MISC{GROUP_14.MIZ,
  AUTHOR = {Arai, Kenichi and Okazaki, Hiroyuki and Shidama, Yasunari},
  TITLE = {Isomorphisms of Direct Products of Finite Cyclic Groups},
  DAY = {27},
  MONTH = {August},
  YEAR = {2012},
  ADDRESS1 = {Tokyo University of Science, Chiba, Japan},
  ADDRESS2 = {Shinshu University, Nagano, Japan},
  ADDRESS3 = {Shinshu University, Nagano, Japan},
  SUMMARY = {In this article, we formalize that every finite cyclic
    group is isomorphic to a direct product of finite cyclic groups
    which orders are relative prime. This theorem is closely related
    to the Chinese Remainder theorem (\cite{INT_6.ABS}) and is a useful
    lemma to prove the basis theorem for finite abelian groups and
    the fundamental theorem of finite abelian groups. Moreover, we
    formalize some facts about the product of a finite sequence of
    abelian groups.}}

