{"entities":{"Q767488":{"pageid":769337,"ns":120,"title":"Item:Q767488","lastrevid":64177764,"modified":"2026-04-11T18:09:44Z","type":"item","id":"Q767488","labels":{"en":{"language":"en","value":"Klassenzahlen indefiniter quadratischer Formen in drei oder mehr Ver\u00e4nderlichen"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3119392"}},"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":"Q767488$57741700-156C-4DF1-B104-24918BDC34A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de7e2803981aada7124d661e6e2b02d52fe362c8","datavalue":{"value":{"text":"Klassenzahlen indefiniter quadratischer Formen in drei oder mehr Ver\u00e4nderlichen","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q767488$B1C05B09-EE32-4AB8-8C1E-EF7291E42901","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1c6dc363ae96b948ef7c402bc5a215e0e2ddf7d","datavalue":{"value":"0071.27205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q767488$7D484DDD-706F-45A6-9D14-73635523E892","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2eaf0d4cc67fc3d7cae0382dc2a360cc18e14a63","datavalue":{"value":"10.1007/BF01900681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q767488$A8F29216-E7DC-4A11-990A-11E364943E43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767488$2A754B9F-B19A-42B0-855E-0EA65BD97DA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fdeec1d184478b3fdb458fc97fe9e12c6f6e278","datavalue":{"value":{"time":"+1956-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":"Q767488$CC3DC2BD-5120-484E-A305-FE7F6D84F1DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec65ff467694fea2ba5320d785b2a15f1bf36d82","datavalue":{"value":"Verf. beweist im ersten Teil den Satz, da\u00df zwei indefinite spinorverwandte quadratische Formen in \\(n\\geq 3\\) Ver\u00e4nderlichen mit Koeffizienten in einem endlich algebraischen Zahlk\u00f6rper \u00e4quivalent sind. Er st\u00fctzt sich hierbei auf Vorarbeiten des Ref. [Math. Z. 55, 216--252 (1952; Zbl 0049.31201)], in welchen der Satz unter gewissen Voraussetzungen, z. B. f\u00fcr den rationalen Zahlk\u00f6rper bewiesen wird. Er gibt diesen Vorarbeiten jedoch eine neue Wendung und erm\u00f6glicht dadurch erhebliche Vereinfachungen. Diese st\u00fctzen sich vor allem auf zwei Umst\u00e4nde:   1. Der Beweis wird im Falle \\(n = 3\\) mittels der Arithmetik der Quaternionen-Algebren gef\u00fchrt und dann durch vollst\u00e4ndige Induktion auf die F\u00e4lle \\(n > 3\\) \u00fcbertragen.    2. Es werden sch\u00e4rfere Begriffe f\u00fcr \u00c4quivalenz, Verwandtschaft und Spinorverwandtschaft benutzt: zwei Gitter \\(\\mathfrak I, \\mathfrak K\\) in einem Raum \\(R\\) hei\u00dfen \u00e4quivalent, wenn es einen Automorphismus \\(u\\) von \\(R\\) so gibt, da\u00df \\(\\mathfrak K=u\\mathfrak I\\) ist; sie hei\u00dfen verwandt, wenn es f\u00fcr jede endliche Primstelle \\(\\mathfrak p\\) einen Automorphismus \\(u_{\\mathfrak p}\\) von \\(R_{\\mathfrak p}\\), so gibt, da\u00df \\(\\mathfrak K_{\\mathfrak p} = u_{\\mathfrak p}\\mathfrak I_{\\mathfrak p}\\) ist; sie hei\u00dfen endlich spinorverwandt, wenn es einen eigentlichen Automorphismus \\(w\\) von \\(R\\) und eigentliche Automorphismen der Spinornorm 1 \\(v_{\\mathfrak p}\\) von \\(R_{\\mathfrak p}\\) so gibt, da\u00df \\(\\mathfrak K_{\\mathfrak p} = v_{\\mathfrak p} w \\mathfrak I_{\\mathfrak p}\\) ist. (Zu den Verh\u00e4ltnissen zwischen diesen Begriffen und den gleichlautenden in der Theorie der quadratischen Formen einerseits und den vom Ref. gebrauchten andererseits s. \\S 4).   Im zweiten Teil wird die Anzahl der Spinorgeschlechter in einem Geschlecht von Gittern beliebiger Dimension durch Gruppenindizes ausgedr\u00fcckt. Das Resultat l\u00e4\u00dft sich wie folgt ausdr\u00fccken. \\(A\\) sei eine Menge von Primidealen, welche erstens alle Teiler der reduzierten Determinante eines Gitters \\(\\mathfrak I\\) enth\u00e4lt und zweitens so gro\u00df ist, da\u00df zu einem Idel (im Sinne von C. Chevalley) \\((\\kappa_{\\mathfrak p})\\) ein Automorphismus \\(u\\) des Raumes \\(R\\) geh\u00f6rt derart, da\u00df mit der Spinornorm \\(t(u)\\) (d. h. man m\u00f6ge aus der Quadratklasse \\(t(u)\\) ein ebenso bezeichnetes Element ausw\u00e4hlen k\u00f6nnen) die Produkte \\(\\kappa_{\\mathfrak p} t(u)\\) f\u00fcr alle \\(\\mathfrak p\\neq A\\) \\(\\mathfrak p\\)-adische Einheiten sind. Man bezeichne nun mit \\(k_{\\mathfrak p}^*\\) die Multiplikationsgruppe von \\(k_{\\mathfrak p}\\), mit \\(k^{**}\\) die Multiplikationsgruppe der Spinornormen der eigentlichen Automorphismen von \\(R\\), endlich mit \\(s_{\\mathfrak p}(\\mathfrak I)\\) die Gruppe der Spinornormen aller eigentlichen automorphen Einheiten der \\(\\mathfrak p\\)-adischen Erweiterungen eines Gitters \\(\\mathfrak I\\). Dann ist die Anzahl \\(h\\) der Spinorgeschlechter, dem ein gegebenes Gitter \\(\\mathfrak I\\) angeh\u00f6rt,   \\[ h=[P_A(k_{\\mathfrak p}^*): P_A(k_{\\mathfrak p}^{**}) P_A(s_{\\mathfrak p}(\\mathfrak I))], \\]   wo folgende Abk\u00fcrzungen gelten: \\(P_A(k_{\\mathfrak p}^*)\\) ist das direkte Produkt der Gruppen \\(k_{\\mathfrak p}^*\\) f\u00fcr alle \\(\\mathfrak p\\in A\\) und entsprechend \\(P_A(s_{\\mathfrak p}(\\mathfrak I))\\) das direkte Produkt der \\(s_{\\mathfrak p}(\\mathfrak I)\\); \\(P_A(k_{\\mathfrak p}^{**})\\) die Untergruppe von \\(P_A(k_{\\mathfrak p}^*)\\), deren s\u00e4mtliche Faktoren gleich einem Element aus \\(k^{**}\\) sind.   Es ergibt sich aus dieser Formel, da\u00df diese Anzahl eine Potenz von 2 ist. Daneben wird gezeigt, da\u00df es Geschlechter gibt, welche in eine beliebige Zweierpotenz von Spinorgeschlechtern zerfallen. Die Gruppe \\(s_{\\mathfrak p}(\\mathfrak I)\\) wird f\u00fcr ein ungerades \\(\\mathfrak p\\) bestimmt. Man schreibe \\(\\mathfrak I_{\\mathfrak p}\\) als direkte Summe \\(\\mathfrak I_{\\mathfrak p}= \\mathfrak I_1+\\ldots+ \\mathfrak I_r\\), von Teilgittern m\u00f6glichst gro\u00dfer Dimension und reduzierter Determinante 1. Es sei \\(M_i\\), die Menge aller Zahlen \\(f(i)\\), \\(i\\in\\mathfrak I_i\\) \\((f\\) die metrische Fundamentalform), welche nicht durch \\(\\mathfrak p\\, n (\\mathfrak I_i)= \\) Norm von \\(\\mathfrak I_i)\\) teilbar sind. Ferner sei \\(M_{\\mathfrak p}(\\mathfrak I)\\) die Menge der Zahlen, die sich als Produkte einer geraden Anzahl von Faktoren aus irgendwelchen (gleichen oder verschiedenen) \\(M_i\\) darstellen lassen. Dann ist \\(s_{\\mathfrak p}(\\mathfrak I)=M_{\\mathfrak p}(\\mathfrak I) k_{\\mathfrak p}^{*2}\\).   Als eine Anwendung auf den Problemkreis des Meyerschen Satzes sei noch das folgende Resultat hervorgehoben: \\(\\mathfrak I\\) sei ein Gitter in einem indefiniten Raum der Dimension \\(n\\geq 3\\) \u00fcber dem Ring der ganzen rationalen Zahlen; die reduzierte Determinante der metrischen Fundamentalform von \\(\\mathfrak I\\) sei \\(\\prod_p p^{s_p}\\). Ist \\(s_2 < n(n-1)/2 + [(n+1)/2]\\) und \\(s_p< n(n-1)/2\\) f\u00fcr ungerades \\(p\\), so geh\u00f6rt \\(\\mathfrak I\\) einem einklassigen Geschlecht an. Die von \\textit{A. Meyer} im [J. Reine Angew. Math. 113, 186--206 (1894; JFM 25.0317.02); 116, 307--325 (1896; JFM 27.0167.03)] angegebene Formel f\u00fcr die Klassenzahl in einem Geschlecht indefiniter tern\u00e4rer quadratischer Formen erweist sich als fehlerhaft.","type":"string"},"datatype":"string"},"type":"statement","id":"Q767488$98292E08-F011-4F04-AAC9-9012C4908ADA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a13eec48c4add3f598b102f5e4cdca81b19731f1","datavalue":{"value":"11E41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q767488$22859894-9F11-4B03-A1F8-3B64D45C78ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80b938e8b8445c0accb86ac5b0d6a4a0a8ff3505","datavalue":{"value":"11E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q767488$2C9CA744-EEC9-4D8D-AB6A-ACF6341AAF97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f65398eb8eda1063d2abc8d38e6079cbb75884c6","datavalue":{"value":"3119392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q767488$AB449760-D657-4020-B513-2D5ABBB016E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81afb4e2d4a060ef095dda69021a727b2157851f","datavalue":{"value":"class numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q767488$AF6726B9-DF26-42C8-B723-F6892507B9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47682056c9afa0ba40f32491a68edbd3ddb37b22","datavalue":{"value":"indefinite quadratic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q767488$4A6E2F60-81F2-4FCB-9C88-E601ACAA4460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f09984856d9f8c30da284ef065611857162048","datavalue":{"value":"ternary quadratic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q767488$8F13266F-12D9-4274-B676-A3F283A764A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e938357982ed23d58ab878cd3adcc89b3ceba9cb","datavalue":{"value":"quadratic forms of more than three variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q767488$CF726BBE-8748-4F5C-A14A-1A8D9BF9D0B6","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":"Q767488$A543BFC5-055C-4075-B273-105739ED0A48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d1d7d60ffb28f3df50b4b29616da7dd9576981","datavalue":{"value":{"entity-type":"item","numeric-id":5816776,"id":"Q5816776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767488$61470388-1232-49F8-ADB2-38390C3DF815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ca8cd7463129ba940452f447d1ff58890c3293","datavalue":{"value":{"entity-type":"item","numeric-id":2650656,"id":"Q2650656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767488$2E65325E-AFD7-4B37-9670-8CFD75818371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc2864cb757868b8f744d4e418ee3b21a1812641","datavalue":{"value":{"entity-type":"item","numeric-id":5809262,"id":"Q5809262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767488$83401FD8-851C-4BFF-AA54-A1618D0C1589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46634ff030e9dab8cced35c9fb416b7fc90e43aa","datavalue":{"value":{"entity-type":"item","numeric-id":5818567,"id":"Q5818567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767488$31F2D2F3-A886-45FE-9A46-9F35A64A7324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7f05b90c9df1b9c9da49503d48f729eea62512","datavalue":{"value":{"entity-type":"item","numeric-id":5847215,"id":"Q5847215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767488$F2C245EE-2114-44BF-90D4-09D2A9DCBC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38d3a5429b657523ef559b44728fe957125974bd","datavalue":{"value":{"entity-type":"item","numeric-id":3232315,"id":"Q3232315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767488$1F2D2479-1722-4DAF-98B0-1AF215FC726E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc94c514d0ab1902f38b541b1c9b59ec2cc53d25","datavalue":{"value":{"entity-type":"item","numeric-id":6482898,"id":"Q6482898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767488$37E1811C-E34E-4241-9693-062D818AFF17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Klassenzahlen indefiniter quadratischer Formen in drei oder mehr Ver\u00e4nderlichen","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Klassenzahlen_indefiniter_quadratischer_Formen_in_drei_oder_mehr_Ver%C3%A4nderlichen"}}}}}