Commutativeness of fundamental groups of topological groups

DOI10.2478/FORMA-2013-0014zbMath1298.55008OpenAlexW2060043964MaRDI QIDQ467783

Artur Korniłowicz

Publication date: 5 November 2014

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

Full work available at URL: https://doi.org/10.2478/forma-2013-0014

zbMATH Keywords

topological groupfundamental group

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Homotopy groups of special spaces (55Q52)

Related Items (6)

Conservation rules of direct sum decomposition of groups ⋮ Isomorphisms of direct products of cyclic groups of prime power order. ⋮ Definition and properties of direct sum decomposition of groups. ⋮ Equivalent expressions of direct sum decomposition of groups. ⋮ Isomorphisms of Direct Products of Finite Commutative Groups ⋮ Normal Subgroup of Product of Groups

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Commutativeness of fundamental groups of topological groups