Isomorphisms of direct products of finite commutative groups.

DOI10.2478/FORMA-2013-0007MaRDI QIDQ2852184zbMATH OpenOpenAlexFDO

Authors 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

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 cyclic groups.
• scientific article; zbMATH DE number 5901139
• Isomorphisms of direct products of cyclic groups of prime power order.
• Isomorphisms of direct products of lattice-ordered groups
• Automorphisms of direct products of finite groups.
• scientific article; zbMATH DE number 6515974
• Direct products and elementary equivalence of polycyclic-by-finite groups.
• scientific article; zbMATH DE number 877648
• Isomorphism of commutative group algebras of finite abelian \(p\)-groups
• scientific article; zbMATH DE number 5375252

Cites work

• Commutativeness of fundamental groups of topological groups
• Isomorphisms of direct products of finite cyclic groups.
• Semantics of MML query -- ordering

Cited in

(5)

• Definition and properties of direct sum decomposition of groups.
• Equivalent expressions of direct sum decomposition of groups.
• Isomorphisms of direct products of finite cyclic groups.
• Conservation rules of direct sum decomposition of groups
• Isomorphisms of direct products of cyclic groups of prime power order.

This page was built for publication: Isomorphisms of direct products of finite commutative groups.

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