命題
FinAb を有限アーベル群全体の圏とする。
FinAb には 0 以外の単射的対象(過去スレ019の759)は存在しない。

証明
G ≠ 0 を FinAb の単射的対象とする。
>>77より G は位数が素数冪の巡回群の直積となる。
過去スレ019の792より G の任意の直積因子は単射的対象である。
よって位数が素数冪の群 H ≠ 0 で単射的対象であるものが存在する。
これは>>76と矛盾する。
証明終