{"entities":{"Q1122642":{"pageid":1133391,"ns":120,"title":"Item:Q1122642","lastrevid":66174780,"modified":"2026-04-12T08:03:14Z","type":"item","id":"Q1122642","labels":{"en":{"language":"en","value":"The Henselization of a valued division algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4107034"}},"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":"Q1122642$C8EE2104-3629-4808-B56B-726174F570AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b4f86477dc841d992b2291825ebb909cc8e35ce","datavalue":{"value":{"text":"The Henselization of a valued division algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1122642$E334C7E3-74BC-42D9-9A00-8F239C55FF15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61c66dc8599960e5802ecb6cf3425b07f3a54880","datavalue":{"value":"0676.16017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122642$92BE176D-3879-4767-9EDE-E3573ABDCDF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85c278a05aca5e3a1bd19ba37579777307c9519d","datavalue":{"value":"10.1016/0021-8693(89)90247-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122642$F36389A6-E319-40B9-9CA1-46AF76710DA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14e834bb672d67ee04e70b62a8aafc05a5b721ad","datavalue":{"value":{"entity-type":"item","numeric-id":1122641,"id":"Q1122641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$2695DECF-59A1-4DB0-AC41-F5DB1AD02C0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$6D973ADE-7B51-4332-8C47-EE158DEA9BFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1122642$51242E0B-120B-4BA0-AEFF-EDF1A96B3671","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f75033ac2889fd8ad5891d53d9a39e23f5a48c1","datavalue":{"value":"Let \\(F\\) be a valued field and \\(F_ h\\) its henselization. Given a division algebra \\(D\\), finite-dimensional over its centre \\(F\\), the author shows that the valuation of \\(F\\) extends to \\(D\\) if and only if \\(D_ h=D\\otimes_ FF_ h\\) is a division algebra. Moreover the extension is unique. [This extends a result of the reviewer, Stud. Sci. Math. Hung. 16, 65-70 (1981; Zbl 0488.16015), of which the author seems unaware.] For the proof he uses a condition for a tensor product of valued division rings to be again a division ring: the tensor product of the residue class rings must be a division ring, the value groups intersect in the value group of the ground field and at least one of the rings must be defectless over the ground field (i.e. the degree is equal to the ramification index times the residue degree). Examples are given where these conditions hold, and other to show that they cannot be omitted.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122642$C28D9449-567A-47E6-B285-74089C0C251E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d438ee2badcec5403c41406055f5321f853ced5","datavalue":{"value":"16K40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122642$051D81D6-8D2B-4262-B80F-ED8C4BECE9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef5ea71dbaa3d6172153d0b00dd5eee68cb9a11b","datavalue":{"value":"12E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122642$2230E6B5-0E46-400D-876F-B0E950441365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5701d50840ddc1d4c58c8ef7660c67b26a6a240","datavalue":{"value":"16W60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122642$CA7FF35F-E81A-49ED-837B-B7E54C11B135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122642$83F5301C-AC84-449A-93EA-A89DFE52E94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d67a4131a98d31a20748b3bb895c9f3c6bd64f8d","datavalue":{"value":"12J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122642$8CEA55BB-D987-462B-8692-3AAD9C4EE79D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"854c92c62c3efb0c8df1fa4dee1890e342cde61c","datavalue":{"value":"4107034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122642$AA753778-41CF-417F-A5C7-0A6D508E78F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"095642a7cd4f0ce7a456b36d51cf50bc57934b4f","datavalue":{"value":"valued fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122642$22DA9067-7D37-4CE3-89FC-0618B199C4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74ac1709f203dd9a50876204a64407fc982df760","datavalue":{"value":"Henselizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122642$30773D6B-B995-48E7-AF21-824A18C37612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c31636f400e0ce5ed589a1745c8025def9a53b","datavalue":{"value":"division algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122642$3B0ACD05-BF37-47F4-AD6A-4887292AD12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6054dea3f9b79e5a724dc8301f1b48e34a82b6dc","datavalue":{"value":"valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122642$E0A6F7D8-68BF-402E-898D-9EEA16D374EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57abbe45df97623466451dfcaea3ae51c3cd46ea","datavalue":{"value":"extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122642$9FAAE949-3968-48E1-8AFC-4CD6579517C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92cdc1ea848cbfdc393bbcf674c7bfb6620498c1","datavalue":{"value":"tensor products of valued division rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122642$9405ACDA-3590-48C4-A449-624986E16F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d623368ab6b918d9de782e1cebc1f556c9fed64","datavalue":{"value":"residue class rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122642$E4516656-6462-45DC-BBCF-D44CA0D9063B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24702d858c55dc259cc8405afd2758b7977173b6","datavalue":{"value":"value groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122642$3BCEBDD8-7175-4665-B6D7-76F60AFBAD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e663fd8e465f786de38ad9349d32de7138f48bfe","datavalue":{"value":"defectless","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122642$F405772C-B088-4F7E-9ACD-E29114B7CC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9587f71fb14a41874ac991ea983735fe8f1b0138","datavalue":{"value":"ramification index","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122642$AE17BA22-299A-4CA0-91D1-FD77196D3271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32fed812410b2ab798f7fd399113f0ab0d9d141a","datavalue":{"value":"residue degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122642$64240695-973F-4C78-907D-F739C8C34ABA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b437afa129cc47b4d28bf6ac9bf43e943eb6ebc5","datavalue":{"value":{"entity-type":"item","numeric-id":706059,"id":"Q706059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$5C990EF2-D418-49DD-99DE-ABDE1E2F8CC3","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":"Q1122642$A315CCE5-DFA4-401E-A636-A58EB0E2C10E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"603c01b355339840df90378a73a082f1503f53d9","datavalue":{"value":"https://doi.org/10.1016/0021-8693(89)90247-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1122642$3DE8F944-4D40-4061-91C6-828DC9F8BA7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"371e4f85d9be73ebbda7229e43a9e95afacff95e","datavalue":{"value":"W2062282062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122642$633ACEBC-AF29-42D8-A3A5-6FABDA50F94B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51db70c0b5400ddefa505a8ecfe588f9e7655c46","datavalue":{"value":{"entity-type":"item","numeric-id":2556456,"id":"Q2556456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$B7648985-9F53-42D8-B17B-370F58D32F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfeb8cb7c5c254e2d85bd0f4db473d8daa54f0c1","datavalue":{"value":{"entity-type":"item","numeric-id":5648449,"id":"Q5648449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$F0966C46-BD32-4FAB-BE0C-DD0AEC495905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b88d415798eb017a5f412111fd9b9b1cab3e98","datavalue":{"value":{"entity-type":"item","numeric-id":3963168,"id":"Q3963168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$06D88D80-BBBD-4082-8AD0-F28E39AB52E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4b878b2c4924d1ccd6d2bf355a68de05eddfa0","datavalue":{"value":{"entity-type":"item","numeric-id":3320499,"id":"Q3320499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$9E801275-162E-4F6D-8540-96F7229ABC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5973e44b966aa1f1de4c8a2260e2be8760f5808","datavalue":{"value":{"entity-type":"item","numeric-id":3331359,"id":"Q3331359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$E1F7BF9C-A34F-4E25-BB89-BDF2DC92CEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b1ed6a0209cf390f3e7d87e8e21b225ebe9e29","datavalue":{"value":{"entity-type":"item","numeric-id":2559510,"id":"Q2559510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$144FC563-7370-477C-B980-7AB67E45F480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b77723c58b690a50550c2049bd7fff963789d175","datavalue":{"value":{"entity-type":"item","numeric-id":3729104,"id":"Q3729104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$3FA47013-E212-4CB2-ADD8-F1C926D86B42","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":"Q1122642$16DAD136-A139-43D2-A391-E57CA16E4D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61bbff3cc3a6d345ad9e289856f4c28cc55133e3","datavalue":{"value":{"entity-type":"item","numeric-id":1071059,"id":"Q1071059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$B93AFCE5-98E2-4B9B-99C4-0EADE0A5B7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b2b93f3dd09107005d0ffe107394d794b70597d","datavalue":{"value":{"entity-type":"item","numeric-id":1840149,"id":"Q1840149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$A3F70299-3A57-4683-9670-B7193D7E0A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11abe1ee01356015826089002a66c3a6bb253852","datavalue":{"value":{"entity-type":"item","numeric-id":3961610,"id":"Q3961610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$FF24EE4F-9B62-41FA-877F-B47893BE2E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c906da5e5d72833823a23dd8e3b8a4be789135c","datavalue":{"value":{"entity-type":"item","numeric-id":4119335,"id":"Q4119335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$55FE5B8F-6CD5-4AE8-9276-4DBA6FD01033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b5cc207326589bcc833fc76a4e085c5263944a","datavalue":{"value":{"entity-type":"item","numeric-id":3722660,"id":"Q3722660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$89D48876-63BA-42E5-973A-A7222A17236C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1668b5c0d6d7ef06c85b3bc58382974166bff5f","datavalue":{"value":{"entity-type":"item","numeric-id":762553,"id":"Q762553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$DA480DE7-8551-4CE6-8246-3434351A5102","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":"Q1122642$981A1F76-99AA-4604-AD48-D29EBAEE1B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87488984210aab98e5ee8ca6f55e0e9e1d0a02b1","datavalue":{"value":{"entity-type":"item","numeric-id":3029138,"id":"Q3029138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122642$225F08B0-1ED2-418A-AFAC-7E93A126276E","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":"Q1122642$EBF53768-01E6-4C5E-86EF-814E3414AF0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb2693b8517ecb5d760dd372920a0ab100dd9153","datavalue":{"value":{"entity-type":"item","numeric-id":583337,"id":"Q583337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf04e11d2b98c581fe1c5b4b2acafd908e111e7f","datavalue":{"value":{"amount":"+0.8219045400619507","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":"Q1122642$9A795B49-49A9-4F99-BF5F-1B3413744141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86f69274ef4a7687c80981d68681b9b020bac5c5","datavalue":{"value":{"entity-type":"item","numeric-id":3822331,"id":"Q3822331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69dd17934b5e07d3a9358b9a29005155696b11c6","datavalue":{"value":{"amount":"+0.8168966174125671","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":"Q1122642$2AC0A480-2913-4677-8C5E-5BCCD6A8B3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c77eb500412ce87c397805de1f90e3050d681d","datavalue":{"value":{"entity-type":"item","numeric-id":2570965,"id":"Q2570965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ae4e1377cfde28041f592a6635d6403770c103","datavalue":{"value":{"amount":"+0.8121533989906311","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":"Q1122642$236ADBA0-2301-4056-B8F9-9BCBB62B2634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5f1f8b258fa208f7b8c59c009dbc5eef7f48c9","datavalue":{"value":{"entity-type":"item","numeric-id":3807333,"id":"Q3807333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9190a0e00eb629f4387db7a94f5a684e9adae57","datavalue":{"value":{"amount":"+0.8076834082603455","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":"Q1122642$2FCB815C-8984-45E3-AD1F-FA4FE57D7ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58fc1cfb0d3bf3685c8f87d0cd4dc6d03801df7b","datavalue":{"value":{"entity-type":"item","numeric-id":4733976,"id":"Q4733976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08625a7da2d2eb397b3e0bf02330b08f521837da","datavalue":{"value":{"amount":"+0.7955442070960999","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":"Q1122642$455CCD54-4897-440C-96AF-C495B400C5AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Henselization of a valued division algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Henselization_of_a_valued_division_algebra"}}}}}