A type of multiplicative diophantine system. (Q2622802)

Verf. untersucht die ganzzahligen nicht verschwindenden Lösungen der Gleichungen \[ A_i x_i^{a_{i1}} x_2^{a_{i2}} \ldots x_k^{a_{ik}} = B_i y_i^{b_{i1}} y_2^{b_{i2}} \ldots y_i^{b_{il}}\quad (i=1,\ldots,M) \tag{1} \] mit positiven ganzen \(A_i,\;B_i\) und nicht negativen ganzen \(a_{ik}\). Es führt die Auflösung auf die des logarithmierten Systems, also linearer Gleichungen, zurück. Er erhält schließlich als Lösung von (1) Ausdrücke der Form \[ x_\alpha = C_\alpha T_1^{\xi _{l\alpha }} \ldots T_s^{\xi _{s\alpha }},\;y_\beta = D_\beta T_1^{\eta _{1\beta }} \ldots T_s^{\eta _{s\beta }}. \] Dabei sind \(T_1,\ldots,T_s\) Parameter, die ganzzahlige positive Werte annehmen; \(\xi _{\sigma \alpha },\;\eta _{\sigma \beta }\) für \( \sigma = 1,\ldots,s\) stellen die Gesamtheit der ``primitiven'' Lösungen (die nicht mehr als von zwei nicht trivialen Lösungen darstellbar sind) des logarithmierten Systems von \[ x_1^{a_{i1}} \ldots x_k^{a_{ik}} = y_1^{b_{i1}} \ldots y_l^{b_{il}} \] (Gleichung (1) mit \(A_i = B_i = 1\)) dar;\ \(C_\alpha, D_\beta \) können nur eine endliche Anzahl von wohlbestimmten Werten annehmen. Die Minimalzahl der Parameter, die ``Ordnung'', ist also durch die Anzahl der primitiven Lösungen des genannten linearen Systems gegeben. Die Ordnung wird in Spezialfällen angegeben.