direct factor of a group

[ریاضیات] عامل مستقیم گروه