Solving equation in finite field

  • Context: Graduate 
  • Thread starter Thread starter twoflower
  • Start date Start date
  • Tags Tags
    Field Finite
Click For Summary

Discussion Overview

The discussion revolves around solving the equation \(x^2 = x\) in the context of the set \(\mathbb{Z}_{21}\). Participants explore the implications of working within a finite field, the representation of elements, and methods for finding solutions.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant expresses uncertainty about how to solve \(x^2 = x\) in \(\mathbb{Z}_{21}\) and notes that \(21\) divides \(x^2 - x\).
  • Another participant clarifies that \(\mathbb{Z}_{21}\) is not a finite field, suggesting that if it were, the problem would be simpler.
  • A different approach is proposed, indicating that the equation can be factored and that solutions can be found by checking possible values in \(\mathbb{Z}_{21}\).
  • Participants discuss how to represent negative numbers and fractions in \(\mathbb{Z}_{21}\), with one suggesting that \(-7\) can be easily represented and that \(2/5\) requires solving a linear equation using the extended Euclidean algorithm.
  • One participant humorously notes an alternative factorization of the equation, indicating that both approaches to the problem are valid.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the nature of \(\mathbb{Z}_{21}\) as a finite field, and there are multiple approaches suggested for solving the equation, indicating a lack of agreement on the best method.

Contextual Notes

There is an acknowledgment that \(\mathbb{Z}_{21}\) is not a finite field, which may affect the methods used for solving the equation. The discussion also highlights the need for clarity on how to handle negative numbers and fractions within this set.

twoflower
Messages
363
Reaction score
0
Hi all,

I encountered a problem I don't know how to solve: In [itex]\mathbb{Z}_{21}[/itex], I want to find numbers x such that [itex]x^2 = x[/itex].

I don't know what to do with that, I just wrote that (since 21 divides [itex]x^2 - x[/itex])

[tex] 21y = x^2 - x[/tex]

for some integer y, but it didn't seem to help me much.

Could you give me please some advice?


And I have one more (probably trivial, but I can't find it nowhere) question regarding [itex]Z_{n}[/itex]: These fields consist of elements [itex]\{0, 1, ... , n - 1\}[/itex]. But what if I am given something like -7 or [itex]\frac{2}{5}[/itex], how should I represent it in this field?

Thank you.
 
Physics news on Phys.org
Z_21 isn't a finite field. If it was, solving this problem would be trivial. (You'd do exactly the same thing you did in your precalculus classes)

But you can factor Z_21 into the product of two finite fields...


But what if I am given something like -7 or , how should I represent it in this field?
-7 should be easy. (Remember that Z_n is just working modulo n)

As for 2/5, that would simply require solving the equation 5x = 2. The extended Euclidean algorithm will be useful here. (run it on (5, n))
 
Last edited:
solve it as usual, i.e. x(x-1) = 0, so either x = 0, or x-1 = 0, or x(x-1) is a multiple of 3(7). e.g. x=7 works.

but as i noticed on my midterm in college when i had not studied this topic, it aint too hard to find all solutions of a problem when there are only 21 possible solutions. i.e. try them all.
 
Hey, wait a minute! I thought x² - x = (x - 15)(x - 7)!

(Yes, I know both are true. I just thought it would be fun to say it that way. :wink:)
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 40 ·
2
Replies
40
Views
5K
Replies
2
Views
2K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K