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

DOI10.2478/FORMA-2013-0022zbMATH Open1298.20068OpenAlexW2093099227MaRDI QIDQ467792FDOQ467792

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

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

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)

Cites Work

• Semantics of MML query -- ordering
• Title not available (Why is that?)
• Commutativeness of fundamental groups of topological groups
• Isomorphisms of direct products of finite cyclic groups.
• Isomorphisms of direct products of finite commutative groups.

Cited In (2)

• 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)