By [1]}, \(K\otimes _{L^2(G)} K\)  has
the structure of a strongly separable symmetric Frobenius algebra,
which we will describe in more detail now.
We will see that \(K\otimes _{L^2(G)} K\)  is a Wilson line defect,
which is isomorphic to a defect coming from a group symmetry exactly when \(\Gamma \)  is abelian.
