week07: Cosets decomposition of a group, properties of cosets