Zu jedem n ∈ N {\displaystyle {}n\in \mathbb {N} } liegt ein Gruppenhomomorphismus
vor. Dabei liegt ein kommutatives Diagramm
vor. Daher setzen sich die Gruppenhomomorphismen zu einem Homomorphismus zwischen den projektiven Limiten zusammen.
liegt ein Gruppenhomomorphismus
![{\displaystyle \varphi \colon G[\ell ^{n}]\longrightarrow H[\ell ^{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f263aeb0465c0028b401eec9c7085a73dfda5f94)
![{\displaystyle {\begin{matrix}G[\ell ^{n+1}]&{\stackrel {\cdot \ell }{\longrightarrow }}&G[\ell ^{n}]&\\\!\!\!\!\!\varphi \downarrow &&\downarrow \varphi \!\!\!\!\!&\\H[\ell ^{n+1}]&{\stackrel {\ell }{\longrightarrow }}&H[\ell ^{n}]&\!\!\!\!\!\\\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1100066bd8ee57a0f7f8619c052c9256b7d9985d)
