{"entities":{"Q1898751":{"pageid":1909493,"ns":120,"title":"Item:Q1898751","lastrevid":69229023,"modified":"2026-04-13T05:37:18Z","type":"item","id":"Q1898751","labels":{"en":{"language":"en","value":"A spectral theorem for matrices over fields of power series"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 800324"}},"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":"Q1898751$23079144-1954-4954-BDE9-13C8A2E6D94F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8819193d7172fd311588330f1b1e7ff16821443c","datavalue":{"value":{"text":"A spectral theorem for matrices over fields of power series","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1898751$E4DB537F-E38A-4A73-8DCE-452183D5EF89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f721d9b5f1963776586215920badf66546d49ae3","datavalue":{"value":"0839.15020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898751$44E7A4CB-B3AF-4DFA-819A-9EC7D9447106","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77a5fb75d802013916dc04f354921ce8377d0584","datavalue":{"value":{"entity-type":"item","numeric-id":1264376,"id":"Q1264376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898751$5AC4348D-73BF-48C6-8743-E7907A4EABD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89b789120deb165adecd67430aa5f430c36504b0","datavalue":{"value":{"entity-type":"item","numeric-id":599308,"id":"Q599308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898751$2BE88950-E444-4C68-B2DF-2FFC336FED2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8a9d16aa5bebe85061c7fdc74495e498a84ff06e","datavalue":{"value":{"entity-type":"item","numeric-id":172400,"id":"Q172400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898751$6E8F736A-437A-4DED-BEE3-6C95C3E1A842","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df535d3d25d94502eb892ebd62564af8711197b5","datavalue":{"value":{"time":"+1996-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1898751$2BE0D8F9-1F41-4685-A4E4-37B2E8E19715","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49946117c5eb1412b2b1b1db83a3f553ac644326","datavalue":{"value":"http://www.numdam.org/item?id=AMBP_1995__2_1_169_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1898751$983EC234-189D-437A-976E-16FC89483D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"955205ce846388070c0dd6ead03006618208c2f0","datavalue":{"value":"https://eudml.org/doc/79112","type":"string"},"datatype":"url"},"type":"statement","id":"Q1898751$C7E73551-4025-479F-A988-03FA0DDA7EBD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bde866bdf658414d1eb20d28c2c0ada4b55dadb2","datavalue":{"value":"The authors consider matrices over fields \\(K = \\mathbb{R} ((t_1, t_2, \\dots, t_m))\\) of formal power series in one or several variables with real coefficients. The main result states that over these \\(K\\) every symmetric matrix can be orthogonally diagonalized. It is also shown that this result even carries over to fields of generalized power series in infinitely many variables.    The method of proof can be outlined as follows. First write \\(K = K_0 ((t))\\) where \\(t = t_m\\) and \\(K_0 = \\mathbb{R} ((t_1, \\dots, t_{m - 1}))\\). The field \\(K = K_0 ((t))\\) is complete with respect to a nonarchimedean discrete valuation. This allows to present a given symmetric matrix \\({\\mathcal A} \\in \\text{Mat}_n (K)\\) as a power series \\({\\mathcal A} = A_0 + A_1t + A_2 t^2 + \\dots\\) with coefficients \\(A_k \\in \\text{Mat}_n (K_0)\\). Secondly a recursive construction is set up that produces an orthogonal transition matrix \\({\\mathcal U} = U_0 + U_1t + U_2t^2 + \\dots\\) such that \\({\\mathcal U}^{tr} {\\mathcal A} {\\mathcal U}\\) is decomposed into two blocks of smaller size. The proof is then finished by an induction.   The eigenvalues of \\({\\mathcal A}\\) are obtained at the end as a by-product.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898751$900DFD1F-2F55-4CA9-A3AA-C96EFD2B5C73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d105b80ed6a98c28f7c2120246154d24eaf80df","datavalue":{"value":"15A54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898751$C7A165BC-AA20-4BA6-B295-DCCF58596A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"866b7ca9ccd1c17f5aab066afe52bfd6de41926d","datavalue":{"value":"12J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898751$6B852C04-37BD-4458-894C-998457B9EDAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ff1a116d73d8983557cad84a6304fc6801287a9","datavalue":{"value":"800324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898751$2F71FA0F-A859-4DEB-BBB5-30129325EDA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d5f2ce8cc07e8e2863f3559fd8f92bd3c15d4c","datavalue":{"value":"non-archimedean valued fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898751$334B4B86-C370-47FE-BBB2-BA71D8D0D78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b72dbd5495f5f0e5edd87971d3337c9d685e2153","datavalue":{"value":"symmetric matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898751$6DC64175-E551-4A51-97E0-88283E28FB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa0edc72e7989fc0fea135db74ed3e400f825490","datavalue":{"value":"orthogonal diagonalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898751$038C2511-365F-4DB9-9B6E-807EF1C6914D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3590eb8b47f26c41d61639b5166afe44752133e","datavalue":{"value":"formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898751$324CDB2C-BB42-42E4-8EA3-A9AA186C519E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"811604a75801fcd709c8667f83ea26944825b8d2","datavalue":{"value":"eigenvalues","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898751$217FBDF5-B5D7-4D22-965A-9F150FF94249","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"96a1c5f1a685a69be42bc7fc47b1b9cf0da19e89","datavalue":{"value":{"entity-type":"item","numeric-id":240384,"id":"Q240384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898751$740C2095-EE73-4103-91DB-C0FAA6D896BB","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":"Q1898751$BF0377FA-1811-46E6-A7B0-7C5C919306D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68f668956c3e931ea2e61e3bb1900528975b250e","datavalue":{"value":"W2054431772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898751$990F6CEB-318A-4097-AEA2-371489CF538C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f899a6d4cd12be0a5e45c349794b5cba508a166c","datavalue":{"value":{"entity-type":"item","numeric-id":810112,"id":"Q810112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898751$3DF1A543-D5E1-48C8-9F49-29D163BB41F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5949a7fdb78a42110ec6d1090b95075aa7a32c","datavalue":{"value":{"entity-type":"item","numeric-id":3356452,"id":"Q3356452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898751$881B1E85-31CF-423F-ABE1-6A96577299D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878dceb5af3cf13e744a913e109ee316f33146eb","datavalue":{"value":{"entity-type":"item","numeric-id":1082579,"id":"Q1082579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898751$9B824A60-01D6-4A15-8C96-BC51C99CAD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c30eda187f0b47131873be573cc7df3f7f08b79c","datavalue":{"value":{"entity-type":"item","numeric-id":1325711,"id":"Q1325711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898751$52EC72AB-0DE8-4F7C-8A44-4D8EC08EFABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9517f86c1e86b250eba5586ae99577cbf5272428","datavalue":{"value":{"entity-type":"item","numeric-id":5514647,"id":"Q5514647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898751$12489CCB-7CB9-4D3C-9030-F4957A632977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb2a741673c71f02a62030b1c929450fb3c8a2e","datavalue":{"value":{"entity-type":"item","numeric-id":5796078,"id":"Q5796078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898751$BA71FA96-7E25-4D6B-96E7-3D0A626FB6D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2620fea7480ddd862f4d602d99160b1f8e892cc","datavalue":{"value":"10.5802/AMBP.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898751$5F63787B-CE9F-4A80-95EF-76B6C06F2D17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14a10e97858b52fbc62370b3c1549c2c3f60d55","datavalue":{"value":{"entity-type":"item","numeric-id":810112,"id":"Q810112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778677d2b85c930ea206a7b3a3f76dddcaa8982c","datavalue":{"value":{"amount":"+0.7385976910591125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1898751$062EE069-5C32-49D1-886A-B31708BD9437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c5395a963fdf8708b621e0a7e0211d1cfdbcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3515148,"id":"Q3515148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d381effdfdcadf474c8c6284d7f9b77e4a0904ed","datavalue":{"value":{"amount":"+0.7313950657844543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1898751$61E7B5E4-5E5F-4034-B743-A100815AB6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52f2ba561b65ab57eabc261e8dd05fe4fa983c3","datavalue":{"value":{"entity-type":"item","numeric-id":799763,"id":"Q799763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e281ff7404c702825248f84ab219016eadfeeb","datavalue":{"value":{"amount":"+0.7310082912445068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1898751$B099FC98-D8C8-4EF6-B6EA-2513D266867B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bfce89e42f7ea5278beab2ab6c5a9fd20c469ed","datavalue":{"value":{"entity-type":"item","numeric-id":1177242,"id":"Q1177242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de8722cae3e58bacde1a31ce9cc2bc0a6f52b50","datavalue":{"value":{"amount":"+0.7222205996513367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1898751$E10A6D9D-F450-4220-91DB-E2CDE2686E96","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898751$2F8D1A2E-E69A-4EF1-8FE8-F0AE5500D6E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A spectral theorem for matrices over fields of power series","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_spectral_theorem_for_matrices_over_fields_of_power_series"}}}}}