{"entities":{"Q2233680":{"pageid":2244423,"ns":120,"title":"Item:Q2233680","lastrevid":54111320,"modified":"2026-01-26T06:43:07Z","type":"item","id":"Q2233680","labels":{"en":{"language":"en","value":"An explicit construction of the universal division ring of fractions of \\(E\\langle\\langle x_1,\\ldots, x_d \\rangle\\rangle\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7408351"}},"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":"Q2233680$DF1A1690-BDB8-4BB0-922D-2F99BE9B1028","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e5047b63d36fffb778f80a34fe2b0380ace8036","datavalue":{"value":{"text":"An explicit construction of the universal division ring of fractions of \\(E\\langle\\langle x_1,\\ldots, x_d \\rangle\\rangle\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233680$B95F2565-4CF3-4190-A060-DDFFD57D4E3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f88fa453481b6fd7d71bec6f9d9f24953e706205","datavalue":{"value":"1496.16019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233680$6D2FDC70-8319-4AA4-8B21-D3BCE1C40B11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81fb80255c9020212b3d3014268aa0fa8cc40980","datavalue":{"value":"10.4171/JCA/47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233680$AA890670-FC6D-4979-9399-D45B21C9B4B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0995ab2fdc43c8c97ab39ccea3f91973ed3525f","datavalue":{"value":{"entity-type":"item","numeric-id":392506,"id":"Q392506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$50A35B7C-B5FC-45FB-A8E1-2A0CD9BB96E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"266b8489dd8355c3b5a1bcb7389460df9a47e1f9","datavalue":{"value":{"entity-type":"item","numeric-id":509937,"id":"Q509937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$AB4884D9-B2F2-45B2-85D7-6FA4D530CBCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19503fdb9f610cd0af6e4046a14c0dee873d3c68","datavalue":{"value":{"time":"+2021-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233680$FC49AAB6-39B9-409C-B241-398CF1643C1F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d6cbe9f2dd189c97d47ab08f34e6a0b3008dc129","datavalue":{"value":"Summary: We give a sufficient and necessary condition for a regular Sylvester matrix rank function on a ring \\(R\\) to be equal to its inner rank \\(\\rho_R\\). We apply it in two different contexts.   In our first application, we reprove a recent result of \\textit{T. Mai} et al. [``The free field: realization via unbounded operators and Atiyah property'', Preprint, \\url{arXiv:1905.08187}]: if \\(X_1,\\ldots, X_d\\) are operators in a finite von Neumann algebra \\(\\mathcal{M}\\) with a faithful normal trace \\(\\tau\\), then they generate the free division ring on \\(X_1, \\ldots, X_d\\) in the algebra of unbounded operators affiliated to \\(\\mathcal{M}\\) if and only if the space of tuples \\((T_1,\\ldots, T_d)\\) of finite rank operators on \\(L^2 (\\mathcal{M},\\tau)\\) satisfying \\[ \\sum_{i=1}^d [T_k, X_k]=0, \\] is trivial.   In our second and main application we construct explicitly the universal division ring of fractions of \\(E \\langle\\langle x_1,\\ldots, x_n \\rangle\\rangle \\), where \\(E\\) is a division ring, and we use it in order to show the following instance of pro-\\(p\\) L\u00fcck approximation.   Let \\(F\\) be a finitely generated free pro \\(p\\)-group, \\(F=F_1 > F_2 > \\cdots\\) a chain of normal open subgroups of \\(F\\) with trivial intersection and \\(A\\) a matrix over \\(\\mathbb{F}_p [[F]]\\). Denote by \\(A_i\\) the matrix over \\(\\mathbb{F}_p [F/F_i]\\) obtained from the matrix \\(A\\) by applying the natural homomorphism \\(\\mathbb{F}_p [[F]] \\to \\mathbb{F}_p [F/F_i]\\). Then there exists the limit \\[ \\displaystyle\\lim_{i \\to \\infty} \\frac{\\mathrm{rk}_{\\mathbb{F}_p} (A_i)}{|F:F_i|} \\] and it is equal to the inner rank \\(\\rho_{\\mathbb{F}_p [[F]]} (A)\\) of the matrix \\(A\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233680$21EF3D01-61E1-4303-AC24-BA2C8A165442","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab917747ef2dc23749fceff57bdc49c722abe7e2","datavalue":{"value":"16L30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233680$F26739EA-29F1-4902-83C9-B580EB9F2750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d438ee2badcec5403c41406055f5321f853ced5","datavalue":{"value":"16K40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233680$39F81871-34A3-4CF3-A55A-E28F1E1B1B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233680$B16C9EFC-693C-460B-9296-074E5652A63C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"468ced751998aa7f83f3fb7491312a6baed6d0b6","datavalue":{"value":"7408351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233680$5746F3C1-8BB2-496D-B141-F7DF4F463C44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e37ed2736f7ed33c7be847cd2aacc41451a6b0a","datavalue":{"value":"Sylvester domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233680$8C5464E0-CDAC-49CF-B4CA-7429CA5C8EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867637f55b68f409fbd3f40e1b31af6f1f8cbe45","datavalue":{"value":"inner rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233680$6E149A88-FB91-4CBC-A36A-D7F6D4519060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d671155eaf0e801461543e015aa4ecd051c15863","datavalue":{"value":"free division ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233680$4E4F459E-17A8-4215-949B-76C25F9A108E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e95cbf3ccfdc037993a8874d51d03fcf23dd8905","datavalue":{"value":"L\u00fcck approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233680$C1498516-9067-46A8-A81C-71841042D14B","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":"Q2233680$9F49255D-BB62-4021-9689-9556001E198E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c76ba5d79f2c42a441b207c5bd8247a4c49fb4","datavalue":{"value":{"entity-type":"item","numeric-id":1163728,"id":"Q1163728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$F2CBF6F6-73E7-4E5E-9123-8CAEB550B9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c409aa041d45039fe8663d85f335a28434f02ed","datavalue":{"value":{"entity-type":"item","numeric-id":2521619,"id":"Q2521619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$F46C5644-DDF0-4090-9B3E-02EAAFAE20A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb73ae775bfcea23e49e4e8e40a9d29b7037d739","datavalue":{"value":{"entity-type":"item","numeric-id":5181484,"id":"Q5181484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$0CC4750F-C9C7-4882-8573-ADCF73CF9AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b6305a8e888cf727a2073da3541e6776a8313d","datavalue":{"value":{"entity-type":"item","numeric-id":3808246,"id":"Q3808246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$F08A846D-EC5F-4681-A052-4DF4347469D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e4f8736aa8aee02dca2fcc9178ac9f765639e5","datavalue":{"value":{"entity-type":"item","numeric-id":1252399,"id":"Q1252399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$BCAF1435-1F6A-49C1-BE15-04630A1E4774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4240f363f3f53d2c802ec94b9aea42138bf51d0","datavalue":{"value":{"entity-type":"item","numeric-id":4001907,"id":"Q4001907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$3496F25C-D9E8-43F8-8EBF-98F54F4F7694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc14625fae9f7d2d0f9c6c5b2d94ee797729af2","datavalue":{"value":{"entity-type":"item","numeric-id":2403442,"id":"Q2403442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$9822F3F5-BC24-466A-9D3F-81BECD6136BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed48c171a4d71000b32eeabda5abd6c9afe17e54","datavalue":{"value":{"entity-type":"item","numeric-id":6041261,"id":"Q6041261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$AA904D9C-5129-4BF0-83AA-6A418F8849A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e5d69b1bc00c821869f21673c87d1c7c6f215f","datavalue":{"value":{"entity-type":"item","numeric-id":2419259,"id":"Q2419259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$D214D30A-6D7D-4ABF-95C0-02933279C451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594fa9613641a00b1caab1da4410c2e2db2b1322","datavalue":{"value":{"entity-type":"item","numeric-id":4991944,"id":"Q4991944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$21357757-BEC3-426B-A7FE-B15852975994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c5b9ce3820dd0a96cb499a5b572f714f7a1829","datavalue":{"value":{"entity-type":"item","numeric-id":1331640,"id":"Q1331640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$376BE51B-21DD-4318-98CE-33C8111BDC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9c49bbe1be811543fac8f39a9fc1e31106549f","datavalue":{"value":{"entity-type":"item","numeric-id":1143474,"id":"Q1143474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$E1D568EB-F315-4B8B-8495-FA31ECAE9D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8675bed5a81036c6ed36a281cd228f6695b61c6b","datavalue":{"value":{"entity-type":"item","numeric-id":3957087,"id":"Q3957087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$E9CF75E8-EF75-492C-8077-957F4D16C52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c598d6273f9b0db0b446fe126198bba268b19886","datavalue":{"value":{"entity-type":"item","numeric-id":3688509,"id":"Q3688509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$7C751178-3B1B-473C-9915-463FBC39F19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33985a74d6fe6de12ab669a370688df687e30e90","datavalue":{"value":{"entity-type":"item","numeric-id":2245117,"id":"Q2245117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233680$13DC4132-C203-40F9-9A45-8264B7B6D216","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8632f98cf67a689b75efcce36e13b0aef4f095b7","datavalue":{"value":"https://doi.org/10.4171/jca/47","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233680$8950BF27-36BC-4CEF-A719-ACC96D813C20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a488ef6abf395f2543b01318cd5c2ad0840a3a2","datavalue":{"value":"W3113267828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233680$0B01FC54-9746-4B29-BD8D-0118FF3FC80B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02b6b6e1f1ecfa12f8e79c1d8e61153891c70597","datavalue":{"value":{"entity-type":"item","numeric-id":2047273,"id":"Q2047273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8480d90180e0b3b3a62acb2f6ae47237c3ab3365","datavalue":{"value":{"amount":"+0.7589786648750305","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":"Q2233680$0C3718C5-B148-49A1-93FD-36507E294940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1088b4940157cecb3d52b484ac712defa84fee70","datavalue":{"value":{"entity-type":"item","numeric-id":2909490,"id":"Q2909490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47346b7f9ddd44a637652e3d058f27185eccd3b0","datavalue":{"value":{"amount":"+0.7300321459770203","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":"Q2233680$4B63477C-AD2D-43BA-B578-1810EE07A821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55142c0ddd3b061a067fc205eff07f845a2d5f3","datavalue":{"value":{"entity-type":"item","numeric-id":4487482,"id":"Q4487482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06f72487e129e0addb2e28e82648a9bb0868087d","datavalue":{"value":{"amount":"+0.7245486974716187","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":"Q2233680$DC660D87-9757-4BC8-AC66-7DF86B56CF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31ffacbd1908ce896141ef33cd3fee57f81dde4","datavalue":{"value":{"entity-type":"item","numeric-id":791615,"id":"Q791615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be72b1fc3d2d477cb6536e72b9ab0e859ca73fb","datavalue":{"value":{"amount":"+0.7239090800285339","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":"Q2233680$E08A5ACB-4FAF-4E21-8B12-EC0E32D67666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f560b19fe1608ea042c317e61c4a7a736824d5ff","datavalue":{"value":{"entity-type":"item","numeric-id":4276095,"id":"Q4276095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9905272763e37b9c778562ab77913054ac6d5ebe","datavalue":{"value":{"amount":"+0.7140018343925476","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":"Q2233680$99A5EBB9-80E8-4787-9B86-4C8F94A8318A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233680"}}}}}