2
$\begingroup$

Let $R$ be a ring with unity which is denoted by $1_R$, and $S$ be a subring of $R$ with unity $1_S = 1_R$

  1. Prove that $U(S) \subseteq U( R)$
  2. Prove that $U(R )$ is closed under multiplication
  3. Prove or disprove $U(S) = U(R) ∩ S$.

My attempt:

  1. Let, $x \in U(S)$. Since $S$ is a subring of $R$ with unity $1_S = 1_R$, $1_S \in R$; hence, $x \in U( R)$... (Is this too good to be true?)

  2. Let $x,y \in U(R )$. Then, there exist $x^{-1}$ and $y^{-1} \in R$ such that $(xy)(y^{-1}x^{-1}) = x*1_R*x^{-1} = xx^{-1} = 1_R \in R$. Hence, $xy \in U(R )$, correct?

  3. not sure how to proceed.

$\endgroup$
  • $\begingroup$ 1 and 2 are really easy; for 3, consider $\mathbb{Z}$ and $\mathbb{Q}$. $\endgroup$ – egreg Feb 15 '15 at 23:21
1
$\begingroup$

(1) Let $x\in U(S)$; then $xy=yx=1_S=1_R$ for some $y\in S$. In particular $x\in U(R)$, because $y\in R$.

(2) Let $x,y\in U(R)$; then $(xy)(y^{-1}x^{-1})=x(yy^{-1})x^{-1}=x1_Rx^{-1}=1_R$ and also $(y^{-1}x^{-1})(xy)=1$. Therefore $xy\in U(R)$ because it has an inverse.

(3) Consider $S=\mathbb{Z}$ and $R=\mathbb{Q}$. Then $U(\mathbb{Q})\cap\mathbb{Z}=\mathbb{Z}\setminus\{0\}$, so…

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ For # 1, are you telling me if $x \in U(S)$,then $x^{-1} = y$ should be $\in S$ and vice versa? And, then $x \in U(R )$ $\endgroup$ – Jellyfish Feb 15 '15 at 23:31
  • $\begingroup$ And for # 3, I need more explanation please... $\endgroup$ – Jellyfish Feb 15 '15 at 23:41
  • $\begingroup$ I showed #2 as an attempt. $\endgroup$ – Jellyfish Feb 15 '15 at 23:46
  • $\begingroup$ @abcd1234 Yes, an invertible element of $S$ is also invertible in $R$. Your attempt at (2) is not really correct: you're writing $(xy)^{-1}$ before knowing it exists. $\endgroup$ – egreg Feb 15 '15 at 23:53
  • 1
    $\begingroup$ @abcd1234 I extended the hints for (2) and for (3). Note that (2) is very standard: the invertible elements in a monoid are closed under multiplication. $\endgroup$ – egreg Feb 16 '15 at 0:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.