union of a chain of abelian groups as abelian group

1. Proposition

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

2. Proof

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 15:58