Isomorphisms of Direct Products of Finite Cyclic Groups

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

zbMATH Keywords

direct productsfinite Abelian groupsformalized mathematicsfinite cyclic groups

Mathematics Subject Classification ID

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

• Cartesian Products of Family of Real Linear Spaces