Let $G1 \subseteq G2 …$ be a chain of abelian groups. Then \(G \coloneqq \bigcup_{n \in \mathbb{N}} G_n\) is also an abelian group
cf. union of a chain of groups
cf. union of a chain of commutative monoids as commutative monoid
Date: nil
Author: Anton Zakrewski
Created: 2024-10-13 So 15:58