MHB Problem (c) for Discrete Value Ring

cbarker1
Gold Member
MHB
Messages
345
Reaction score
23
Problem (c) for Discrete Value Ring for a unit

I am stuck in the middle of a proof. Here is the background information from Dummit and Foote Abstract Algebra 2nd ed.:

Let $K$ be a field. A discrete valuation on $K$ on a function $\nu$: $K^{\times} \to \Bbb{Z}$ satisfying
  1. $\nu(a\cdot b)=\nu(a)+\nu(b)$ [i.e. $\nu$ is a homomorphism from the multiplication group of nonzero elements of $K$ to $\Bbb{Z}$]
  2. $\nu$ is surjective, and
  3. $\nu(x+y)\ge \min{[\nu(x),\nu(y)]}$, for all $x,y\in K^{\times}$ with $x+y\ne 0$
The set $R=\left\{x\in K^{\times}| \nu(x)\ge 0\right\} \cup \left\{0\right\}$.
From part b.) Prove that nonzero element $x\in K$ either $x$ or $x^{-1}$ is in $R$.
Proof: Suppose $x\in K^{\times}$. Assume $x\notin R$. Then $\nu(x)<0$, we have
\begin{align*}
&0=\nu(1)\\
&=\nu(xx^{-1})\\
&=\nu(x)+\nu(x^{-1})
\end{align*}
the last line implies $\nu(x^{-1})>0$. Therefore, $x^{-1} \in R$. QED

Here is the question: Prove that an element $x$ is a unit of $R$ if and only if $\nu(x)=0$.

Proof: Suppose $x$ is a unit of $R$. By part (b), $\nu(x)>0$...

Thanks
CBarker1
 
Last edited:
Physics news on Phys.org
If $x$ is a unit of $R$, then $\nu(x),\, \nu(x^{-1}) \ge 0$; since $\nu(x) + \nu(x^{-1}) = 0$ one deduces $\nu(x) = 0$. Conversely, if $\nu(x) = 0$, then by the equation $\nu(x) + \nu(x^{-1}) = 0$ it follows that $\nu(x^{-1}) = 0$. Thus $x^{-1}\in R$.
 
Thread 'Determine whether ##125## is a unit in ##\mathbb{Z_471}##'
This is the question, I understand the concept, in ##\mathbb{Z_n}## an element is a is a unit if and only if gcd( a,n) =1. My understanding of backwards substitution, ... i have using Euclidean algorithm, ##471 = 3⋅121 + 108## ##121 = 1⋅108 + 13## ##108 =8⋅13+4## ##13=3⋅4+1## ##4=4⋅1+0## using back-substitution, ##1=13-3⋅4## ##=(121-1⋅108)-3(108-8⋅13)## ... ##= 121-(471-3⋅121)-3⋅471+9⋅121+24⋅121-24(471-3⋅121## ##=121-471+3⋅121-3⋅471+9⋅121+24⋅121-24⋅471+72⋅121##...

Similar threads

Back
Top