Ask your own question, for FREE!
Mathematics 15 Online
OpenStudy (loser66):

There are infinitely many n with phi (n) odd. True or False Please, help

OpenStudy (amistre64):

define phi(n)

OpenStudy (amistre64):

relative prime function ... the number of integers less than or equal to 'n' that are relatively prime to n

OpenStudy (loser66):

I don't get it. Please, explain

OpenStudy (amistre64):

you presented the totient function i believe, so i asked you to define it

OpenStudy (loser66):

surely if we have p is a prime, then phi (p) = p-1 is an even number. But that doesn't mean the number of odd is finite.

OpenStudy (amistre64):

i then looked it up to make sure i was on the right track

OpenStudy (amistre64):

i see a property of the totient function from the wolf but im not sure how to prove it.

OpenStudy (loser66):

oh, I think I got it

OpenStudy (loser66):

if n> 2, then phi (n) is even

OpenStudy (amistre64):

thats the property.

OpenStudy (loser66):

hence we have only 1case gives us phi (n) odd, that is phi (2) =1. Therefore, the statement is false. Am I right?

OpenStudy (amistre64):

phi(0) = 1 phi(1) = 1 phi(2) = 1 regardless tho, the rest are even so there is only a finite number of odd phis

OpenStudy (loser66):

I don't get phi(0) and phi (1) . why?

jimthompson5910 (jim_thompson5910):

I'm seeing this (see attached) from this link https://en.wikipedia.org/wiki/Euler%27s_totient_function

OpenStudy (amistre64):

wolf says its conventional

OpenStudy (loser66):

@jim_thompson5910 Thanks for the link. @amistre64 I can't say "wolf says its conventional" on my test. I need logic.

jimthompson5910 (jim_thompson5910):

so yeah that's the same as what you said when you wrote `if n> 2, then phi (n) is even `

OpenStudy (amistre64):

which is why i asked you to define the function to start with.

OpenStudy (loser66):

In my class, phi (n) = number of relative prime with n from residue set

OpenStudy (loser66):

But we count from 1 to n -1, not 0 there

OpenStudy (amistre64):

your material should have phi(0) and phi(1) defined as well. oh, then they should at least have defined phi(1) in the material

OpenStudy (loser66):

Like if n = 5, then the residue set is {1,2,3,4} and phi (5) = 4.

OpenStudy (loser66):

it matches to phi (prime) = prime -1

jimthompson5910 (jim_thompson5910):

from that article I posted, it says phi(m*n) = phi(m) * phi(n) and phi(p^k) = p^k*(p-1) so effectively, for any integer n, you can factor it into its prime factorization You'll get a bunch of things that look similar to p^k*(p-1) being multiplied out since p is prime, p is odd and p-1 is even so p-1 is a factor of n, making the product of terms even overall

jimthompson5910 (jim_thompson5910):

sorry I meant to write p^(k-1)*(p-1)

OpenStudy (loser66):

Yes, I got you. Thank you so much. I am looking for phi (0) and phi (1) as what asmitre said. I didn't see them yet

jimthompson5910 (jim_thompson5910):

and I also meant to say p-1 is a factor of phi(n)

OpenStudy (zarkon):

this "phi(m*n) = phi(m) * phi(n)" is not true you need (m,n)=1

jimthompson5910 (jim_thompson5910):

right, I missed that part, my bad

OpenStudy (loser66):

Yes, I saw it also. :) (from my book)

OpenStudy (loser66):

Thank you @Zarkon

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!