{"entities":{"Q1121340":{"pageid":1132089,"ns":120,"title":"Item:Q1121340","lastrevid":66802563,"modified":"2026-04-12T12:57:54Z","type":"item","id":"Q1121340","labels":{"en":{"language":"en","value":"Symbolic powers of monomial curves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4103255"}},"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":"Q1121340$4C9BB416-E83B-47CE-9BAD-60A581DC8A78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4880a6873cc652c08e3908798c66c8f45329dce","datavalue":{"value":{"text":"Symbolic powers of monomial curves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121340$095E9404-4C56-480E-AD56-F84CDCE4D42E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f229e3c9a056aa7b317744dd1d18e76c803e257a","datavalue":{"value":"0674.14038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121340$82E73EB3-0A52-42B7-8B7F-BC4CD694AD80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90e7800fcc3e47557cbddf06ae5b535395d89c4e","datavalue":{"value":"10.1016/0021-8693(88)90119-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121340$3FB26A7A-D7B5-4992-9282-19C5DBA4859A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f162a365b204fccf5e9bb5c2dcfd4b10f31e740","datavalue":{"value":{"entity-type":"item","numeric-id":190538,"id":"Q190538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121340$1E844159-18D0-4831-A2CF-19447C0C5841","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":"Q1121340$E2EEAE4B-B7BF-4DBA-A9FB-A43BCC121720","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1121340$72332810-D71B-4319-9BDC-411EB5800CF5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a6d86952b7f4167d836e4bd0de148e902f9f203","datavalue":{"value":"Motivated by the classical problem whether every affine algebraic curve (over an algebraically closed field k) is a set theoretic complete intersection, and by Cowsik's lemma that finite generation of the symbolic Rees algebra implies at least local set theoretic complete intersection, the author studies a general approach for producing such a generating set and demonstrates its effectiveness for monomial curves \\((t^{d_ 1},...,t^{d_ n}).\\)    Given a noetherian ring \\(S_ 0\\), and ideals \\(S_ 0\\supset S_ 1\\supset..\\). (in particular say \\(S_ 0=k[X_ 1,...,X_ n]\\) with \\(\\deg (X_ i)=d_ i\\) and \\(S_ j=P^{(j)}\\) the j-th symbolic power of a prime P) define \\(S=\\oplus_{j\\geq 0}S_ jX^ j \\subset S_ 0[X]\\). If R is an \\(S_ 0\\)-subalgebra of S, then there is an ideal \\(\\tau_ R\\) of ``twisted elements'' and the extension \\(R[\\tau_ RX]\\subset S\\) remains finitely generated if R is. If iteration of this extension stabilizes, then S is obtained as a finitely generated \\(S_ 0\\)-algebra. In case \\(char(k)=0\\) and P is the ideal of a monomial curve, the author describes \\(\\tau_ R\\) for any bigraded subalgebra R of \\(S=\\oplus_{j\\geq 0}P^{(j)}X^ j \\) that contains PX. Next he gives a procedure (ultimately algorithmic as all the computations can be done using Gr\u00f6bner bases) for constructing \\(R[\\tau_ RX]\\); and finally, he shows that the curve \\((t^ 4,t^ 6,t^ 7,t^ 9)\\) is a set theoretic complete intersection by constructing its symbolic Rees algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121340$9EC01082-F050-4815-8EF7-B84B27A5CC17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba0f4aac669c7206c5a11d91d20fa0fa82450308","datavalue":{"value":"14M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121340$A76C9DF9-B21D-43FB-A980-FD58E121B341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef110fa5c129d94930a5f78e40d9192a94753e0d","datavalue":{"value":"14H45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121340$819410D0-3E78-412B-8E80-02C4BB0352E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121340$CBADC5CE-C1DF-475C-B425-8892799E050B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f7f43158b42f0a7240ceb9aa177f89dce451dc7","datavalue":{"value":"13-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121340$96F3AD65-8064-41D1-95C2-421C38AC91B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cfad8acec73d7259278ce6001f0f08e3d4a3af4","datavalue":{"value":"4103255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121340$9CE7C96F-93D1-487F-9D0B-13BE776F3F0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6222d91a332013c1f876f2f6a89c38c2446ae41b","datavalue":{"value":"complete intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121340$A2F0F068-A36E-44D5-8F66-B613C9E210DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d66374f2c4cf9e729fa283c43f4fd074deccd837","datavalue":{"value":"finite generation of the symbolic Rees algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121340$96A453A1-8AC8-40F5-A2DC-70BAB49F2BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"367d3aeefbbd3580af3fccaebc772c2b96ca82c4","datavalue":{"value":"monomial curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121340$0EEB0828-823D-4511-B463-035BC69C41F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f9dfedbd1fc8727c7f8faed4eaed5b6543eb89b","datavalue":{"value":"twisted elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121340$460CE6EF-F0F2-4E20-8343-21E5CB4382BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121340$C86D3E89-9932-4E56-8C9A-37C35A291764","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":"Q1121340$ABB95C1B-D779-4260-ACCA-1523732CFE11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d1403fb6e23670409fe6a025cde690e5e9bdfaf","datavalue":{"value":"https://doi.org/10.1016/0021-8693(88)90119-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1121340$FE36594B-5EA1-4F66-8156-1DE5811690CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"228fd82dafcf20fd7b18c00616da6e11c976985b","datavalue":{"value":"W2047682374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121340$A97C88D8-FCC5-47B6-A0AA-06B72BB08E02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"392282ad95009254b705cb225560cf7f4c64efc4","datavalue":{"value":{"entity-type":"item","numeric-id":4177698,"id":"Q4177698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121340$5D96569A-F7B2-49AD-A3C7-6758A61CBBCB","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":"Q1121340$FA2D7345-E392-4605-B905-045B4A24296B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eb5f1465ac203465c32a99ee18bfbf8d924d3d4","datavalue":{"value":{"entity-type":"item","numeric-id":5187381,"id":"Q5187381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121340$9D2C9F97-5AAD-4E2B-849C-68475BED6DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4e1588918da9832eef5ef7c6535a3e93e1dccf9","datavalue":{"value":{"entity-type":"item","numeric-id":1249209,"id":"Q1249209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121340$38163EB4-0F0D-462E-B39C-AF7F9B54EC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e497a70e57ba7e41510ba40ac9bbefb8f902cc05","datavalue":{"value":{"entity-type":"item","numeric-id":1140139,"id":"Q1140139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121340$014F362D-3654-49BA-B922-176B0204E82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31741f545d57d6907ac889801c2d704d1d0d04a3","datavalue":{"value":{"entity-type":"item","numeric-id":3726232,"id":"Q3726232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121340$5D3005F0-9367-4C49-8866-A388C97874E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0204eb1567ad9019ef695f7ca61ccbd039e76d94","datavalue":{"value":{"entity-type":"item","numeric-id":3691860,"id":"Q3691860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121340$AB318237-1E89-46B7-A212-2B9626250D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8eddf35199d69283d3f6438c4bd9f3c87161fd","datavalue":{"value":{"entity-type":"item","numeric-id":3869440,"id":"Q3869440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121340$CA9C41AE-1EBE-45A2-ADFF-0AC30EA6C83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae7104d4615343ab52f4fb4deba1c1fb61c0f1d","datavalue":{"value":{"entity-type":"item","numeric-id":2556896,"id":"Q2556896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121340$E973CC60-88C5-4574-B78A-1B828F37C04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f25880675bca940f4e0a89b5d85a4101eb097362","datavalue":{"value":{"entity-type":"item","numeric-id":1165910,"id":"Q1165910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121340$1B521426-F326-478C-B7D7-CE121E1FA4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a2b75c6fe77af8ef40778287853cdb27987b334","datavalue":{"value":{"entity-type":"item","numeric-id":1252899,"id":"Q1252899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121340$79AAD73D-2DCF-4C86-91A3-14FD49691DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a0e61ccbe7c2df723ddb813e3272c740d36c9b","datavalue":{"value":{"entity-type":"item","numeric-id":5829838,"id":"Q5829838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121340$7F169D15-9B67-4D8E-AED1-6CEB06B20F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc23c0ad97e698272dd4f0cab49129389e1c3f9","datavalue":{"value":{"entity-type":"item","numeric-id":3717182,"id":"Q3717182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121340$BC4EBC4E-FEFC-4275-B6C2-A73268E49E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c666421db503cd1cb48aa2a20a0c12912f366d8","datavalue":{"value":{"entity-type":"item","numeric-id":1143455,"id":"Q1143455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121340$A90B92DC-6DE3-46A6-9945-38B9D772FB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376af925dcc69d301925817deb7d095f8139edeb","datavalue":{"value":{"entity-type":"item","numeric-id":3929880,"id":"Q3929880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121340$E85B12BD-3B37-47F1-84B5-B767515E7850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de771b6d79df108df7c68e9b47a37c4f5654d2a8","datavalue":{"value":{"entity-type":"item","numeric-id":3993879,"id":"Q3993879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775c8f8e020d948cf115911b24e9c7ac82dd1ed4","datavalue":{"value":{"amount":"+0.8404884934425354","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":"Q1121340$E1369C96-CC8A-4791-ACCB-D08BB7A85094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07e9d4a919b196fdd8dcce5a818b20d5087392d","datavalue":{"value":{"entity-type":"item","numeric-id":3691860,"id":"Q3691860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c378532de77912c70e1c0a750ffc0b058644b42","datavalue":{"value":{"amount":"+0.8379066586494446","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":"Q1121340$F8F6CDBA-AEAD-467F-BA7C-D3A8CFF52B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e413c2c0ac567e5758bac26d76fd55be1547410a","datavalue":{"value":{"entity-type":"item","numeric-id":3353148,"id":"Q3353148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3750584afa360422c215af7cc9601293dcfd73","datavalue":{"value":{"amount":"+0.8336049914360046","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":"Q1121340$27DC9E7B-BBC1-4907-ACC9-9B1F0773BF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486e6aca0d804b3c52def930cd51399eae38e96e","datavalue":{"value":{"entity-type":"item","numeric-id":2682813,"id":"Q2682813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132891dded61d99a039f903203a87bef8e7ed9bb","datavalue":{"value":{"amount":"+0.831053614616394","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":"Q1121340$394D7C3C-1A43-482F-A140-852F14423FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0bce4095887b242109b919a3c7adc4b4f20f891","datavalue":{"value":{"entity-type":"item","numeric-id":5293007,"id":"Q5293007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7130427a3f3f06daecc5ecb1135adc7f5b83e16a","datavalue":{"value":{"amount":"+0.8302254676818848","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":"Q1121340$32C1A329-7718-423C-BF09-B919660729F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic powers of monomial curves","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_powers_of_monomial_curves"}}}}}