I think (i) is false, but I don't think my demonstration constitutes a rigorous proof.

We can rewrite

Since is not commutative, we cannot rearrange terms.

I think (ii) is true and can be proven from the definition of multiplication and conditions (2) and (3).

We can rewrite

Now with commutativity and associativity we can simply rearrange terms to get