3
$\begingroup$

Looking at group $U{81}$ find $0<x<81$ such that:

$$x^{19}=8 \:(mod\:81)$$

I know that $o(8)=18$, is it true to say:

$$(x^{19})^{18}=1 \:(mod\:81)$$

and from here to use Euler's theorem which yields:

$$x^{18}=1 \:(mod\: 81) \ ?$$

$\endgroup$
5
  • 1
    $\begingroup$ Yes, it's true, but I'm not sure it's useful. Instead, I'd start with $x^{19}\equiv8\bmod3$ and work my way up to moduli $3^2,3^3,3^4$. "Hensel's Lemma" $\endgroup$ Jun 1 at 10:21
  • 1
    $\begingroup$ I'm not familiar with that lemma, will check it out but why it doesn't useful? I already know a number that his 18 power is equivalent to 1 (8) $\endgroup$
    – 3xhaust
    Jun 1 at 10:25
  • 1
    $\begingroup$ @3xhaust Hensel's lemma is a lemma that allows one to lift congruences $\pmod{p}$ to $\pmod{p^2}$. This allows us to work with smaller congruences which might be easier to work. I think your approach is also fine but it's a bit difficult to find all the elements of order 18 directly. $\endgroup$
    – daruma
    Jun 1 at 11:00
  • 1
    $\begingroup$ Not just to $p^2$, @dar, but to $p^3$, $p^4$, .... $\endgroup$ Jun 1 at 11:05
  • 1
    $\begingroup$ Use $x\equiv y\pmod{n}$ for $x\equiv y\pmod{n}$. $\endgroup$
    – Shaun
    Jun 1 at 11:14

1 Answer 1

3
$\begingroup$

$8$ isn't the only integer with order $18$, so solving $x^{18}\equiv 1\pmod{81}$ gives solutions which don't solve $x^{19}\equiv 8\pmod{81}$.

You can note that $(9-1)^{18}\equiv 1\pmod{81}$ to find the answer as $x=8$.

$\endgroup$
6
  • $\begingroup$ Cam you elaborate more please? I didn't understand how to use what you suggested $\endgroup$
    – 3xhaust
    Jun 1 at 11:57
  • 1
    $\begingroup$ @3xhaust; as $8^{18}\equiv1\pmod{81}$ then $8^{19}\equiv8\pmod{81}$ $\endgroup$
    – JMP
    Jun 1 at 12:10
  • $\begingroup$ But how can I find all the numbers that satisfy it? $\endgroup$
    – 3xhaust
    Jun 1 at 13:32
  • $\begingroup$ @3xhaust; all numbers of the form $9k\pm1$. $\endgroup$
    – JMP
    Jun 1 at 13:38
  • $\begingroup$ What's the explanation for that? Especially for the +1? $\endgroup$
    – 3xhaust
    Jun 1 at 13:45

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .