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

DOI10.2478/FORMA-2013-0022MaRDI QIDQ467792zbMATH OpenOpenAlexFDO

Authors Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama

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

Mechanization of proofs and logical operations (03B35) Finite abelian groups (20K01) Direct sums, direct products, etc. for abelian groups (20K25)

Recommendations

• Isomorphisms of direct products of finite commutative groups.
• Isomorphisms of direct products of finite cyclic groups.
• The number of subgroups of a direct product of cyclic \(p\)-groups.
• scientific article; zbMATH DE number 591340
• The groups semidirect cyclic product

Cites work

• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Commutativeness of fundamental groups of topological groups
• Isomorphisms of direct products of finite commutative groups.
• Isomorphisms of direct products of finite cyclic groups.
• Semantics of MML query -- ordering

Cited in

(3)

• Isomorphisms of direct products of finite cyclic groups.
• Isomorphisms of direct products of finite commutative groups.
• Perfect Isometry Groups for Cyclic Groups of Prime Order

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q467792)