既約合同類群