"f" と "a" が上記のとき、"f" から "a" への全射の核 "g" はまた自由アーベルである、なぜなら "f" の部分群(単位元に写される元からなる部分群)だからだ。