Arithmetic of double series. (Q572043)

Das allgemeinste Multiplikationsschema zweier unendlichen Reihen \(\sum\limits_n a_n\), \(\sum\limits_n b_n\), die formal (ohne Rücksicht auf Konvergenz) als einreihige unendliche Matrizen aufgefaßt werden, ist \[ \sum_n\, \sum_{\psi(x, y) = n} a_x b_y, \] wo \(\psi\) irgendeine Funktion ist, die jedem Paar \(x, y\) natürlicher Zahlen eindeutig eine natürliche Zahl \(\psi(x, y)\) zuordnet. Verf. studiert die formalen Eigenschaften dieser Multiplikation unter allgemeinen axiomatischen Annahmen über \(\psi\), nämlich: \(\psi\) soll kommutativ und assoziativ sein; \(\psi(x, y) = n\) soll für jedes \(n\) mindestens eine und nur endlich viele Lösungen \(x, y\) haben; speziell \(\psi(x, 1) = n\) nur die Lösung \(x = n\); das größte \(x\) zu gegebenem \(n\) soll mit \(n\) alle natürlichen Zahlen jede einmal durchlaufen und speziell 1 sein für \(n = 1\). Er ordnet eine Reihe von bekannten zahlentheoretischen Identitäten diesem Kalkül unter und leitet weitere solche her.