Conservation rules of direct sum decomposition of groups

DOI10.1515/FORMA-2016-0007zbMath1343.20033OpenAlexW2514770626MaRDI QIDQ306634

Hiroshi Yamazaki, Yasunari Shidama, Kazuhisa Nakasho, Hiroyuki Okazaki

Publication date: 1 September 2016

Published in: Formalized Mathematics (Search for Journal in Brave)

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)

Uses Software

• Mizar

Cites Work

• Commutativeness of fundamental groups of topological groups
• Definition and properties of direct sum decomposition of groups.
• Mizar: State-of-the-art and Beyond
• Unnamed Item
• Unnamed Item

This page was built for publication: Conservation rules of direct sum decomposition of groups