abstract algebra subgroup of algebra, 1 assertions