## You are here

Hometotient

## Primary tabs

# totient

A *totient* is a sequence $f:{\{1,2,3,\ldots\}}\to{\mathbb{C}}$ such
that

$g\ast f=h$ |

for some two completely multiplicative sequences $g$ and $h$, where $\ast$ denotes the convolution product (or Dirichlet product; see multiplicative function).

The term ‘totient’ was introduced by Sylvester in the 1880’s, but is seldom used nowadays except in two cases. The Euler totient $\phi$ satisfies

$\iota_{0}\ast\phi=\iota_{1}$ |

where $\iota_{k}$ denotes the function $n\mapsto n^{k}$ (which is completely
multiplicative). The more general *Jordan totient* $J_{k}$ is defined by

$\iota_{0}\ast J_{k}=\iota_{k}.$ |

Defines:

totient, Jordan totient

Type of Math Object:

Definition

Major Section:

Reference

## Mathematics Subject Classification

11A25*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff