son homomorfismos del álgebra "K", existe una unidad "b" en "B" tal que