if $A^\times $ is a commutative group, does $A$ necessarily be a commutative ring?

Question

Let $A$ be a ring and $A^\times$ be the collection of unit elements of $A$. If $A$ is a commutative ring, then $A^\times$ is a commutative group. Conversely, if $A^\times $ is a commutative group, does $A$ necessarily be a commutative ring? Is there any counterexample?

Answer 1

Let $K$ be a field. Consider the free $K$-algebra on two generators $x,y$. Its unit group is $K^*$, hence commutative, but $x,y$ don't commute.

Here is a more explicit example: Consider the ring of upper-triangular $2 \times 2$-matrices over $\mathbb{F}_2$. It has $8$ elements and it is in fact the smallest noncommutative ring. The unit group has just two elements, namely the identity matrix and $\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}$. A group of order $2$ is commutative.

Answer 2

In order for ring $(A, +, \cdot)$ to be a commutative ring, the group $(A, \cdot)$ has to be commutative.