Definition and properties of direct sum decomposition of groups.

DOI10.2478/FORMA-2015-0002MaRDI QIDQ2515741zbMATH OpenOpenAlexFDO

Authors Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, 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-0002

zbMATH Keywords

direct productsdirect 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)

Recommendations

• Equivalent expressions of direct sum decomposition of groups.
• Conservation rules of direct sum decomposition of groups
• scientific article; zbMATH DE number 3104528
• Abelian groups for which every direct product is a direct sum.
• Primary Decomposition for Σ-Groups

Cites work

• Commutativeness of fundamental groups of topological 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?)
• Isomorphisms of direct products of finite commutative groups.
• Normal subgroup of product of groups.
• Semantics of MML query -- ordering

Cited in

(5)

• Equivalent expressions of direct sum decomposition of groups.
• Conservation rules of direct sum decomposition of groups
• scientific article; zbMATH DE number 3557870 (Why is no real title available?)
• 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: Definition and properties 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 Q2515741)