. . "J is a group that has a kernel and quotient," . .