Abelian group
The quotient may be defined for a pair of endomorphisms of an Abelian group, "f" and "g", which satisfy the condition "fg" = "gf" = 0. Their Herbrand quotient "q"("f","g") is defined as