Equivalent expressions of direct sum decomposition of groups.

DOI10.2478/FORMA-2015-0006MaRDI QIDQ2515745zbMATH OpenOpenAlexFDO

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

Publication date 6 August 2015

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/forma-2015-0006

zbMATH Keywords

direct sum decompositionsdirect sums of groups

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Extensions, wreath products, and other compositions of groups (20E22) Direct sums, direct products, etc. for abelian groups (20K25)

Recommendations

• Definition and properties of direct sum decomposition of groups.
• Conservation rules of direct sum decomposition of groups
• Isomorphisms of direct products of finite commutative groups.
• scientific article; zbMATH DE number 3104528
• The Direct Decompositions of a Group G with G/G � Finitely Generated

Cites work

• Commutativeness of fundamental groups of topological groups
• Definition and properties of direct sum decomposition of groups.
• scientific article; zbMATH DE number 194100 (Why is no real title available?)
• scientific article; zbMATH DE number 706263 (Why is no real title available?)
• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Normal subgroup of product of groups.
• Semantics of MML query -- ordering

Cited in

(5)

• Decomposition of sets equipped with a structure into a free sum and a direct product
• Definition and properties of direct sum decomposition of groups.
• Conservation rules of direct sum decomposition of groups
• scientific article; zbMATH DE number 3104528 (Why is no real title available?)
• Internal direct products and the universal property of direct product groups

This page was built for publication: Equivalent expressions of direct sum decomposition of groups.

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