direct decomposition of a group