left and right cosets
passing uniqueness test again
introducing actions and homomorphisms