3

I start off by adding 3 to each side of the equation because 3 is the additive inverse of itself in Z6.

$3x+3+3=0$

Then, because 3+3=0 in Z6, I have: $3x=3$

Next I need to find the multiplicative inverse of 3 in Z6 to go further, but there is no number which can multiply by 3 in order to get 1 in Z6. Does this mean that the equation is unsolvable?

user52640
  • 105
  • 3
    Of course it is solvable. Substitute $;x=5\pmod6;$ and check...But this solution isn't unique. Can you see why? – DonAntonio Dec 09 '18 at 22:55
  • 2
    "Next I need to find the multiplicative inverse of 3 in Z6 to go further" No, you don't. It would be nice if you could, but even if you could, it wouldn't strictly be necessary. – Arthur Dec 09 '18 at 23:02

2 Answers2

2

Notice that $6=2\times 3$, hence for $3x+3$ to be equal to $0$ in $\mathbb Z_6$ it needs to be zero in both $\mathbb Z_2$ and $\mathbb Z_3$. It's always zero in $\mathbb Z_3$ (can you see why?) hence we only need $3x+3=x+1=0$ in $\mathbb Z_2$. So $x=1$ is the unique solution in $\mathbb Z_2$, which translates to $x=1,3,5$ in $\mathbb Z_6$.

Note that you don't actually need to find the inverse of $3$ for example to find the solution. If for some $n$, $m$ is a unit (meaning it has an inverse) in $\mathbb Z_n$, then the equation $m(x+k)=0$ has a unique root regardless of $k$, because $x+k=m^{-1}0=0$, so the unique solution is $x=-k$. Note that this however does not imply that if $m$ is not a unit, then the equation has no solution. It simply means it might not be unique. This is not to say that surely it must have one or many solutions, but the simple fact that $m$ is not a unit is not enough to draw any conclusions whatsoever.

YiFan Tey
  • 17,431
  • 4
  • 28
  • 66
  • 1
    Also compare with the equation $3x+4=0 \Leftrightarrow 3x = 2$, stil in $\mathbb{Z}_6$. This time the solution set is empty. So when the multiplicative inverse does not exist, it could be the case that there are multiple solution, or be the case that there are no solutions. – Jeppe Stig Nielsen Dec 09 '18 at 23:48
2

Hint $\,\ 3x = -3 + 6n\!\!\overset{\rm cancel\ 3\!\!\!}\iff x = -1+ 2n\iff x\, $ is odd.

Expressed in (nonstandard) fractional language it is

$\qquad\quad x\equiv \dfrac{-3}3\pmod{\! 6}\,\equiv\,\dfrac{-1}1\pmod{\!2} $

where we need to cancel $3$ from the numerator, denominator and modulus, corresponding to all $3$ summands in the original equation. See this answer for a rigorous presentation of the fractional viewpoint

Bill Dubuque
  • 272,048