Eine multiplikative Funktion ist eine arithmetische Funktion f mit f(1)=1 und der Eigenschaft f(mn)=f(m)f(n) immer dann, wenn m und n teilerfremd sind. Sie ist durch ihre Werte an Primpotenzen bestimmt.

Prinzip

Multiplikativität reduziert das globale Verhalten auf lokale Daten an Primpotenzen: Durch Festlegung von f(p^k) für alle Primzahlen p und k ≥ 0 bestimmt man f auf allen positiven ganzen Zahlen mittels eindeutiger Primfaktorzerlegung.

Demonstration

Die Eulersche Phi-Funktion φ(n) ist multiplikativ: φ(1)=1 und für eine Primpotenz φ(p^k)=p^k-p^{k-1}; für teilerfremde m,n gilt φ(mn)=φ(m)φ(n).

Fehlanwendung

Anzunehmen, f(mn)=f(m)f(n) gelte für alle m,n ohne Koprimalitätsbedingung verwechselt multiplikativ mit vollständig multiplikativ und kann zu fehlerhaften Euler-Produkten führen.

Konsequenz

Multiplikative Funktionen erlauben Euler-Produktzerlegungen ihrer Dirichlet-Reihen, sofern die Koeffizienten multiplikativ sind, und die Untersuchung reduziert sich oft auf Primpotenzwerte und lokale-zu-global-Prinzipien.

Umkehrung

Die Umkehrung ist eine nicht-multiplikative arithmetische Funktion oder eine vollständig multiplikative Funktion (die die Relation für alle Paare verstärkt); additive Funktionen stehen im Gegensatz, indem sie Multiplikation durch Addition für teilerfremde Argumente ersetzen.

Abgrenzung

Definiert auf den positiven ganzen Zahlen mit wesentlicher Koprimalitätsbedingung; legt nicht das Verhalten für nicht-teilerfremde Argumente über die multiplikative Fortsetzung von Primpotenzen hinaus fest; die Unterscheidung zu vollständig multiplikativ ist zu wahren.

Semantische Spannung

Wird häufig mit 'vollständig multiplikativ' verwechselt (f(mn)=f(m)f(n) für alle m,n) und mit Homomorphismen des multiplikativen Monoids N (das kein Gruppe ist), daher sind präzise Hypothesen erforderlich.

Synthese

Eine multiplikative Funktion ist eine arithmetische Abbildung, die durch Werte auf Primpotenzen festgelegt ist und über teilerfremde Zahlen multipliziert, was Euler-Produkte und primfaktorbasierte Methoden in der multiplikativen Zahlentheorie ermöglicht.