By the previous definition, the set of idempotents \(E\)  is an ideal if and only if it is a normal subgoup of \((B,\circ )\) . Moreover, by [1]} it follows that \(G\)  also is an ideal if and only if it is a normal subgroup of \((B,\circ )\) .
