partial commutation subgroup of commutation, 1 assertions