1: \begin{definition}

2: \label{dfn:poKernel}

3: 

4: Due to the results in Theorem

5: \ref{thm:KernelSing},

6: it makes sense to define a \textit{pre-order of transfer kernels}

7: on the kernels \(\ker(T_{G,U})\) of the components \(T_{G,U}\) of the natural transformation \(T\)

8: in the object class \(\mathrm{Obj}(\mathcal{G})\)

9: of the category \(\mathcal{G}\) of groups

10: in the following manner.

11: 

12: For two objects \((G,U),(H,V)\in\mathrm{Obj}(\mathcal{G}_{f})\),

13: a morphism \(\varphi\in\mathrm{Mor}_{\mathcal{G}_{f}}((G,U),(H,V))\),

14: and the images

15: \(F((G,U))=U/U^\prime,\ F((H,V))=V/V^\prime\in\mathrm{Obj}(\mathcal{G})\),

16: and \(F(\varphi)=\tilde{\varphi}\in\mathrm{Mor}_{\mathcal{G}}(U/U^\prime,V/V^\prime)\),\\

17: let (non-strict) \textit{precedence} be defined by

18: 

19: \begin{equation}

20: \label{eqn:KernelPrecedence}

21: \ker(T_{G,U})\preceq\ker(T_{H,V})

22: :\Longleftrightarrow

23: \varphi(\ker(T_{G,U}))\le\ker(T_{H,V}),

24: \end{equation}

25: 

26: \noindent

27: and let \textit{equality} be defined by

28: 

29: \begin{equation}

30: \label{eqn:KernelEquality}

31: \ker(T_{G,U})=\ker(T_{H,V})

32: :\Longleftrightarrow

33: \varphi(\ker(T_{G,U}))=\ker(T_{H,V}),

34: \end{equation}

35: 

36: \noindent

37: if the induced epimorphism

38: \(\tilde{\varphi}:\,U/U^\prime\to V/V^\prime\)

39: is an isomorphism.

40: 

41: \end{definition}

42: