Results 1 to 7 of 7

Math Help - [SOLVED] Squarefree and Multiplicative Functions

  1. #1
    Member
    Joined
    Jul 2008
    Posts
    119

    [SOLVED] Squarefree and Multiplicative Functions

    Problem:
    Let f be the arithmetic function given by f(n) = n if n is square-free and f(n) = 0 if n is not square-free.
    (a) Prove that f is a multiplicative function.
    (b) Is f completely multiplicative?
    (c) Let F be the summatory function of f:  F(n) = \sum_{d | n} f(n) . Find  F(p^{a}) for any a. Calculate F(144).
    ================
    Attempt:
    A square-free number is a number that its unique prime factors do not repeat. 4(which is 2*2), 8(which is 2*2*2), 9(which 3*3).. are not square-free.

    So, for part (a), I would like to show for some m, n, then
    f(mn) = f(m)f(n) by the definition of multiplicative.

     f(x)=\begin{cases} <br />
n&\text{if } n \text{is square-free}\\ <br />
0&\text{if } n \text{is not square-free} \end{cases}

    In order to show this, I broke it into cases.
    If m, n are not square free then f(mn) = 0 = f(m)(n)
    If either m or n are not square free then f(mn) = 0, so either f(m) = 0 or f(n) = 0.
    If both m and n are square free and  m \neq n , then f(mn) = m*n=f(m)f(n)

    (b) I say this is not completely multiplicative since if m = n, then f(mn) = f(mm) = f(nn) = not a square free number; thus, f(mn) = 0.

    (c)  F(p^{a}) = F(p_{1}^{a1})...F(p_{t}^{at}), but I don't know how to derive a formula for the summatory function F(n). I know that since small f is multiplicative, then so is big F.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    Oct 2008
    From
    Guernsey
    Posts
    69
    The first two parts look good. For the last part, I think at first, consider p as a prime.

    What is \sum_{d|n} f(d) in this case?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Super Member PaulRS's Avatar
    Joined
    Oct 2007
    Posts
    571
    Quote Originally Posted by Paperwings View Post
    (c)  F(p^{a}) = F(p_{1}^{a1})...F(p_{t}^{at}), but I don't know how to derive a formula for the summatory function F(n). I know that since small f is multiplicative, then so is big F.
    You meant to say, if n=p_{1}^{a1}...p_{t}^{at} then F(n) = F(p_{1}^{a1})...F(p_{t}^{at}) ( where all the p_i are different primes)

    Now F(p^a)=f(p^0)+f(p^1)+...+f(p^a) (we sum over all the positive divisors of p^a).

    So <br />
F\left( {p^a } \right) = \left\{ \begin{gathered}<br />
  1 + p{\text{ if }}a \geqslant 1 \hfill \\<br />
  1{\text{ if }}a = 0 \hfill \\ <br />
\end{gathered}  \right.<br />
(using the definition of f)
    Last edited by PaulRS; December 13th 2008 at 08:50 AM.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member
    Joined
    Jul 2008
    Posts
    119
    Thank you Simon and Paul.

    However, I don't understand the first line (should it be just 1 + p if a \geq 1 ):

    <br /> <br />
F\left( {p^a } \right) = \left\{ \begin{gathered}<br />
  1 + p + p^2 {\text{ if }}a \geqslant 2 \hfill \\<br />
  1 + p{\text{ if }}a = 1 \hfill \\<br />
  1{\text{ if }}a = 0 \hfill \\ <br />
\end{gathered}  \right.<br />

    since for example:  F(8) = F(2^3) = f(1) + f(2) + f(4) + f(8).
    By definition, since 4 and 8 are not square free, then f(4) = 0 and f(8) = 0.

    Then,

     F(8) = f(1) + f(2) = 1 + 2 = 3 .
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Oct 2008
    From
    Guernsey
    Posts
    69
    It should be, 1+p, it was a typo I think
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Super Member PaulRS's Avatar
    Joined
    Oct 2007
    Posts
    571
    Yes, you are right, I put it as if It'd been cube-free instead of square-free.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Member
    Joined
    Jul 2008
    Posts
    119
    Ah, ok. Thank you for the help.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] A squarefree integers conjecture
    Posted in the Number Theory Forum
    Replies: 3
    Last Post: July 20th 2010, 11:42 PM
  2. Multiplicative Arithmetic Functions
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: November 3rd 2009, 07:47 PM
  3. Sum of reciprocals of squarefree numbers
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: June 20th 2009, 11:19 AM
  4. [SOLVED] order of elements in multiplicative group
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: April 28th 2009, 11:04 AM
  5. Number Theory - Multiplicative Functions
    Posted in the Number Theory Forum
    Replies: 3
    Last Post: August 9th 2007, 09:09 AM

Search Tags


/mathhelpforum @mathhelpforum