{"entities":{"Q2586809":{"pageid":2597552,"ns":120,"title":"Item:Q2586809","lastrevid":44416440,"modified":"2025-11-22T19:14:17Z","type":"item","id":"Q2586809","labels":{"en":{"language":"en","value":"\u00dcber Gruppen von hyperabelschen Transformationen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2506423"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586809$14AE74FD-D0FD-4F82-9487-20AEC7690875","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16e83904a1e91ee3b91b62b14e2b0f50e8c28c01","datavalue":{"value":{"text":"\u00dcber Gruppen von hyperabelschen Transformationen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2586809$9B12A927-B8A3-4AE9-AD8A-6BC81F58FADC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"662f68a6dee4e8458c11a0f126b3a078ca362bb2","datavalue":{"value":"66.0378.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586809$CB28C455-C20D-4695-93E1-145B47DA576A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d500446cb57e930d3f03f3605b14a9a8c086a78","datavalue":{"value":{"entity-type":"item","numeric-id":769788,"id":"Q769788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586809$F8D30A9D-D449-4B89-8622-8B1B5D62B649","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1701512ca85d58575d88b06da5ab938c2d9a4cd9","datavalue":{"value":{"time":"+1940-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2586809$6CE34F18-C1F6-49FC-8D46-446EB8B7A39B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"64ecc201a0f0bdf30fa3120dd2b22ce994b1d48e","datavalue":{"value":"Verf. behandelt die Theorie gewisser Gruppen von hyperabelschen Transforma\\-tionen, die in \\(n\\) komplexen Ver\u00e4nderlichen \\(\\tau^{(\\nu)}\\) (\\(1\\leqq\\nu\\leqq n\\)) den Teilraum \\(\\mathfrak T\\), gegeben durch \\(\\Im\\mathfrak m\\,\\tau^{(\\nu)}>0\\), in sich \u00fcberf\u00fchren. Die Transformationsmatrix \\(S=\\binom{\\alpha\\hfill\\;\\beta}{\\gamma\\hfill \\delta}\\) ist als Vektor der Matrizen \\(S^{(\\nu)}=\\binom{\\alpha^{(\\nu)}\\;\\beta^{(\\nu)}}{\\gamma^{(\\nu)}\\;\\delta^{(\\nu)}}\\) aufzufassen; dabei sind die \\(\\alpha^{(\\nu)}\\), \\(\\beta^{(\\nu)}\\), \\(\\gamma^{(\\nu)}\\), \\(\\delta^{(\\nu)}\\) reell, es ist \\(\\alpha^{(\\nu)}\\delta^{(\\nu)}-\\beta^{(\\nu)}\\gamma^{(\\nu)}=1\\), und \\(S\\) bewirkt die Trans\\-formation  \\[  \\tau^{(\\nu)}\\to S^{(\\nu)}\\tau^{(\\nu)}=\\frac{\\alpha^{(\\nu)}\\tau^{(\\nu)}+\\beta^{(\\nu)}} {\\gamma^{(\\nu)}\\tau^{(\\nu)}+\\delta^{(\\nu)}}\\qquad(1\\leqq\\nu\\leqq n). \\tag{1}  \\]  Die Gruppeneigenschaft bezieht sich auf die Matrizenmultiplikation oder die Hinter\\-einander-Aus\u00fcbung der zugeh\u00f6rigen Transformationen. Die Symbole \\(N\\), \\(Sp\\) bedeuten Norm und Spur, wenn allgemein \\(x^{(\\nu)}\\) als \\(\\nu\\)-te Konjugierte von \\(x\\) aufgefa\u00dft wird.  Verf. beweist zun\u00e4chst den Satz, da\u00df eine Gruppe \\(\\varGamma\\) von Substitutionen (1) dann und nur dann in \\(\\mathfrak T\\) eigentlich diskontinuierlich ist, wenn sie keine infinitesimalen Substitutionen, d. h. keine in allen Komponenten \\(S^{(\\nu)}=S_k^{(\\nu)}\\) (\\(1\\leqq\\nu\\leqq n\\)) konvergente Matrizenfolge \\(S_k\\)(\\(k = 1\\), 2, 3,\\dots) enth\u00e4lt. Sodann betrachtet er die in \\(\\varGamma\\) enthaltene Gruppe \\(\\mathfrak A\\) der affinen Transformationen  \\[  S=\\binom{\\lambda\\hfill\\quad\\beta\\lambda^{-1}}{0\\hfill\\lambda^{-1}}= \\bigg\\{\\cdots\\binom{\\lambda^{(\\nu)}\\hfill\\quad \\beta^{(\\nu)}{\\lambda^{(\\nu)}}^{-1}} {0\\hfill{\\lambda^{(\\nu)}}^{-1}}\\cdots\\bigg\\}. \\tag{2}  \\]  Der Vektor \\(\\lambda^2=\\{{\\lambda^{(1)}}^2,\\,{\\lambda^{(2)}}^2,\\dots, {\\lambda^{(n)}}^2\\}\\) hei\u00dft Multiplikator von \\(S\\), \\(\\log\\lambda^2\\) bezeichnet den Vektor mit den Komponenten \\(\\log{\\lambda^{(\\nu)}}^2\\) (\\(\\nu = 1\\), 2,\\dots, \\(n\\)). \\(S\\) hei\u00dft eine Translation, wenn \\(\\lambda^{(\\nu)}= 1\\)(\\(1\\leqq\\nu\\leqq n\\)) in (2) gilt (\\(S = U^\\beta\\)). Die zu den Translationen geh\u00f6rigen Vektoren \\(\\beta=\\{\\beta^{(1)},\\beta^{(2)},\\dots,\\beta^{(n)}\\) bilden einen Modul \\(\\mathfrak t\\). Von der Gruppe \\(\\varGamma\\) wird vorausgesetzt, da\u00df sie \\(n\\) linear-unabh\u00e4ngige Translationsvektoren \\(\\beta\\) enth\u00e4lt. Dann erweisen sich die \\({\\lambda^{(\\nu)}}^2\\) aus (2) als reell-algebraische Einheiten vom Grade \\(\\leqq n\\). Exi\\-stieren bei den affinen Transformationen \\(S\\) aus \\(\\varGamma\\) linear-unabh\u00e4ngige Vektoren \\(\\log\\lambda^2\\) in der H\u00f6chstzahl \\(n - 1\\), so hei\u00dft \\(\\tau =\\infty\\) (\\(\\tau^{(\\nu)}=\\infty\\)) eine parabolische Spitze von \\(\\varGamma\\). Ist \\(A\\) ein Vektor unimodularer reeller Matrizen \\(A^{(\\nu)}\\) mit zwei Zeilen und Spalten, so wird \\(\\tau = A^{-1}\\infty\\) eine parabolische Spitze von \\(\\varGamma\\) genannt, wenn \\(\\tau=\\infty\\) parabolische Spitze von \\(A\\varGamma A^{-1}\\) ist. Danach l\u00e4\u00dft sich der bereits f\u00fcr \\(n=1\\) wichtige Satz auf allgemeines \\(n\\) \u00fcbertragen, der besagt: Sind \\(\\infty\\) und \\(A^{-1}\\infty\\) parabolische Spitzen von \\(\\varGamma\\), so gilt f\u00fcr ein \\(S\\) aus \\(\\varGamma\\) entweder \\(\\gamma^{(\\nu)}= 0\\)(\\(1\\leqq\\nu\\leqq n\\)) oder \\(|N\\gamma|>\\varrho\\) mit festem \\(\\varrho> 0\\).  Eine quadratische Differentialform  \\[  ds^2={\\sum\\limits_{j,k=1}^{2n}}a_{j,k}\\,dx^{(j)}\\,dx^{(k)}\\; (\\tau^{(\\nu)}=x^{(\\nu)}+iy^{(\\nu)}=x^{(\\nu)}+ix^{(n+\\nu)},\\;\\nu=1,2,\\dots,n)  \\]  ist dann und nur dann bei allen Automorphismen von \\(\\mathfrak T\\) invariant, wenn sie die Ge\\-stalt  \\[  ds^2={\\sum\\limits_{\\nu=1}^{\\infty}}\\frac{d\\tau^{(\\nu)}\\overline{d\\tau^{(\\nu)}}} {{y^{(\\nu)}}^2}  \\]  hat. Deutet man \\(ds\\) als Bogenelement, so ergibt sich \\(s (i,\\tau)\\) mit  \\[  s(i,\\tau)^2={\\sum\\limits_{\\nu=1}^{\\infty}}\\left(\\log\\frac {|\\tau^{(\\nu)}+i|+|\\tau^{(\\nu)}-i|}{|\\tau^{(\\nu)}+i|-|\\tau^{(\\nu)}-i|}\\right)^2  \\]  als geod\u00e4tische Entfernung der Punkte \\(i\\) und \\(\\tau\\in\\mathfrak T\\). Die damit aufgestellte Ma\u00df\\-bestimmung in \\(\\mathfrak T\\) erm\u00f6glicht die \u00dcbertragung der klassischen Konstruktion des Normalpolygons als eines Fundamentalbereichs von \\(\\varGamma\\) auf allgemeines \\(n\\).  Zum Schlu\u00df wird die entwickelte Theorie auf die engere Hilbertsche Modul\\-gruppe \\(M\\) des Grades \\(n\\) angewendet. Hier ergibt sich mit der Berichtigung einer Aus\\-sage von Blumenthal folgender Satz: Die zu einem total-reellen algebraischen Zahl\\-k\u00f6rper \\(K\\) des Grades \\(n\\) geh\u00f6rige Gruppe \\(M\\) besitzt einen Fundamentalbereich in \\(\\mathfrak T\\), der von endlich vielen analytischen Mannigfaltigkeiten begrenzt wird und mit dem Rande von \\(\\mathfrak T\\) genau \\(h\\) Punkte gemein hat. Diese sind Vertreter der s\u00e4mtlichen nach \\(M\\) in\u00e4quivalenten parabolischen Spitzen von \\(M\\); \\(h\\) ist die Klassenzahl von \\(K\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2586809$3021279F-66B1-450A-BA1A-C64D5E8536B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f373e7ab9973de14f2fc80768bca1157904c39d","datavalue":{"value":"2506423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586809$C417E6A6-59C5-4D04-A5B4-7BCB7A8840D4","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586809$D923B641-F6F2-44C4-AF0C-D127D7C77B6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2586809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2586809"}}}}}