If $xy$ is a unit, are $x$ and $y$ units?

Question

I know if $x$ and $y$ are units, in say a commutative ring, then $xy$ is a unit with $(xy)^{-1}=y^{-1}x^{-1}$.

But if $xy$ is a unit, does it necessarily follow that $x$ and $y$ are units?

Answer 1

Yes. Let $z=xy$. If $z$ is a unit with inverse $z^{-1}$, then $x$ is a unit with inverse $yz^{-1}$, and $y$ is a unit with inverse $xz^{-1}$, because $$x(yz^{-1})=(xy)z^{-1}=zz^{-1}=1$$ $$y(xz^{-1})=(yx)z^{-1}=(xy)z^{-1}=zz^{-1}=1$$

Answer 2

In a commutative ring, yes: let $u$ be such that $u(xy)=1 = (xy)u$. Then $$x(uy) = u(xy) = 1\quad\text{and}\quad (uy)x = u(xy) = 1,$$ so $x$ is invertible; and if $x$ is invertible, and $xy$ is a unit, then $y=x^{-1}xy$ is a product of units, hence a unit.

In a non-commutative ring, no; you can have a product be a unit yet neither factor be a unit. For example, let $$A = \prod_{i=1}^{\infty}\mathbb{Z}$$ and let $R$ be the ring of endomorphisms of $A$. Let $f\colon A\to A$ be the right-shift operator, and let $g\colon A\to A$ be the left-shift operator. Then $gf=1$ in $R$ and in particular the product is a unit, but neither $f$ nor $g$ are units ($g$ is not one-to-one, so it cannot be left-invertible, and $f$ is not onto, so it cannot be right-invertible).

Of course, if $xy$ is a unit in a non-commutative ring, then $x$ is right-invertible and $y$ is left-invertible, but that's the best you can say in general, as the example above shows.

Answer 3

HINT $\ $ Units are precisely the divisors of $1\:.\:$ Hence by transitivity of 'divides' we deduce

$$\rm xy\ unit\ \Rightarrow\ xy\ |\ 1\ \Rightarrow\ x\ |\ xy\ |\ 1\ \Rightarrow\ x\ unit\ \qquad QED$$

I.e. the set of all divisors of a fixed element is closed under taking divisors (by transitivity).

This can be viewed as the dual of the well-known "divides = contains" for principal ideals. Namely, let $\rm\: D(x) =\: $ the set of divisors of $\rm\:x\:$ and let $\rm\: M(x) =\: $ the set of multiples of $\rm\:x\:.\:$ Then we have

$\rm\qquad a\ |\ b\ \iff\ M(a) \supset M(b)\quad $ i.e. divides = contains $\qquad\ \ $ for multiple sets

$\rm\qquad a\ |\ b\ \iff\ D(a)\ \subset\: D(b)\quad $ i.e. divides = contained-in $\ $ for divisor sets

So $\rm\ u\ |\ 1\ \iff\ D(u)\:\subset D(1)\quad\:$ i.e. $(\Rightarrow)$ says: $\:$ if $\rm\:u\:$ is a unit then every divisor of $\rm\:u\:$ is a unit.

Answer 4

NO if $R$ is not commutative

Definition: Suppose $R$ is any ring with unity $1$. An element $u$ is said to be unit in $R$ if there exits $v\in R$ such that $uv=1$ and $vu=1$.

Let $\mathbb{R}[x]$ be the (infinite dimensional) vector space of all polynomials over $\mathbb{R}$. Let $S$ denote the ring of all linear operators on $\mathbb{R}[x]$ with usual addition and composition of operators.

Let $D\colon\mathbb{R}[x]\rightarrow\mathbb{R}[x]$ demote the differential operator: $D(p(x))=p'(x)$.

Let $J\colon:\mathbb{R}[x]\rightarrow \mathbb{R}[x]$ denote the integral operator: $J(a_0+a_1x+\cdots + a_nx^n)=a_0x+a_1\frac{x^2}{2}+\cdots + a_n\frac{x^{n+1}}{n+1}$.

Then $D\circ J$ is identity operator which is obviously unit. But $D$ is not unit: it is not one-to-one (why?) hence it can not have a two-sided inverse.

Answer 5

Other answers pointed out that if $R$ is not commutative, then the result is not true. However, if we further assume that $yx$ is also unit, then it is true. Indeed, assume $r$ is inverse element of $xy$ and $r'$ is inverse element of $yx$. Then, $xyr=1$ and $r'yx=1$ which shows that $x$ is unit. Similarly, $y$ is a unit.