したがって有限拡大1→G0→G→π0(G)→1{\displaystyle1\toG_{0}\toG\to\pi_{0}(G)\to1\,}がある。
因此我们有了有限扩张1→G0→G→π0(G)→1{\displaystyle1\toG_{0}\toG\to\pi_{0}(G)\to1\,}。