Isomorphisms of direct products of cyclic groups of prime power order.

DOI10.2478/FORMA-2013-0022zbMath1298.20068OpenAlexW2093099227MaRDI QIDQ467792

Yasunari Shidama, Hiroshi Yamazaki, Kazuhisa Nakasho, Hiroyuki Okazaki

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

zbMATH Keywords

direct productsfinite Abelian groupsformalization of groupsformalized mathematicsproducts of finite 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)

Cites Work

• Unnamed Item
• Commutativeness of fundamental groups of topological groups
• Isomorphisms of Direct Products of Finite Cyclic Groups
• Semantics of MML Query - Ordering
• Isomorphisms of Direct Products of Finite Commutative Groups

This page was built for publication: Isomorphisms of direct products of cyclic groups of prime power order.