Isomorphisms of Direct Products of Finite Commutative Groups

DOI10.2478/FORMA-2013-0007zbMath1277.20068OpenAlexW2016939164MaRDI QIDQ2852184

Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama

Publication date: 8 October 2013

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2013-0007

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)

Related Items (2)

Isomorphisms of direct products of cyclic groups of prime power order. ⋮ Definition and properties of direct sum decomposition of groups.

Cites Work

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

This page was built for publication: Isomorphisms of Direct Products of Finite Commutative Groups