V.P196 — Imbalance as Multiplicative Homomorphism

The imbalance map Imb: g -> sigma(g)*g^{-1} (where sigma is the lobe swap) is a multiplicative homomorphism from normalized omega-germs to the blueprint monoid M_BH.