The forgetful functor from Ab to Grp is a conservative functor.
corollary of:
Date: nil
Author: Anton Zakrewski
Created: 2024-10-14 Mo 08:55