Isomorphisms of Direct Products of Finite Cyclic Groups
From MaRDI portal
Publication:2852175
DOI10.2478/v10037-012-0038-5zbMath1277.20067OpenAlexW2045380986MaRDI QIDQ2852175
Kenichi Arai, Yasunari Shidama, Hiroyuki Okazaki
Publication date: 8 October 2013
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/v10037-012-0038-5
Finite abelian groups (20K01) Mechanization of proofs and logical operations (03B35) Direct sums, direct products, etc. for abelian groups (20K25)
Related Items
Isomorphisms of direct products of cyclic groups of prime power order., Isomorphisms of Direct Products of Finite Commutative Groups
Cites Work