{"entities":{"Q818571":{"pageid":820419,"ns":120,"title":"Item:Q818571","lastrevid":64608018,"modified":"2026-04-11T21:02:46Z","type":"item","id":"Q818571","labels":{"en":{"language":"en","value":"A Springer theorem for Hermitian forms."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013681"}},"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":"Q818571$03E0CF78-8254-42A8-9380-1E8DC1B50C56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd6d1097c64de1dbc19c03631e641742fc297cc1","datavalue":{"value":{"text":"A Springer theorem for Hermitian forms.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818571$A091F752-7977-400E-9E19-167EC33BE4B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"519e1c27b87ff8e9ed26dc425a2a70638f8fb80d","datavalue":{"value":"1103.11013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818571$9A365983-97C5-4725-AF3A-E67EF6BCCCB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"812bff6e70615a37b841fab4217f0e182396d6ba","datavalue":{"value":{"entity-type":"item","numeric-id":818570,"id":"Q818570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818571$A94EF80B-EEC0-401E-A604-7FBADE97D4DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818571$DE674D37-BE24-41D4-BB84-4A4222D80F78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"772948f2487b02c578217863cb0a65a1011ee253","datavalue":{"value":{"time":"+2006-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q818571$3E9D5D7C-D62D-470B-ADE8-C6F2D73CB214","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fbcd47078de1ec52626cf40e6388c1fe29f2432d","datavalue":{"value":"Let \\(F\\) be a discrete Henselian field, whose residue field has characteristic different than \\(2\\), and let \\(\\pi\\) be a uniformizer. A classical theorem of Springer essentially reduces the theory of quadratic forms over \\(F\\) to that of its residue field, in the sense that a quadratic form \\(q = q_1 \\perp \\pi q_2\\) is anisotropic iff \\(q_1\\) and \\(q_2\\) are.  This paper proves analogous results for \\(\\varepsilon\\)-Hermitian forms over division algebras. Let \\((D,\\sigma)\\) be a central finite dimensional division algebra with involution over a field \\(F\\), and assume \\(F^{\\sigma}\\) is Henselian. An \\(\\varepsilon\\)-Hermitian form on a vector space \\(V\\) over \\(D\\) is a sesquilinear form \\(V\\times V \\rightarrow D\\) satisfying \\(h(y,x) = \\varepsilon \\sigma(h(x,y))\\). Such forms are always diagonalizable, namely can be brought to the form \\(h(x,y) = \\sum_{i=1}^{n}\\sigma(x_i)a_i y_i\\). It is shown that a unit form (namely one in which \\(a_1,\\dots,a_n\\) are units) is isotropic iff its residue form is; two unit forms are isomorphic iff their residues are. For general forms, the decomposition \\(h = h_1 \\perp \\pi h_2\\) into unit forms is shown to be unique, with \\(h\\) anisotropic iff \\(h_1\\) and \\(h_2\\) are. These results are phrased in greater generality, for an arbitrary discrete value group.  The mechanism developed for Hermitian forms is also used to study involutions on \\(\\text{End}_D(V)\\), and a Springer theorem for these is proved as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q818571$015AFC75-20B8-45FE-BDDF-13238EA2124B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"876feb2b809b6d68e545ef4bfaebed2a6cf3a4ff","datavalue":{"value":{"entity-type":"item","numeric-id":284951,"id":"Q284951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818571$E3D11D11-0781-4A0D-AA1D-2209DBB52E62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13ef8187a011f42cc6b77fd8b3c722c78fee8b0e","datavalue":{"value":"11E39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818571$3F370EA1-E4AC-4242-BF66-039824F7DF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"656bce73d97ec53ad000afd2904966a257ee2148","datavalue":{"value":"16K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818571$59BF769B-7C9F-47ED-9CD7-0C7982B284F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8436fa6383d5cf49e2aac5112558e08842a6b4e","datavalue":{"value":"16W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818571$3E4A1578-3046-4F64-93D2-CC32FBF5E707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5701d50840ddc1d4c58c8ef7660c67b26a6a240","datavalue":{"value":"16W60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818571$CF2C30A3-9B54-4B69-B0EF-464C6BBB341F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b9e506886e4f7d9b822ad62c2cd3ae36f4aad4e","datavalue":{"value":"5013681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818571$8C022078-1A3E-45F3-A9BB-EE053E3E193C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c02879de69cdf47bc631541b46e57908d2c068b","datavalue":{"value":"Springer's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q818571$FB7597DB-120C-4628-9718-58B30C18EA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f755aa287cac1f5c473d643a83cdddc212dad52","datavalue":{"value":"Hermitian form","type":"string"},"datatype":"string"},"type":"statement","id":"Q818571$0660B767-461A-4D88-A7C2-430A843B2384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5275a43abd9b34a041ff08a09cf19de7db41176f","datavalue":{"value":"valued division","type":"string"},"datatype":"string"},"type":"statement","id":"Q818571$3983E81D-D3C1-4A27-AACE-7ADB6CEECFA2","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":"Q818571$B59E8F60-A40E-4CED-A3D0-C7A865B641F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c8df12a4ca554c8874b9e7c719269ff91acf5c8","datavalue":{"value":"https://doi.org/10.1007/s00209-005-0775-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q818571$24717F57-86E6-4D4D-8705-630C1C487CF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b88fc4a5e2b6e3f0cfbab1ea7c63cb21f1c8db0","datavalue":{"value":"W2063580372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818571$226CD650-E6A4-42D0-B355-93574DF900DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fa013a7b2ac021ed8d87e883a3a21c5a9ec4bc","datavalue":{"value":{"entity-type":"item","numeric-id":1134794,"id":"Q1134794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818571$E318A5CD-8274-45CB-A301-32B15A0E9753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c408b0e77319caae061ef2f3e5a1497917ae5d","datavalue":{"value":{"entity-type":"item","numeric-id":1323457,"id":"Q1323457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818571$CE73C299-62EA-4193-9363-21B9D371DCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b16f8fcb067f32f4b8366583a1f4d19ca926b62","datavalue":{"value":{"entity-type":"item","numeric-id":583337,"id":"Q583337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818571$4C829506-5CCC-4604-BA33-14531DC48DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e77d78030bb29a731a47c15ddbaef3a7da691481","datavalue":{"value":{"entity-type":"item","numeric-id":5675788,"id":"Q5675788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818571$C892A3B2-64DE-498A-A2CC-7933CFF3AABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28136e97d132da00edb811518ce56de44d144355","datavalue":{"value":{"entity-type":"item","numeric-id":1159707,"id":"Q1159707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818571$CE4AD07B-D0FC-489F-9C53-0431EFF00492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990c99485cd39b634cf2134cc443bcb8a9979132","datavalue":{"value":{"entity-type":"item","numeric-id":1204405,"id":"Q1204405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818571$FDB77F0E-009C-47A3-B318-B6792C1ACB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c530d87af28670477860f624fc1c7d09797c02","datavalue":{"value":{"entity-type":"item","numeric-id":4044739,"id":"Q4044739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818571$D9109D84-C49F-4442-950F-C4CFF1732B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf87aafd2d65a2f8d34229a0e85a8c75920ff19","datavalue":{"value":{"entity-type":"item","numeric-id":3708857,"id":"Q3708857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818571$5B8EA4E7-D474-47FB-A54A-546A15266FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fef88095eb077a3c9146bc1a5bce550e60f1b21","datavalue":{"value":{"entity-type":"item","numeric-id":3735823,"id":"Q3735823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818571$06DD9F5D-6741-41D7-8F3F-E8FE10E3C22D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"caef7b7117641eccbdf184804a631d8cdaefd984","datavalue":{"value":"10.1007/S00209-005-0775-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818571$A5A91370-0B7A-45D4-B26B-465DACD240C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1792028872756f9c581629be3707d6fe63ee305","datavalue":{"value":{"entity-type":"item","numeric-id":2381841,"id":"Q2381841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18094700062871d6efc2ebcf1fe880f0c4d3a18","datavalue":{"value":{"amount":"+0.92734087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818571$E621D139-EF23-4CFD-8DCF-2905FD8858B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d751fc20784ccb1d6969728e645e14dfbc2f3d03","datavalue":{"value":{"entity-type":"item","numeric-id":785990,"id":"Q785990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4cfb54a73259d097dc380a250f02c45f324ec13","datavalue":{"value":{"amount":"+0.9255354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818571$E4C717D8-63C1-419D-9B4D-8CD7C1C63978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067887d03291e513e4101f720cf7ad9eb5c6ff6b","datavalue":{"value":{"entity-type":"item","numeric-id":883113,"id":"Q883113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46117c63de97e17462114d143a253e782fe45b9","datavalue":{"value":{"amount":"+0.9164338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818571$8D9711AC-4CD4-4512-A435-34213BB5FFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56451dbf6051e02f87e7e8c335c148cc7bbea5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5949407,"id":"Q5949407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5208693dd3d1cb5d9139180f027a5ccd20947e2f","datavalue":{"value":{"amount":"+0.91026986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818571$6516566E-0CED-40CE-A284-F8DA59D5201C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Springer theorem for Hermitian forms.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Springer_theorem_for_Hermitian_forms."}}}}}