{"entities":{"Q2626610":{"pageid":2637353,"ns":120,"title":"Item:Q2626610","lastrevid":44515545,"modified":"2025-11-23T11:32:33Z","type":"item","id":"Q2626610","labels":{"en":{"language":"en","value":"Arithmetic of alternating forms and quaternion hermitian forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3196349"}},"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":"Q2626610$0B02A157-9468-417D-BC86-E45ACF4D558F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"836efa0edb5fc570c54f5315150c065f2f74f64c","datavalue":{"value":{"text":"Arithmetic of alternating forms and quaternion hermitian forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2626610$F30CDF9C-F448-4EC7-A919-50E501D71991","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e7f1dc616afe75d21bb148ff38e7c23a0eeb3d4","datavalue":{"value":"0121.28102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2626610$09621F30-C1C4-4BFB-9CBD-BD306E1A7AAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2626610$F07F3931-753D-4432-B05E-2EDF952D613D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb2ff0c8850243f6c91f9deeec455d393bf560c2","datavalue":{"value":{"time":"+1963-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":"Q2626610$DFA1E7DC-EC2A-4865-B1B7-285F2AD9D2F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3bd0b3dbd5cd497d52bda1c38bf5e3e2f83b2f12","datavalue":{"value":"Sei \\(F\\) ein endlich algebraischer Zahlk\u00f6rper und \\(\\mathfrak g\\) seine Hauptordnung. \\(A\\) bedeute eine Quater\\-nionen-Algebra \u00fcber \\(F\\) und \\(\\mathfrak o\\) eine maximale Ordnung in \\(A\\). \\(A\\) hei\u00dft indefinit, wenn nicht ale unendlichen Primstellen von \\(F\\) in \\(A\\) verzweigt sind. In einem \\(n\\)-dimensionalen Linksvektorraum \\(V\\) \u00fcber \\(A\\) wird eine nicht ausgeartete Bilinearform \\(f(x,y)\\) mit der Symmetrieeigenschaft \\(f(y,x) = f(x,y)'\\) betrachtet, wobei der Akzent den kanonischen Antiautomorphismus von \\(A/F\\) bezeichnet. \\(G(V, f)\\) bedeute die Gruppe der ,,\u00c4hnlichkeitstransformationen'' von \\(f\\); sie besteht aus den \\(A\\)-linearen Selbstabbildungen \\(\\sigma\\) von \\(V\\) mit \\(f(\\sigma x, \\sigma y) = N(\\sigma) f(x,y)\\) mit einem Faktor \\(N(\\sigma)\\in F\\). Falls \\(A\\) die Matrixalgebra 2. Grades ist, l\u00e4\u00dft sich \\(f\\) als eine schiefsymmetrische Form in einem \\(2n\\)-dimensionalen Vektorraum \u00fcber \\(F\\) deuten, und \\(G(V, f)\\) wird die symplekti\\-sche Gruppe \\(\\mathrm{Sp}(2n, F)\\). Unter einem \\(\\mathfrak o\\)-Gitter wird ein endlicher \\(\\mathfrak o\\)-Linksmodul \\(L\\) von maximalem Rang \\(n\\) verstanden. Die Norm \\(N(L)\\) with definiert als der g. g. T. aller \\(f(x,y)\\) mit \\(x,y\\in L\\). \\(L\\) hei\u00dft maximal, wenn es kein \\(L\\) echt umfassendes Gitter mit gleicher Norm gibt. Jedes Gitter ist in einem maximalen enthalten. Besonders einfach ist die lokale Theorie der maximalen \\(\\mathfrak o_{\\mathfrak p}\\)-Gitter.   Elementarteilersatz: Ist \\(n = 2m\\) gerade, und sind \\(L\\), \\(M\\) maximale Gitter, so gibt es Vektoren \\(x_i, y_i\\in V_{\\mathfrak p}\\) von folgender Beschaffenheit:    \\[  L = \\mathfrak o_{\\mathfrak p}x_1+\\mathfrak o_{\\mathfrak p}y_1 + \\dots + \\mathfrak o_{\\mathfrak p}x_m+\\mathfrak o_{\\mathfrak p}y_m, \\]    \\[  M = \\mathfrak o_{\\mathfrak p}\\alpha_1x_1+\\mathfrak o_{\\mathfrak p}\\beta_1y_1+\\dots+\\mathfrak o_{\\mathfrak p}\\alpha_mx_m+\\mathfrak o_{\\mathfrak p}\\beta_my_m, \\]    \\[  f(x_i, y_i) = N(L) \\delta_{ij},\\quad \\alpha_i,\\beta_i\\in A,\\quad \\alpha_i\\beta'_i = N(M)/N(L), \\]   \\[  \\mathfrak o_{\\mathfrak p}\\alpha_1\\superset \\mathfrak o_{\\mathfrak p}\\alpha_m\\superset \\mathfrak o_{\\mathfrak p}\\beta_m\\superset \\mathfrak o_{\\mathfrak p}\\beta_1. \\]    F\u00fcr ungerades \\(n\\) gilt ein \u00e4hnlicher Satz.   Man nennt \\(L\\) und \\(M\\) verwandt, wenn f\u00fcr jede Primstelle \\(\\mathfrak p\\) von \\(F\\) ein \\(\\sigma_{\\mathfrak p}\\in G(V_{\\mathfrak p}, f)\\) so existiert, da\u00df \\(\\sigma_{\\mathfrak p}L_{\\mathfrak p} = M_{\\mathfrak p}\\) ist. Die verwandten Gitter bilden die Geschlechter. Sofern \\(n > 1\\) ist erweist sich die Anzahl der Geschlechter maximaler Gitter gleich \\(2^s\\), wo \\(s\\) die Anzahl der in \\(A/F\\) verzweigten Primideale ist. Sie werden durch Gitter vertreten, deren Normen Produkte dieser \\(\\mathfrak p\\) sind. Das leere Produkt (Norm\\( = 1)\\) repr\u00e4sentiert das Hauptgeschlecht. F\u00fcr jede in \\(A/F\\) verzweigte unendliche Primstelle l\u00e4\u00dft sich eine Signatur von \\(f\\) in naheliegender Weise erkl\u00e4ren. \\(\\mathfrak t\\) bedeute das Produkt von diesen, f\u00fcr welche die Signatur nicht \\(0\\) ist.   Der (globale) Approximationssatz: \\(A\\) sei indefinit und \\(L\\) ein maximales Gitter des Hauptgeschlechts. F\u00fcr endlich viele Primideale \\(\\mathfrak p_1,\\ldots,\\mathfrak p_r\\) von \\(F\\) seien Elemente \\(\\sigma_i\\in G(V_{\\mathfrak p_i}, f)\\) mit \\(\\sigma_iL_{\\mathfrak p_i}\\subseteq L_{\\mathfrak p_i}\\) vorgeschrieben, and \\(\\alpha\\) sei ein Element aus \\(\\mathfrak g\\), welches den Bedingungen     \\[ \\alpha_i^{-1} N(\\sigma_i)\\equiv 1\\bmod \\mathfrak p_i^{\\lambda_i},\\quad \\alpha\\equiv 1\\bmod \\mathfrak t \\]     gen\u00fcgt (mit ebenfalls vorgeschriebenen positives Exponenten \\(\\lambda_i)\\). Es gibt dann ein \\(\\sigma_i\\in G(V, f)\\) mit den Eigenschaften    \\[  \\sigma L\\subseteq L,\\quad N(\\sigma) = \\alpha,\\quad (\\sigma - \\sigma_i) L_{\\mathfrak p_i}\\in \\mathfrak p_i^{\\lambda_i}L_{\\mathfrak p_}. \\]   Geh\u00f6rt \\(L\\) nicht dem Hauptgeschlecht an, so kann man die Existenz eines solchen  ebenfalls zeigen, sofern man von \\(\\alpha\\) die sch\u00e4rfere Bedingung \\(\\alpha^{-1} N(\\sigma_i) = 1\\) f\u00fcr alle \\(i\\) verlangt. Mittels dieses globalen Approximationssatzes kann man nun weiter zeigen:    Wenn \\(A\\) indefinit ist, so ist die Anzahl der Klassen maximaler Gitter im Hauptgeschlecht gleich der Anzahl der Idealklassen mod \\(\\mathfrak t\\) in \\(F\\).   Als globalen Elementarteilersatz bezeichnet der Verf. sein letztes Resultat: \\(A\\) sei indefinit, und \\(K, L, M\\) seien maximale Gitter desselben Geschlechts. Dann und nur dann sind s\u00e4mtliche ,,lokalen Elementarteilersysteme'' \\(\\{L:M\\}\\) und \\(\\{L:K\\}\\) gleich, wenn es ein \\(\\sigma_i\\in G(V, f)\\) mit \\(\\sigma L= L\\) und \\(\\sigma M= K\\) gibt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2626610$A5CC6F15-E03F-4C6E-B789-876020166E4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f1cb07288bba9b47801526212098ae83d5ba151","datavalue":{"value":"11R52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2626610$4B3DA189-B4E5-49FC-8C89-B51EBAD6E3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8c994044f01839c0885b2dff76b71fc7e22220a1","datavalue":{"value":"11E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2626610$3293DC54-2C41-496C-90F6-6D583D487232","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36f2076afd38af3cd282321c167786ee2ab5caec","datavalue":{"value":"3196349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2626610$9B5A5D47-1C98-4627-9E40-5C28C0C5D3D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8f6391ce037b7e97d9e47ff8ff2c68b18e74789","datavalue":{"value":"quaternion algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2626610$49BEF2CC-294D-40AC-B6FC-E936842DB37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"582c465d578d18cd5f2dfb21852aedc7ad5697a2","datavalue":{"value":"maximal order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2626610$7A4CE1AB-7E90-41D4-AD1C-4AB2E68DEBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac3dc9fdfdee5a53b505f2b06b9d49cedf399d0c","datavalue":{"value":"nondegenerate bilinear form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2626610$0D54987E-632B-433F-A2CE-DA9EB3DB460C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fff7c85f8bc93522219304e9ff2822213da5b49","datavalue":{"value":"local theory of maximal lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2626610$9FD3D899-2043-4216-86B2-E20919EF3092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c26336764c0872a3f0bba227a11d2943584171c6","datavalue":{"value":"genus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2626610$6A74C658-ED45-417E-85F1-7E52D4BF7587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d09a0f09e9dbda634cbb9c5f07e6d2da08243ee5","datavalue":{"value":"signature","type":"string"},"datatype":"string"},"type":"statement","id":"Q2626610$B150AA94-B82D-4373-A241-B379868E7DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b16b7381b9ef4a7fe3a80bbe24aeff6bfa651a87","datavalue":{"value":"global approximation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2626610$164F9FE7-301F-43BE-A088-4BE7451AA1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d9bfc0a85bc8a6dc414d7a08c797206fdbc923","datavalue":{"value":"class number of maximal lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2626610$52FD620E-FA2F-47C4-BFF2-C41D37350BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c25831ab0adba909ab654deca49c7236d252cef","datavalue":{"value":"global elementary divisor theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2626610$4E127EE9-E143-4857-BA0B-F4D1C22FBFD4","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":"Q2626610$BFAE2682-8091-4D5E-96E2-1C7460660FCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ba3e90f3c5856fd3f1b4ef662957da90600b10f","datavalue":{"value":"https://doi.org/10.2969/jmsj/01510033","type":"string"},"datatype":"url"},"type":"statement","id":"Q2626610$4109DD67-1636-4747-BA20-1CD0570FA8E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a41f6cbb103d930a0e5b4d7343ed5594888ee1f","datavalue":{"value":"W2060006681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2626610$A41175D1-7653-4289-B74C-4428D9E68EBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32a3d02b9c007afda3016bab5add48bb5d1f94cc","datavalue":{"value":"10.2969/JMSJ/01510033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2626610$D9874F78-26FE-44E4-B4DB-E58115036E34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21b7f455de0cf1b8dd18df4d7fccaa94d13b4df6","datavalue":{"value":{"entity-type":"item","numeric-id":6482392,"id":"Q6482392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2626610$E03BE44F-FB86-4DD0-99ED-7C55CC8973ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2626610","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2626610"}}}}}