{"entities":{"Q404717":{"pageid":406484,"ns":120,"title":"Item:Q404717","lastrevid":61594536,"modified":"2026-04-11T00:21:39Z","type":"item","id":"Q404717","labels":{"en":{"language":"en","value":"Computable torsion-free nilpotent groups of finite dimension."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6339888"}},"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":"Q404717$462FF6A4-F416-434E-B212-0E5D43289210","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c9cda83e0a9cfe40c24b9388d01728fe8067263","datavalue":{"value":{"text":"Computable torsion-free nilpotent groups of finite dimension.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q404717$BF6842E4-2942-4FAF-8AE6-F9637428AA4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6935882f03c8826586d48c14d1e275e317d902b","datavalue":{"value":"1304.20052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404717$95432182-834C-4679-875D-7EBE94B199D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67de24983eb29fcec6b20c9d57f71f935c088309","datavalue":{"value":"10.1134/S0037446614030094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404717$BDCEFEE5-DDE1-4211-BEDF-6229B2154BEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c57d5c3e40dd5540a9011d4eaead11cf50b2f8f6","datavalue":{"value":{"entity-type":"item","numeric-id":404714,"id":"Q404714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$A8085403-4D1F-4840-BCB9-20032FC49081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c34b68478a00ea7936d2eb94d32d295a2cc6b87","datavalue":{"value":{"entity-type":"item","numeric-id":404715,"id":"Q404715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$9350C548-C04C-4E6E-BBF0-195AAC7928D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d2d30d0803471d590adadbe133265bf65d58cfd","datavalue":{"value":{"entity-type":"item","numeric-id":404716,"id":"Q404716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$51DAE717-15B7-4016-BB2E-0E305D276356","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$112FC6F3-A635-4AF4-95A8-7B8504B5CE48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9d8fea32a46af1bd8128cc5dcfc32073a3817d0","datavalue":{"value":{"time":"+2014-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q404717$582A9454-E647-4A77-B635-75424B00FEB5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2cbb551a350754d6dfa60f32bb064b1a12337ae1","datavalue":{"value":"One says that the dimension of a torsion-free nilpotent group \\(G\\) is finite if there exists a central series in \\(G\\) whose every section has finite dimension as Abelian group. A criterion for the computability (constructivizability) of a torsion-free nilpotent group of finite dimension is given. The existence of a principal computable enumeration of the class of all computable torsion-free nilpotent groups of finite dimension is proved. An example of a subgroup \\(G\\) in the group \\(\\text{UT}_3(\\mathbb Q)\\) of all unitriangular matrices of size \\(3\\times 3\\) over the rationals is described, such that all the sections of any central series in \\(G\\) are computable, but \\(G\\) is not computable itself.","type":"string"},"datatype":"string"},"type":"statement","id":"Q404717$B742190B-F49D-4E26-BF1C-D7A5603322F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"973eb9e9b2fb866226b5fdd4d46835fa9f7955d9","datavalue":{"value":"20F18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404717$ABADCEB7-0C4F-4674-8516-6BE3CAFE7364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404717$E3A0D528-84FE-4E9E-9565-C260C4CA56CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404717$EBC9D23B-8BAE-4AEC-BFF9-5F498DC269AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d267b79d7c375f7a21a0589ed85621f83aaaf2d","datavalue":{"value":"20F14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404717$DFEE139F-CE2E-4105-95E6-792A38B3200B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404717$132A9010-5E83-4EE2-BBCD-159AE21F710F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0924e8403e64fe57df30b712e94eaea33921f498","datavalue":{"value":"6339888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404717$2FF3394F-E48F-4217-A13F-96B55C4C321A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3070263db89404ed63ee218c68c7cce1f2feea1b","datavalue":{"value":"torsion-free nilpotent groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q404717$933CE436-FDAF-4ED4-9587-9412534D3DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226d9a9e28a7b5278d6f24f46519183a2a4af37a","datavalue":{"value":"central series","type":"string"},"datatype":"string"},"type":"statement","id":"Q404717$36023D33-1259-4086-ADEA-5855F1E61E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1a742590c8915cd1abea23272d8966db130e572","datavalue":{"value":"sections","type":"string"},"datatype":"string"},"type":"statement","id":"Q404717$F6066EA1-811E-425A-ACFE-5A39BD2741E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229375ad5f5f2048efd1c1e6d6bbc3a7618e673a","datavalue":{"value":"finite dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q404717$5915BE72-1554-42FF-A08D-CA262ED0AFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c672dcd4cb48598c033e23e26a77f66c64c5df5","datavalue":{"value":"computable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q404717$44D345DA-D3A4-43E7-A13A-370EB6D84B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32c89111fee5fe5bd8837550d71548d6435a95cb","datavalue":{"value":"constructive enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q404717$EBD38070-3F9E-4469-9760-882F7D2815BF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c75e46d52756574cc2c3b6666627a330102767ca","datavalue":{"value":{"entity-type":"item","numeric-id":338846,"id":"Q338846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$6AACBA6F-13A2-4397-99C8-3C0021750C71","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":"Q404717$B58C5ED1-2E66-429C-B9B5-9EC9817E009F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"973b025ef5deb72022bf98dad3c19b0781d955be","datavalue":{"value":{"entity-type":"item","numeric-id":5537372,"id":"Q5537372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$FFEAD6AF-515A-47F6-B238-29FD0D7D4CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c56174a70aff64badc2b7e54d9bb0130e9ddf27","datavalue":{"value":{"entity-type":"item","numeric-id":4956005,"id":"Q4956005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$8AB2D255-1448-49DD-B077-E0CCA8CAE36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b3b24c605697df611e38723e0d4f161b67d2140","datavalue":{"value":{"entity-type":"item","numeric-id":5675350,"id":"Q5675350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$0B1E7465-7C0D-4F02-86B6-88E8EFABB0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b12ab8ee6bbfdc334b54c4499f792d8660f08c","datavalue":{"value":{"entity-type":"item","numeric-id":1825277,"id":"Q1825277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$9BBB3EB2-7145-41DC-A2AE-DDE57423F2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb097d22abdbdfbdbc2562a5c291f78b95ccf95f","datavalue":{"value":{"entity-type":"item","numeric-id":910855,"id":"Q910855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$CFD14213-62E8-4987-B7FC-AE5E6FEC545B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7928c8c4632a64ae3548d3c45cb0a3e739a4299","datavalue":{"value":{"entity-type":"item","numeric-id":2709319,"id":"Q2709319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$858C5432-7E92-4B14-934F-3868FA679EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066e44058f96a62c3d04f8938052e3cbd32d65c5","datavalue":{"value":{"entity-type":"item","numeric-id":5715085,"id":"Q5715085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$1A434507-F6E7-4A8E-852E-836CF74AE296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f808a30bad3ce7884ffa5351b3e47e78b25878d2","datavalue":{"value":{"entity-type":"item","numeric-id":5715086,"id":"Q5715086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$DF70A59D-03CB-4DDF-B42F-9C9C54886321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6370b36d485114c6216f0c2de5d1af83f3d75a6","datavalue":{"value":{"entity-type":"item","numeric-id":3544710,"id":"Q3544710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$0575C7A2-52E7-4474-BE6D-8B1BE607C442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5431293e9e30db4f6d2fd6855aafc6372e05beae","datavalue":{"value":{"entity-type":"item","numeric-id":3590611,"id":"Q3590611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$E8361790-0011-487D-B933-FC35F06B7162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"859b13b724ab10e76266d38f2ff1b670d8ad72ea","datavalue":{"value":{"entity-type":"item","numeric-id":5391542,"id":"Q5391542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$4DF8E6AD-1CC2-4D7C-A746-1BB2D2A799CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"082c60a60ad6fe65c8177a124b6f4dc0c1a33fdc","datavalue":{"value":{"entity-type":"item","numeric-id":579244,"id":"Q579244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$0AD6CF69-E4E3-4991-8081-A4E13690D167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e09a6db3ed68dc316fd5d239f743604033f1ea","datavalue":{"value":{"entity-type":"item","numeric-id":1937754,"id":"Q1937754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$F9484018-8412-4E39-9576-9FC725E7A3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7052e136ef45381b7573adf4e904649228fe9980","datavalue":{"value":{"entity-type":"item","numeric-id":3342725,"id":"Q3342725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$9B9567E4-F333-43BD-97E8-DC8ED5FA2BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ee5e3ccb9df347fdb38d61109351ad2ffac26d","datavalue":{"value":{"entity-type":"item","numeric-id":5596230,"id":"Q5596230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404717$4B656ED4-8F9F-4A69-B155-1D7FC5D32847","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"469a3c53250bed12659c14c8df1577911ec9d056","datavalue":{"value":"https://doi.org/10.1134/s0037446614030094","type":"string"},"datatype":"url"},"type":"statement","id":"Q404717$ACBCB24E-4FF8-41E2-9F8A-195132E7D17B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb45aa1b76c567000b33a09e5aab964337b4fa00","datavalue":{"value":"W2093567103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404717$B7DEC652-96C0-4616-92FD-ECF073CF1DDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88b36e116d62b0d47c4aa2f6cb088214e85edb8","datavalue":{"value":{"entity-type":"item","numeric-id":3544710,"id":"Q3544710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"babbe07fc9dc22b4c5ba40fd7198f7ec477d8b57","datavalue":{"value":{"amount":"+0.8263916969299316","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":"Q404717$4548E1CB-9684-4835-9101-E72E3B35AF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"088ba0556a632f933bef73de8bb809d681887a26","datavalue":{"value":{"entity-type":"item","numeric-id":4731365,"id":"Q4731365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e1281f6e61e163565b999a39a45749b238c77f","datavalue":{"value":{"amount":"+0.8242877721786499","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":"Q404717$B9F3DD0D-2857-44C9-B46C-BC6DCF4C18FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bb844682240027f291a84380443d4f33ee6208d","datavalue":{"value":{"entity-type":"item","numeric-id":639669,"id":"Q639669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4f9f72fb106d50592a574f89afff642c6b231f","datavalue":{"value":{"amount":"+0.8128789663314819","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":"Q404717$2748E6EB-DCB8-4F4C-8C55-B3E4A945F223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273795d9d81afc26ca6b49c79a2166a65bd2c58c","datavalue":{"value":{"entity-type":"item","numeric-id":3380180,"id":"Q3380180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c84b45a54d511abfea530b394b33504d9751a560","datavalue":{"value":{"amount":"+0.8055001497268677","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":"Q404717$27CBE429-CD7F-415F-8DA7-B841F1B46930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cbdb4351fb99f9e960a6fe71cbdd232179edea2","datavalue":{"value":{"entity-type":"item","numeric-id":3380206,"id":"Q3380206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a481da7f14329fc2f597921e69e146b903c2f096","datavalue":{"value":{"amount":"+0.7944101691246033","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":"Q404717$1CEA9696-0E75-4EF1-BCB1-9870910F2497","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computable torsion-free nilpotent groups of finite dimension.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computable_torsion-free_nilpotent_groups_of_finite_dimension."}}}}}