Solving Polynimals in the ring mod p^r

  • Thread starter Thread starter JasonRox
  • Start date Start date
  • Tags Tags
    Ring
JasonRox
Homework Helper
Gold Member
Messages
2,381
Reaction score
4
Ok, I'm given this polynomial and I'm asked to find the roots of it in the ring mod p.

And then it asks to do it in, mod p^2, mod p^3 and mod p^4.

I don't remember ever learning how to do it in those powers.

Any tips on how to solve such things?

Note: Without having to sub in all the values. If it was 7^4, that would suck.

Note: Not homework. It's just a problem set to a pdf file I'm going through. It's review for the material, so I want to get a handful of problems down before moving forward.
 
Physics news on Phys.org
Well if f(x)=0(mod p^k) then f(x)=0(mod p). Maybe this will help.
 
morphism said:
Well if f(x)=0(mod p^k) then f(x)=0(mod p). Maybe this will help.

Well, if you look at something mod 49, we can have f(43) = 0 mod 49, but I don't really care that f(43) = 0 mod p. I know that already.

I would still have to check all the numbers up to 49 to see if there are any roots.
 
Well, if you look at something mod 49, we can have f(43) = 0 mod 49, but I don't really care that f(43) = 0 mod p. I know that already.

I would still have to check all the numbers up to 49 to see if there are any roots.
No you don't. You only have to check a few of them...
 
example
if f(k)=0 (mod7)
f(7n+k)=0(mod49)

if you know roots of mod p
and that is denoted as k_1, k_2, k_3, ...
roots of mod p^2 will be
p+k_1, 2p+k_1, 3p+k_1, ... , np+k_1,
p+k_2, 2p+k_2, 3p+k_2, ... , np+k_2,
p+k_3, 2p+k_3, 3p+k_3, ... , np+k_3,
...
 
Last edited:
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top