أرسل هذا في رسالة قصيرة: Morphisms of group objects that satisfy the existence of a right inverse element form a commutative diagram.