Math 2.0

Number theory Definition

Möbius function

Builds on Square-free integerNumber of distinct prime factors

Definition

The Möbius function μ\mu is an arithmetic function. For each positive integer nn, it is given by μ(n)={(−1)ω(n)if n is squarefree,0otherwise.\mu(n) = \begin{cases} (-1)^{\omega(n)} & \text{if } n \text{ is squarefree}, \\ 0 & \text{otherwise}. \end{cases} Here ω(n)\omega(n) is the number of distinct prime factors of nn. The word squarefree has the meaning of the definition of a squarefree integer.

Remarks

So μ(1)=1\mu(1) = 1, μ(p)=−1\mu(p) = -1 for each prime pp, and μ(n)=0\mu(n) = 0 when p2∣np^2 \mid n for some prime pp. For example, μ(6)=1\mu(6) = 1, μ(30)=−1\mu(30) = -1 and μ(12)=0\mu(12) = 0. The function μ\mu is multiplicative, and it is the inverse of the constant function 1 for the Dirichlet convolution.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Arithmetic function definition
  2. Divisibility definition
  3. Prime number definition
  4. Number of distinct prime factors definition
  5. Square-free integer definition
  6. Möbius function definition

Where this leads

5 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/M%C3%B6bius_function, Definition
About this page
Tag0C8QENHYZW
URIm2://0C8QENHYZW
Kinddefinition
WritingW1 stated
MSC11A25
DefinesMöbius function
UsesSquare-free integer, Number of distinct prime factors

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by