A formula related to multiplicative order


by praneeth
Tags: formula, multiplicative, order
praneeth
praneeth is offline
#1
Jul4-07, 11:30 AM
P: 4
I want to submit a paper on proof of this formula, so can some one please tell whether this already exists or not?

Let Sí(A) be the set of elements in GF(p) such that Sí(A) = {x/ O(x,p) = A}. Here A should be
the factor of (p-1) and A>2, where p is prime, then
∑x = μ(A) + Ĺ* T(A)*p;
where the summation is over all the elements of set Sí(A) and
O(x,p) : Order of x with respect to p, (by order it is meant to be multiplicative order).
μ(A) : Mobius function of A.
T(A) : Eulerís-Totient function of A.
Phys.Org News Partner Science news on Phys.org
Lemurs match scent of a friend to sound of her voice
Repeated self-healing now possible in composite materials
'Heartbleed' fix may slow Web performance
praneeth
praneeth is offline
#2
Jul5-07, 04:19 AM
P: 4
no replies which means I can write a paper on proof of this theorem. Is that it??
matt grime
matt grime is offline
#3
Jul5-07, 09:21 AM
Sci Advisor
HW Helper
P: 9,398
It means no one has looked at it, or thought about it, not that it is new or novel. Not that this is necessarily the correct place to even ask such a question.

The most obvious problem with what you wrote is that it does not and cannot make sense. You have an equality. The LHS is a sum of elements in a finite field, the right hand side is an integer.

praneeth
praneeth is offline
#4
Jul5-07, 09:34 AM
P: 4

A formula related to multiplicative order


1) If you look at it as a mathematical expression, is that correct?? addition of elements taken from a finite field in the integer domain (changing the domain).
(or)
2) (∑x - μ(A))mod p = 0
is that correct? I just want to know if it has got any significance?
matt grime
matt grime is offline
#5
Jul5-07, 10:26 AM
Sci Advisor
HW Helper
P: 9,398
You cannot arbitrarily coerce elements from GF(p) into Z, as you did. There is no canonical choice - should I pick -1 or p-1, for instance?

You can of course, take an integer like u(A), and reduce it mod p, if you wish.

Of course, since you're in GF(p), the multiplicative group is cyclic, so one has a nice description of what the elements are with a given order, and how many of them there are etc. Try Le Veque for more information.
praneeth
praneeth is offline
#6
Jul5-07, 10:40 AM
P: 4
Mr. Grime, So, the 1st equation is wrong. I don't know "Le Veque". If its new what should I do with it. Can you suggest any one journal to write to about this? because every journal I saw wont accept new proofs to theorems as its articles.

Also I want to mention that
{∑(x^r)-μ(A)} mod p=0; for any r co-prime to A. This result might be useful in cryptography.


Register to reply

Related Discussions
Show multiplicative order is multiplicative (told this was easy but I can't see it) Linear & Abstract Algebra 13
Multiplicative order Linear & Abstract Algebra 2
MOND-related formula Astrophysics 1
Higher-Order Terms in BCH Formula? General Physics 9
Higher-Order Terms in BCH Formula? General Physics 9