minimal idempotent