Isomorphisms of direct products of cyclic groups of prime power order.
From MaRDI portal
Publication:467792
DOI10.2478/forma-2013-0022zbMath1298.20068MaRDI QIDQ467792
Hiroyuki Okazaki, Yasunari Shidama, Kazuhisa Nakasho, Hiroshi Yamazaki
Publication date: 5 November 2014
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2013-0022
direct products; finite Abelian groups; formalization of groups; formalized mathematics; products of finite cyclic groups
20K01: Finite abelian groups
03B35: Mechanization of proofs and logical operations
20K25: Direct sums, direct products, etc. for abelian groups
Cites Work