Definition:Group Decomposition