{"entities":{"Q5926299":{"pageid":8103101,"ns":120,"title":"Item:Q5926299","lastrevid":93405698,"modified":"2026-06-05T04:20:36Z","type":"item","id":"Q5926299","labels":{"en":{"language":"en","value":"An algorithm for the Quillen-Suslin theorem for quotients of polnomial rings by monomial ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1570908"}},"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":"Q5926299$709B2502-DA42-471C-A373-CB06ED24F9EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6243f11886e6a30470b9edbdab696afc2e56627","datavalue":{"value":{"text":"An algorithm for the Quillen-Suslin theorem for quotients of polnomial rings by monomial ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5926299$D1700246-E73E-4F88-A7F0-8BF5B2E4C7D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6e648831bf0220c370a8004b7f5623ecf56c778","datavalue":{"value":"0984.13019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926299$C0CEC843-AB8A-4581-8CDB-F9B083502064","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79fd7eb411e354d0400cd2c755e78dd180a3d908","datavalue":{"value":{"entity-type":"item","numeric-id":706186,"id":"Q706186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926299$8785DFC3-1D9C-47E1-9878-5D5D8673A010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53cafe6ff33582eb1ff27ad5dbf45695db11bb67","datavalue":{"value":{"entity-type":"item","numeric-id":586284,"id":"Q586284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926299$BF41EAB8-17AC-42E9-9FB3-6467D4DEEB95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926299$81BDF944-1ADF-48DD-BF6B-6A0EC929447C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ee4dfb18e57fc7a6a8eb63ff836ee4b24d5522f","datavalue":{"value":{"time":"+2002-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5926299$A7EB4864-2DF8-45BF-92B9-A0931FD28F86","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3a5b8522bec9f59977d23a234dc8ca7c2aed43eb","datavalue":{"value":{"entity-type":"item","numeric-id":586285,"id":"Q586285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926299$C91D627B-90F7-4460-B827-531BCFA202A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926299$B2BE73C3-4FA9-45B2-AB6B-B4A80325C30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6c0d35e6fccd0fb471822cfa3b5bcd398a274a","datavalue":{"value":"13C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926299$160B12DF-8116-426B-AAEF-CE7950DF58C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926299$27D18F1D-90D8-4EB1-9717-4B9EBC2B2772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f7f43158b42f0a7240ceb9aa177f89dce451dc7","datavalue":{"value":"13-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926299$836D7A42-7D50-4F92-AA55-6DDAA7DDC4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5408cf94c8585439fdc1c7736fd361405fcf2194","datavalue":{"value":"13F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926299$A16B084F-1A78-46AB-9D74-CABD4F5358D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"669dcd55d49ec671d43689a7c3919be5e49548f4","datavalue":{"value":"1570908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926299$7E99664D-29F9-4507-BEB5-84DE5CF1D39A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"152b51a76bc3f2ffd0d6ea5cc70d9b732a88636f","datavalue":{"value":"monomial ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926299$ED38A94E-4969-4FB1-9344-F6E0F6101A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd3203d3c232274215c2e15163285d084153b6a","datavalue":{"value":"free module","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926299$05B3FEBF-B7CC-47C8-A4B1-572D22ED622D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926299$A86FB847-0DA9-4F62-8348-CEFDF3B4CAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59f7e2f56ac77cae769d49fdfa35542ad1fafaec","datavalue":{"value":"square-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926299$8EB717F4-93FC-4F75-A4D4-C2346E98C6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"949c3521d17ee6522eed03310657728c8f81f90c","datavalue":{"value":"Quillen-Suslin theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926299$BE64B3DD-B2FA-4915-8E36-4F14170E5891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9dac8a40181bab8a7af2767a91e63ccac5eecb0","datavalue":{"value":"Stanley-Reisner ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926299$36BCFE27-2343-4484-8580-F0A886CE5FC6","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":"Q5926299$BD0328BD-0B53-4F43-B3AA-7DCFBD5D81EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c63f41c5128a27504e8599976119b0de575407ff","datavalue":{"value":"https://doi.org/10.1006/jsco.2000.0367","type":"string"},"datatype":"url"},"type":"statement","id":"Q5926299$4C230F85-88A1-4FAF-A395-74C3CBE291FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5f49e3d1b0c908c1507395e1c25fe713530e550","datavalue":{"value":"W2086266104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926299$AB431917-6AAE-4583-A3EB-690B5ADEBAFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de464f4aafb4e9508ba256e2980a33d9d5749fdf","datavalue":{"value":{"entity-type":"item","numeric-id":4305609,"id":"Q4305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926299$FEAB5B92-C569-488F-B101-4C89E9B74109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ba381d8c955ceef062afe05572a54aa84d3f29","datavalue":{"value":{"entity-type":"item","numeric-id":3745932,"id":"Q3745932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926299$D5B9F528-F847-4643-BA92-73CAF1135FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77a905605483a3cefece4864103bc0a966ffa0ef","datavalue":{"value":{"entity-type":"item","numeric-id":2366722,"id":"Q2366722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926299$D95DD184-15D0-45D7-A1F6-6BD95DDE1387","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":"Q5926299$D207DDC8-B91A-43E2-AD93-6F46C2F72287","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":"Q5926299$A55952F5-5B16-4EB2-A8C3-FA30BFEE2B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bf5f64df866a6fdd552718bc0e9e2937277ada","datavalue":{"value":{"entity-type":"item","numeric-id":1358921,"id":"Q1358921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926299$0EB3445A-CC0E-41D0-A6F7-A1CD7D082C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0e7ceb3ba5e626f745dee569b3a8081d7dca42","datavalue":{"value":{"entity-type":"item","numeric-id":1183295,"id":"Q1183295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926299$E537916E-F69B-4E20-A3B8-BB03780D9983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d13be78fe2738a88632147141983e4f62279d0","datavalue":{"value":{"entity-type":"item","numeric-id":5896310,"id":"Q5896310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926299$AC6C2CBB-4404-4ED9-894C-B8E3AAFF7E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31c10fb910d388848ece70cd529077a85be1c516","datavalue":{"value":{"entity-type":"item","numeric-id":4011060,"id":"Q4011060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926299$F2D81492-6138-426A-A640-34919B92C435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f43441983a8a205baa3c8e0620377931f70edb6","datavalue":{"value":{"entity-type":"item","numeric-id":1835707,"id":"Q1835707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926299$7F4C6844-8C5E-432A-9958-9C534B4BB312","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":"Q5926299$240A389C-E9B0-4F75-84D8-DA93C7B5C395","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"400b4906ce203edb36adc74fba5611e355b03b18","datavalue":{"value":"10.1006/JSCO.2000.0367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926299$24EBF382-3B8D-4248-9DA5-3A5EA4A00524","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb3cb3d93953da8d2571bf4dbf525e410e799d7f","datavalue":{"value":"The Quillen-Suslin theorem states the following. Consider a \\(m\\times m\\)-matrix \\(M\\) with polynomial entries from \\(k[x].\\) The columns generate a submodule \\(P\\) of \\(k[x]^m.\\) If \\(P\\) is projective then the submodule \\(\\ker(M)\\) has a free basis. NEWLINENEWLINENEWLINEThe authors generalize this result to the case that \\(k[x]\\) is replaced by the quotient ring \\(k[x]/I\\) where I is a monomial ideal. An algorithm for the construction of a free basis of ker(M) is presented. The first step is the redution to the square-free case. Ideas of Vorst are used to represent the square-free quotient ring as a pullback of two quotient rings. The construction uses a Stanley-Reisner ring of a simplicial complex. This idea of two rings is repeated until polynomial rings are found. Here the original Quillen-Suslin theorem can be used and the algorithm works backward to reconstruct the free basis of the original \\(\\ker(M)\\). The lifting algorithm involves Gr\u00f6bner bases. The last section illustrates the algorithm by an example.NEWLINENEWLINENEWLINEThis paper will be interesting to people working in commutative algebra and computational algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926299$CF63AC30-FD30-4705-A2A6-1E40CBB47F22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187820e740e00f3bcb84771b89d07b787d82a8c3","datavalue":{"value":{"entity-type":"item","numeric-id":1183295,"id":"Q1183295"},"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":"Q5926299$B64FBBBD-3EF7-458B-A605-38AD632ABD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e6ac709048f463ea9820e7d81402557d44c378","datavalue":{"value":{"entity-type":"item","numeric-id":3400788,"id":"Q3400788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577578a69a87d9baf6c6ae271dc533d2836c4c88","datavalue":{"value":{"amount":"+0.907966673374176","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":"Q5926299$FAC872D7-263A-461D-8748-9FCEC73FA8F1","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":"6b058be95097984efd1d8335c1ec50d0f405d971","datavalue":{"value":{"amount":"+0.894710123538971","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":"Q5926299$D6444E20-B3DC-44B4-A909-8793E0F180E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70beeef554d6147887a096bfacda5d39480b757a","datavalue":{"value":{"entity-type":"item","numeric-id":3567637,"id":"Q3567637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b058be95097984efd1d8335c1ec50d0f405d971","datavalue":{"value":{"amount":"+0.894710123538971","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":"Q5926299$0BF75133-A090-4E5C-8942-7BADD9A1B4B0","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":"a933e897fc1114b2752dfb11ef3278ca2d84b023","datavalue":{"value":{"amount":"+0.891507625579834","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":"Q5926299$56B18AE9-4ECD-40E5-985D-9CD4E0233013","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for the Quillen-Suslin theorem for quotients of polnomial rings by monomial ideals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithm_for_the_Quillen-Suslin_theorem_for_quotients_of_polnomial_rings_by_monomial_ideals"}}}}}