Definition and properties of direct sum decomposition of groups.
From MaRDI portal
Publication:2515741
DOI10.2478/forma-2015-0002zbMath1317.20035OpenAlexW1127721947MaRDI QIDQ2515741
Yasunari Shidama, Hiroyuki Okazaki, Hiroshi Yamazaki, Kazuhisa Nakasho
Publication date: 6 August 2015
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2015-0002
Extensions, wreath products, and other compositions of groups (20E22) Mechanization of proofs and logical operations (03B35)
Related Items
Conservation rules of direct sum decomposition of groups, Internal direct products and the universal property of direct product groups, Equivalent expressions of direct sum decomposition of groups.
Cites Work