La base minima pour la totalité des courbes tracées sur une surface algébrique. (Q1492736)

Fortsetzung der Untersuchungen aus C. R. {140}, 361-363 (F. d. M. 36, 487, 1905, JFM 36.0487.01) und Math. Ann. {62}, 194-225 (F. d. M. 37, 647, 1906, JFM 37.0647.02). Es war dort gezeigt, daß jede Kurve \(C\) einer Fläche \(F\) durch eine Basis von \(\varrho\) Kurven \(C_i\) \((i = 1, \dots, \varrho)\) in der Form \(\lambda C = \lambda_1C_1 + \lambda_2C_2 + \cdots + \lambda_{\varrho}C_{\varrho}\) darstellen läßt, wo alle \(\lambda \geqq 0\) ganze Zahlen bedeuten. Die \(\varrho\) Kurven konnten dabei auf unendlich viele Weisen bestimmt werden. Es ist nun die Frage: Kann man diese Kurven so wählen, daß der Koeffizient \(\lambda\) für jede Kurve \(C\) der Fläche gleich 1 wird? Eine solche Basis heißt \textit{Minimalbasis} (base minima). Es wird nun in der vorliegenden Arbeit gezeigt, daß für jede Fläche eine solche Minimalbasis existiert; doch ist im allgemeinen die Zahl der Basiskurven zu vergrößern. Will man dies nicht tun, so kann man eine \textit{Zwischenbasis} (base intermédiaire) konstruieren, d. h. eine Gruppe von \(\varrho\) Kurven \(C_i,\) so daß \(\lambda\) immer ein Teiler von \(\lambda_1, \lambda_2, \dots, \lambda_{\varrho}\) wird. Diese Zwischenbasis reduziert sich auf eine Minimalbasis, wenn die Operation der Division für die Kurven eines algebraischen Systems eindeutig ist, wie für die Kurven auf allen Flächen, deren kanonische Kurve von der Ordnung Null ist (z. B. bei den hyperelliptischen Flächen, deren geometrisches Geschlecht gleich 1 ist).