Definition and properties of direct sum decomposition of groups.

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

zbMATH Keywords

direct productsdirect sum decompositionsdirect sums of groups

Mathematics Subject Classification ID

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Commutativeness of fundamental groups of topological groups
• Semantics of MML Query - Ordering
• Isomorphisms of Direct Products of Finite Commutative Groups
• Normal Subgroup of Product of Groups