Normal Subgroup of Product of Groups

DOI10.2478/V10037-011-0004-7zbMath1276.20033OpenAlexW1986748099MaRDI QIDQ2865726

Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama

Publication date: 3 December 2013

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

Full work available at URL: https://doi.org/10.2478/v10037-011-0004-7

zbMATH Keywords

direct sumsnormal subgroupsdirect products of groups

Mathematics Subject Classification ID

Subgroup theorems; subgroup growth (20E07) Extensions, wreath products, and other compositions of groups (20E22) Mechanization of proofs and logical operations (03B35)

Related Items (2)

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

Cites Work

• Commutativeness of fundamental groups of topological groups
• Semantics of MML Query - Ordering

This page was built for publication: Normal Subgroup of Product of Groups