Product and multiplicative idempotency