more work on monoids in P: proof that Omega is neither injective nor surjective