Conservation rules of direct sum decomposition of groups

DOI10.1515/FORMA-2016-0007MaRDI QIDQ306634zbMATH OpenOpenAlexFDO

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

Publication date 1 September 2016

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.1515/forma-2016-0007

zbMATH Keywords

group theorydirect sum decomposition

Mathematics Subject Classification ID

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

Recommendations

• Equivalent expressions of direct sum decomposition of groups.
• Definition and properties of direct sum decomposition of groups.
• scientific article; zbMATH DE number 3104528
• Isomorphisms of direct products of finite commutative groups.
• On direct decompositions of homogeneous torsion-free Abelian groups of finite rank

Cites work

• scientific article; zbMATH DE number 194100 (Why is no real title available?)
• scientific article; zbMATH DE number 706263 (Why is no real title available?)
• Commutativeness of fundamental groups of topological groups
• Definition and properties of direct sum decomposition of groups.
• Mizar: state-of-the-art and beyond

Cited in

(2)

• Equivalent expressions of direct sum decomposition of groups.
• Definition and properties of direct sum decomposition of groups.

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Conservation rules 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 Q306634)