mersenneforum.org Field mapping to fractional elements
 Register FAQ Search Today's Posts Mark Forums Read

 2020-04-18, 06:06 #1 carpetpool     "Sam" Nov 2016 32·31 Posts Field mapping to fractional elements Suppose we have a number field K = Q(ℽ) where ℽ is a root of the polynomial f of degree d. Define C(f)n to be the n-th coefficient of f. Suppose we have integers a and q where f(a) = 0 mod q (i.e. a is a root of f mod q, or factorization over finite field of order q if q is prime). Then define the following two polynomials: $M(f,x)_l = \sum_{i=1}^{l} { C(f)_i x^{l-i} }$ $R(f,x)_(a,q) = \sum_{i=1}^{d}$ Mod[$({ M(f,x)_i x^{d-i}}, q)$] Let N(e) be the norm of any element e ∈ OK, the ring of integers in the field K. Suppose that S = R(f,ℽ)(a,q) + e ∈ OK, Let T be the minimal polynomial of S. Prove that T*q is a polynomial with integer coefficients (the leading coefficient is q). Suppose that N(S) = q'/q. Show that there is an element j ∈ OK with N(j) = q*q'. Furthermore, is there a field mapping from S to j. That is, if we know and element j with norm N(j), can we easily find an element S (using the summation formulas above) such that N(S) = q'/q? Or if we are given S and N(S) = q'/q, find j such that N(j) = q*q'. Last fiddled with by carpetpool on 2020-04-18 at 06:12

 Similar Threads Thread Thread Starter Forum Replies Last Post carpetpool carpetpool 0 2020-03-12 02:50 hal1se Miscellaneous Math 2 2018-08-30 02:06 Drdmitry Aliquot Sequences 0 2011-12-14 13:50 science_man_88 Science & Technology 24 2010-07-26 12:29 nibble4bits Math 2 2008-01-11 21:46

All times are UTC. The time now is 16:56.

Sun May 31 16:56:43 UTC 2020 up 67 days, 14:29, 1 user, load averages: 2.00, 2.10, 2.01
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 3, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}