{"entities":{"Q1183295":{"pageid":1194044,"ns":120,"title":"Item:Q1183295","lastrevid":46251637,"modified":"2025-12-24T09:58:08Z","type":"item","id":"Q1183295","labels":{"en":{"language":"en","value":"Algorithms for the Quillen-Suslin theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33048"}},"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":"Q1183295$167CC124-4765-49D0-AAA1-623F74CD42C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e275cfa9ef17da2a37e9f0b5b44ccb31305ccf3","datavalue":{"value":{"text":"Algorithms for the Quillen-Suslin theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183295$F2E71F08-BE6E-41AF-BD83-B31DE4397F4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b511c88be59be19a4109c2de9d03a3aec4a76e44","datavalue":{"value":"0747.13020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183295$05AF1F9C-F1A6-4C53-8460-54C33F91A751","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9849e69b56962c161d9b0bbbc7cade4d796df47","datavalue":{"value":"10.1016/0021-8693(92)90189-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183295$15FE0576-A7D0-453D-BBC9-3C84DE6F8D5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83629dc86e94201056b05599340a91a7de73d8e3","datavalue":{"value":{"entity-type":"item","numeric-id":321274,"id":"Q321274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183295$1A406F68-F514-431E-B2A9-52C426784C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b55f4b51dd558ecbd909fd3ab93c25f602f6c0d4","datavalue":{"value":{"entity-type":"item","numeric-id":161073,"id":"Q161073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183295$5B8515FC-9EA2-4DD5-8BA3-9756433976DA","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":"Q1183295$5F86ADBC-8E4A-4B27-886E-7597CF4C7717","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183295$34D11D06-F357-44D8-8711-42294057F4CB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2ee175ce7fba0181ab36b2d2bd21744a11356b49","datavalue":{"value":"Let \\(R\\) be the polynomial ring in \\(n\\) variables over \\(\\mathbb{C}\\) and let \\(A\\) be a unimodular \\(k\\times m\\)-matrix \\((k\\leq m)\\) over \\(R\\). The authors present an algorithm (using Gr\u00f6bner bases) for computing a unimodular \\(m\\times m\\)-matrix \\(U\\) (over \\(R\\)) such that \\(A.U=(I_ k\\mid 0)\\). This implies a constructive proof of the Quillen-Suslin theorem. Moreover, this algorithm is applied to solve the following problem: Decide if an \\(R\\)-submodule of \\(R^ s\\), given by a finite set of generators, is free and (if it is) construct a \\(R\\)-basis of it.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183295$02ADB27E-23F1-4BD7-A013-CEA34F1220B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183295$89970AD1-2162-4118-91A2-8410977EAA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183295$8D777950-6D83-4631-869B-258A7CF4D9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6c0d35e6fccd0fb471822cfa3b5bcd398a274a","datavalue":{"value":"13C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183295$D33871B7-0C9D-45D5-A333-D15A55B6ABE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3954531782f2c668ac0873939a613f12a3773d4","datavalue":{"value":"33048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183295$A8CFB5AA-836D-47D5-8DB6-3CE1B6EEA938","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e90385db31fa098f1b093a3714d89d117d70a04a","datavalue":{"value":"freeness of projective module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183295$565E04FB-F5CD-48E8-8163-403D157B74A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183295$D649EFC5-C8DC-4EEE-8438-B1D382B79EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"949c3521d17ee6522eed03310657728c8f81f90c","datavalue":{"value":"Quillen-Suslin theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183295$5F0DDFCE-89C2-4594-A8EB-9987DDF94714","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"098be66bba7b806dcfe48823e12663fd34dba1d6","datavalue":{"value":{"entity-type":"item","numeric-id":229601,"id":"Q229601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183295$243D40C1-C49E-4179-8D1E-7FE7C47A1EE0","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":"Q1183295$6AA6A80A-8C36-401E-BD3E-2DFC040E6200","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73064e74aed109241b5438fd43722183ed9fd0dd","datavalue":{"value":{"entity-type":"item","numeric-id":1204260,"id":"Q1204260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183295$748AF6C1-818B-46DC-977E-4E33A739D874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183295$8CB0059D-B382-4D97-B833-76FE5EBB18BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b357f6fc8ed64a6529289a8081d904c5f33d6b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3353156,"id":"Q3353156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183295$F357F543-79F9-4C00-A816-4AFD85916B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e029de44b5d238652a253e8a815a22f4ee5cfcd5","datavalue":{"value":{"entity-type":"item","numeric-id":3676243,"id":"Q3676243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183295$651BF356-23E4-4168-AD49-3AE8ED218C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3120b21b0cc71054381a183461ec98245b3cb059","datavalue":{"value":{"entity-type":"item","numeric-id":1244268,"id":"Q1244268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183295$0DCF4C73-8A91-42B4-BFC9-48854BEA315B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd43fe89a6fb34566acdca80ac011b5219da9ef","datavalue":{"value":{"entity-type":"item","numeric-id":3826659,"id":"Q3826659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183295$581B3619-50E0-4980-86D7-43CF59F52C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2430e8d219b728aae85e0334bc88af59515aaa","datavalue":{"value":{"entity-type":"item","numeric-id":3203128,"id":"Q3203128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183295$3D4A7602-479A-422D-A77F-CF549BB5CFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57881e54af881bc60ca495ee110644cbe6e4f4dc","datavalue":{"value":{"entity-type":"item","numeric-id":1090369,"id":"Q1090369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183295$577B13EC-8B86-44E9-A76B-3879930B80FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55335eab032a54025a37ea16b86e637c557fc1b5","datavalue":{"value":{"entity-type":"item","numeric-id":3346427,"id":"Q3346427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183295$5258A2CB-A36D-4BE6-8A44-75596135C495","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cb3766c00a5b21d8b0dd64e2c18ab635103e06","datavalue":{"value":{"entity-type":"item","numeric-id":5926299,"id":"Q5926299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6a9779f8ccde1578f469bf255cdc32c07daf05","datavalue":{"value":{"amount":"+0.9094169735908508","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":"Q1183295$F8664089-52E6-4C90-B3D1-BD8A72B5E116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65c8e32c1be32ffc02868b67c3f04305d293d74","datavalue":{"value":{"entity-type":"item","numeric-id":1975382,"id":"Q1975382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e90ba3141dabdd693957e2eb43af042053399b7","datavalue":{"value":{"amount":"+0.8887785077095032","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":"Q1183295$53DA598E-7F17-450D-ACD0-59C864FCD816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb529227670c4373f6f105d5af2778c4fc52b5b","datavalue":{"value":{"entity-type":"item","numeric-id":1358921,"id":"Q1358921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5c664534e7d9a58034b473f4530a35e59aa320","datavalue":{"value":{"amount":"+0.8658697009086609","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":"Q1183295$B875B47D-ACBA-4E62-9B21-2F53BCCD2F7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1183295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1183295"}}}}}