{"entities":{"Q2496144":{"pageid":2506887,"ns":120,"title":"Item:Q2496144","lastrevid":49876228,"modified":"2026-01-11T12:56:54Z","type":"item","id":"Q2496144","labels":{"en":{"language":"en","value":"Results on undecidability of isomorphism of forms over polynomial rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5040215"}},"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":"Q2496144$1D5F031E-6722-4373-89D7-3376350E6CA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f241ca8ed805db25c3af819f46dc6541812ad0d8","datavalue":{"value":{"text":"Results on undecidability of isomorphism of forms over polynomial rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2496144$27B42AF4-8630-42FB-9718-0127F713C46A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cacd1e287464c5a9c6d8c3c83295ccf1fb0095d9","datavalue":{"value":"1090.11073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496144$1E408351-C8EE-4BAD-8562-A7B744D42C6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63391e607961548eb323947d3c52ab4e4039318b","datavalue":{"value":{"entity-type":"item","numeric-id":584042,"id":"Q584042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496144$CC67D920-35C3-4012-BDFB-ADCF15F045D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d8b9c25d39125787a97e1e49dc79887dae64852","datavalue":{"value":{"entity-type":"item","numeric-id":587400,"id":"Q587400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496144$4B164628-E73A-4BAE-A30F-0A28494DD291","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496144$C2354B90-2A1E-434C-A564-2058BEEB3E14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"695354130dab3a786d23413cb8a043a7f99b90ed","datavalue":{"value":{"time":"+2006-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2496144$838B7F5B-BFAA-4769-B3C6-D0EAF1E2A98B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"83539e276cfca5e484bda56db16d38b5682a8619","datavalue":{"value":"F.\\, Grunewald and D.\\, Segal proved in 1980s that simultaneous isomorphism of any set of polynomial forms over the domain \\(\\mathbb Z\\) of integers is algorithmically decidable. They did this by finding a fundamental domain for the action of algebraic groups over \\(\\mathbb Z\\) giving isomorphism of such forms. This solves the problem of decidability of isomorphism of finitely presented nilpotent groups, of rings which are finitely generated and a number of other problems. The authors consider isomorphism of forms over polynomial rings. In general, a fundamental domain does not exist. They show the undecidability assuming a hypothesis on units in certain quaternion rings. Assuming this, it follows that isomorphisms of modules and of affine algebraic varieties are undecidable in the general case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496144$97A15C02-1A6B-4973-B756-99FACB7AC3E0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496144$1844FDD3-A8A7-47F6-9D45-C7A3CBFA53C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496144$20B4DB8F-FBB5-45A6-AC50-718E23289F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1fd98ee712f85e43ff9029fa787b8edfa82ce1eb","datavalue":{"value":"11E76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496144$36CFC8D0-AEB7-4009-A350-9E15C590EC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"761024d34be2f704afd714dbab1ead3e4dd5efe7","datavalue":{"value":"14A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496144$7F9FD799-E676-496F-B25B-1A8DEE259D2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"825bfc63cd953816a704ad4001087bd27cb4b873","datavalue":{"value":"5040215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496144$5D639AAB-63FA-4DBC-9DB8-0A2CCBCEDD06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8f6391ce037b7e97d9e47ff8ff2c68b18e74789","datavalue":{"value":"quaternion algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496144$1154F211-7811-4E05-899C-8F32FC69AE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a43431ba9e4929e37a680ba53b80263986e30f9","datavalue":{"value":"equivalence of forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496144$F7FF56E7-242C-4657-BC84-248A261280AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c28ce497dba22b895f7fc21014fcb4fd21b3986","datavalue":{"value":"diophantine decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496144$D106F44C-735F-438E-913E-0C279089C382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6e2939bc18ce80077d7bbade5c5ac1562e07210","datavalue":{"value":"regular equivalence of affine algebraic varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496144$3B6013D6-7312-4E7A-BD71-D0CCE593A10F","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":"Q2496144$4BF0F35C-884D-4C47-9348-FAECD0ADB762","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5f63dfc00f55bb36acd647de7e13e2bdb1f2d22","datavalue":{"value":"https://doi.org/10.1007/s00012-003-1816-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2496144$A24D473F-5F1D-4D3C-B9C9-8FD19376E4F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72c29dd2fc0bd3a202826daf0ca6030c7f365cf3","datavalue":{"value":"W1993403339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496144$F0D245BD-F883-4F00-89A2-517D54F6DBA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ab5e57aac6471dc733dfdc78aeb233999175677","datavalue":{"value":"10.1007/S00012-003-1816-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496144$1776E34F-95C2-4F1C-93FC-47A13E77D4AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6882a88809172ac0891533e97e2f9f3ad01b634a","datavalue":{"value":{"entity-type":"item","numeric-id":4829365,"id":"Q4829365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb2cad284036cf58beb8cef30555a6d46f6d1c2","datavalue":{"value":{"amount":"+0.7539094686508179","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":"Q2496144$4A00CA49-4F99-4E55-9432-04E0FA791B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ae451be1974ec4e628ddd61c93c99f474e522b","datavalue":{"value":{"entity-type":"item","numeric-id":4265563,"id":"Q4265563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6963f5488e290b9136d8b0e6f3fd55eee64c6519","datavalue":{"value":{"amount":"+0.7373291850090027","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":"Q2496144$4A8BB914-A1FB-4556-AF2B-D03CCA70B3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c252ab86dd7f25031877eed7ab966a735062927","datavalue":{"value":{"entity-type":"item","numeric-id":4829701,"id":"Q4829701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c56f77d8efe897432052b88c88a249819792a6c","datavalue":{"value":{"amount":"+0.733307421207428","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":"Q2496144$AF887496-588E-402F-9EA5-74082B83579E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618c15838d0276420e87c91426e125ef2f43fb21","datavalue":{"value":{"entity-type":"item","numeric-id":5288033,"id":"Q5288033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75a5c0412cbeb53501ba8d21c369d3772ac68a8","datavalue":{"value":{"amount":"+0.7293278574943542","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":"Q2496144$8FFD93E7-61BD-45B8-B9C4-B58DDE223789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc3d618df76ee452f13f3e799a67322dd825936","datavalue":{"value":{"entity-type":"item","numeric-id":3784041,"id":"Q3784041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2994d3399ceafef6fa683c8812c9ea21410063e4","datavalue":{"value":{"amount":"+0.7283215522766113","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":"Q2496144$17C1342D-4F1A-4042-AF26-6A1A7E46A392","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2496144","badges":[]}}}}}