{"entities":{"Q1901892":{"pageid":1912634,"ns":120,"title":"Item:Q1901892","lastrevid":43408312,"modified":"2025-07-25T13:33:25Z","type":"item","id":"Q1901892","labels":{"en":{"language":"en","value":"Unitriangular groups and undecidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 815630"}},"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":"Q1901892$B7FAF8DB-8CA6-4DD0-9720-7CED6740B2C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b739df0f6a8fc1063a74bb7f3b8fb2a20ca0b98e","datavalue":{"value":{"text":"Unitriangular groups and undecidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1901892$E8AF7139-8F6B-43EC-BCBB-4AD9A9348FD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf4443c4f5fdeb21acc1af9cb7bb69c16d1a3011","datavalue":{"value":"0831.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901892$3613AE94-FCCF-4DEC-ABA0-80665012F603","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901892$D875B8A3-0EDD-4E13-9B54-B979822ADC74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c98862405da01934b96b9633d4b6d492f4e24344","datavalue":{"value":{"time":"+1996-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1901892$4818AA28-738A-41AA-B5BB-635D9D8BFE89","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"84a1f3c04539b996884417f4df869639c1740911","datavalue":{"value":"For an associative ring with unit \\(R\\), we denote by \\(\\text{UT}_n (R)\\) the group of all upper unitriangular \\((n \\times n)\\)-matrices over \\(R\\). Since the group \\(\\text{UT}_n (R)\\), obviously, is interpretable in the ring \\(R\\) without parameters, \\(\\text{Th(UT}_n (R))\\) reduces by Turing to \\(\\text{Th} (R)\\); in particular, irreducibility of \\(\\text{Th(UT}_n (R))\\) implies irreducibility of \\(\\text{Th} (R)\\). \\textit{A. I. Mal'tsev} [Mat. Sb., Nov. Ser. 50(92), 257-266 (1960; Zbl 0100.014)] proved that the ring \\(R\\) can be interpreted in the group \\(\\text{UT}_3 (R)\\) with parameters; so, hereditary irreducibility of \\(\\text{Th}(R)\\) implies hereditary irreducibility of \\(\\text{Th(UT}_n(R))\\). In Sib. Mat. Zh. 33, No. 4, 24-29 (1992; Zbl 0781.03021), the author had shown that the irreducibility of \\(\\text{Th} (R)\\), generally speaking, does not imply the irreducibility of \\(\\text{Th(UT}_3 (R))\\). Moreover, for all Turing degrees \\(d_1\\) and \\(d_2\\) such that \\(d_1 \\leq d_2\\), there exists a ring with unit \\(R\\) such that \\(\\text{Th(UT}_3 (R))\\) has the degree \\(d_1\\), and \\(\\text{Th} (R)\\) has the degree \\(d_2\\). But if \\(R\\) is either a skew field or a commutative ring, then \\(\\text{Th(UT}_3(R))\\) and \\(\\text{Th} (R)\\) are recursively equivalent.   In this article we strengthen these results.   Theorem 1. If \\(R\\) is a commutative or integral associative ring, then \\(\\text{Th} (R)\\) and \\(\\text{Th(UT}_n(R))\\) are recursively equivalent for all \\(n \\geq 3\\).   Theorem 2. For all Turing degrees \\(d_1\\) and \\(d_2\\) such that \\(d_1 \\leq d_2\\) there exists an associative ring \\(R\\) such that for any \\(n \\geq 3\\) \\(\\text{Th(UT}_n (R))\\) has the degree \\(d_1\\), and \\(\\text{Th} (R)\\) has the degree \\(d_2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901892$F8DC284D-BE43-4C6F-889F-01BC96E27945","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901892$A3088D12-0AFC-4E3B-8B8A-595BB33CF3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901892$52F51EF0-51D5-4221-9344-5C5CA14D276F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901892$EEF38B4F-8C83-46E7-A499-B2E05670D781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901892$AF32F713-6018-4D07-8CEA-BBBA072EA250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901892$36872F16-8E27-4EE6-A0CD-9EE51854E14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a7e67a2561ebefb856e913da9b63666419f7e30","datavalue":{"value":"16B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901892$6FE3224B-BB15-4798-AB62-BB1F0A213D4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"476e1cd9a929e9589683d454df87898e65099ca6","datavalue":{"value":"815630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901892$A79361AB-C1B6-465F-9351-D511C01B5B42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f326d4f746b530d73b64ebd62709ede00df4fe42","datavalue":{"value":"recursive equivalence of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901892$1CD785B1-97ED-4331-B4A4-AD36B85CE363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901892$9749D39A-387D-425E-B81E-E52DE62CB9BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e55631f1dd9346a90b88323dc810f2bdfae57d","datavalue":{"value":{"entity-type":"item","numeric-id":593287,"id":"Q593287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901892$A01DD244-DD31-4913-A52D-312F9D1CD250","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":"Q1901892$F4BF68F1-2769-44C0-8BBA-5FBBD4249462","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49906bdb12bdb178e12cb678d2e2dbe6e9cfbfc3","datavalue":{"value":{"entity-type":"item","numeric-id":699745,"id":"Q699745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de65d258d7b1bebcb8f85c393382b4f1472b9f50","datavalue":{"value":{"amount":"+0.905885","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":"Q1901892$C5758C21-BA84-4B8D-8C54-49824FFAC5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c10b38f193bbc866b1a48541e1615fda27f5914e","datavalue":{"value":{"entity-type":"item","numeric-id":4851407,"id":"Q4851407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf2617f8d1c30306fbd78afa9778ce97daca6f2c","datavalue":{"value":{"amount":"+0.8996145","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":"Q1901892$6F005176-4F98-41F1-A652-421772EE2845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bb0dcf4dc3b7db7c17412c145bae753f3a7da0d","datavalue":{"value":{"entity-type":"item","numeric-id":4700631,"id":"Q4700631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ea6a87a68ad9e4e22dc5e7ab954838da610737","datavalue":{"value":{"amount":"+0.89886653","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":"Q1901892$2B996F9C-7105-488B-B61E-6C33C9DABB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec11b0e27bfd92bb682dda53517480ee2ba646c2","datavalue":{"value":{"entity-type":"item","numeric-id":1331918,"id":"Q1331918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d939b2d6765c7f57a5b05c54b7943431c766e7cd","datavalue":{"value":{"amount":"+0.8964399","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":"Q1901892$595E7FF6-6999-4191-BCFC-8799CFB6B505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d569a86a84b3c3ac6d28a6f1177c6c530b9de8","datavalue":{"value":{"entity-type":"item","numeric-id":688804,"id":"Q688804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d00196a677f481bb04ab5d412ac0f2267e7e0baf","datavalue":{"value":{"amount":"+0.8961174","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":"Q1901892$DB102793-88D1-4A2B-9E05-C90A32EC30F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f364676489c51bf8f80b8de56198eab1783ec15","datavalue":{"value":{"entity-type":"item","numeric-id":5119226,"id":"Q5119226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd4f016cc5e27adcf4cc881b0675810d7d247e1","datavalue":{"value":{"amount":"+0.8926237","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":"Q1901892$4DF7CEED-D862-4DF7-99BE-661288739614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4509bc739a48c1887656969a7146242ede0f0efc","datavalue":{"value":{"entity-type":"item","numeric-id":4530220,"id":"Q4530220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a6a99c5c979ea3c8a38fd123bbbdddc1361ce1","datavalue":{"value":{"amount":"+0.8924744","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":"Q1901892$E4133073-9616-44CE-AA08-DDA1966945FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a0afe10abc0b4260800750131749c5ab5c341b","datavalue":{"value":{"entity-type":"item","numeric-id":2572935,"id":"Q2572935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7dff681205c5c4535243d4ff2b4589d41f19d2","datavalue":{"value":{"amount":"+0.89174575","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":"Q1901892$2E5C9F41-E31D-4CDA-B0E4-73F0507295C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdfd7e9653102db68a92f3b7370f63abbef9720","datavalue":{"value":{"entity-type":"item","numeric-id":5956180,"id":"Q5956180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1537771b999dd005dca99c39b18c6c74c6152687","datavalue":{"value":{"amount":"+0.891372","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":"Q1901892$285106B9-EBA6-4AD4-A9EA-5B9F560B4DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f2ba7e911f2de2933055568c4f72a0b407eaf23","datavalue":{"value":{"entity-type":"item","numeric-id":1280689,"id":"Q1280689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909f551f1c4f488dadd4412470515bd2c1591efa","datavalue":{"value":{"amount":"+0.8911741","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":"Q1901892$9CDF7673-A85E-458D-BF73-D20E7A9D0280","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1901892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1901892"}}}}}