{"entities":{"Q1380002":{"pageid":1390742,"ns":120,"title":"Item:Q1380002","lastrevid":46963818,"modified":"2025-12-25T22:59:25Z","type":"item","id":"Q1380002","labels":{"en":{"language":"en","value":"Minimal systems of generators for ideals of semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1121644"}},"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":"Q1380002$1E07EC0A-870E-46F0-97E6-929A9FAD5CB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c4607a62711c38c227ad3ea058090a80c16246b","datavalue":{"value":{"text":"Minimal systems of generators for ideals of semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1380002$0CE437ED-9C71-419B-A936-DC652B07CE7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30c59e7dc554f8e80a8e7a5d28b3a94619c77939","datavalue":{"value":"0913.20036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380002$35304B8B-D77E-40AF-998D-9ADD7DBC30C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b1872408ca3efae844aac1c92bbe97621cafacb","datavalue":{"value":"10.1016/S0022-4049(96)00106-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380002$914FF7A7-5C44-443B-99E7-AC6D2FD9CCBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$EFD31A80-B97E-408C-A53F-250262F42277","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9d6a9b206993fb7ea85e63b0c7a974768c0ea6b","datavalue":{"value":{"time":"+1999-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1380002$A49B9628-109E-42B0-B63B-09BD4EF5AF72","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1ca6b1bba788f9d1310bc5b330c5a8d8f2506fdd","datavalue":{"value":"Let \\(S\\) be a commutative cancellative finitely generated (additive) semigroup with 0 such that \\(S\\cap(-S)=\\{0\\}\\). Let \\(\\{n_1,\\dots,n_r\\}\\subset S\\) be a set of generators for \\(S\\). For a field \\(k\\), the semigroup algebra \\(k[S]\\) is an \\(S\\)-graded ring in a trivial way, and the polynomial ring \\(R=k[X_1,\\dots,X_r]\\) can also be considered as an \\(S\\)-graded ring, assigning the degree \\(n_i\\) to \\(X_i\\), and the component \\(R_m\\) is a finite dimensional \\(k\\)-vector space (in fact the latter property is equivalent to the condition \\(S\\cap(-S)=\\{0\\}\\)). Now the \\(k\\)-algebra epimorphism \\(\\phi\\colon R\\to k[S]\\) defined by \\(\\phi(X_i)=n_i\\) is a graded homomorphism of degree zero, hence its kernel \\(I\\) is a homogeneous ideal. This ideal is called ``the defining ideal of the semigroup \\(S\\)'', or simply, by an abuse of language, ``the ideal of \\(S\\)''. Based on the method of \\textit{A. Campillo} and \\textit{P. Pis\u00f3n} [C. R. Acad. Sci., Paris, S\u00e9r. I 316, No. 12, 1303-1306 (1993; Zbl 0816.20050)] the present paper presents an algorithm to compute a minimal system of binomial generators for \\(I\\). Investigations of this kind have their origin in the study of algebraic curves and go back to \\textit{J. Herzog} [Manuscr. Math. 3, 175-193 (1970; Zbl 0211.33801)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380002$5DC8E975-0F2C-4B76-982C-25D8E2CA15A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380002$F54FB7C0-CA9A-4823-ADB0-59C617479D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380002$7813E1A9-8A71-4AB3-A9FC-7EFB4BB1F3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a110c7416e1228fed50bb2e0832c21a254df2cc","datavalue":{"value":"20M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380002$78FD26AB-105F-439D-9003-D1392A2927D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f763c8cd6a5bb163b3bc0f29fb7bffc7801b7ec","datavalue":{"value":"16S36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380002$B42098D1-CA57-489C-85C4-3CA980F02920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380002$C2183A71-D7BB-4C65-B193-1F3CDFCA00E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d5e6fc4d4b8befba6426dab1f3cb854fec094e4","datavalue":{"value":"1121644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380002$4F9077F5-A683-47B9-B9E3-F2BAA85C9138","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"128e71e7805f70abe993ee80953dc8d6727fd435","datavalue":{"value":"generators and relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380002$A6B4ACC6-66CC-4D34-9BC0-4765BD25C681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8d2fd0228958c411bb0c76eb52459ef13f9a1d9","datavalue":{"value":"finitely generated commutative cancellative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380002$81C7583C-5A0F-4CA8-9F85-8313935A0EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"906ff7954b2741940b28677c9af2c2b8bd571a9f","datavalue":{"value":"semigroup rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380002$27A58D08-D961-4E3D-AD06-0DCC455B023D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f07ffaa51579e50e25a5bd45affa26230d110ac9","datavalue":{"value":"defining ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380002$2CAF20E3-F012-4986-9332-CE3D3B0DD5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e606f8898b4abf969275a2d99c90cb05169fa2f5","datavalue":{"value":"semigroup algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380002$3E454DC4-878D-4841-B7DF-A8AF8DD943C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e77b0151665bd3716f63a2323ffcd166ef3104fb","datavalue":{"value":"graded rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380002$24B256C9-21CA-40F2-8D72-E3D0B9260EEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4c82eb980754a7e174239a8f158cf53ae0e853","datavalue":{"value":{"entity-type":"item","numeric-id":1127851,"id":"Q1127851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$9E79F27C-F318-43CB-91BF-21C1DFB02ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f76c3961f7d1582d94c9dca09e4241cca383ec68","datavalue":{"value":{"entity-type":"item","numeric-id":975817,"id":"Q975817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$0542C8BC-D12C-4BB4-9433-0D1749537D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f8b425943d3da965693354dad0ec1274ee9ded6","datavalue":{"value":{"entity-type":"item","numeric-id":996322,"id":"Q996322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$4F49803D-DF8B-4FA8-B982-11D57557E06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71807dd4c9559d98d5bfd705d0d0ebf6fb0cfeca","datavalue":{"value":{"entity-type":"item","numeric-id":1827484,"id":"Q1827484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$DB7DF4F5-E5F1-4983-9213-C3706E414B13","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"96a1c5f1a685a69be42bc7fc47b1b9cf0da19e89","datavalue":{"value":{"entity-type":"item","numeric-id":240384,"id":"Q240384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$DE5A8834-B229-4413-BFCE-4AFDFCA7FFE7","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":"Q1380002$DF94AE1D-650F-49D4-A0D4-A375B59319B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc8ff76121554c2d4c8e46b695e8facca9529d9","datavalue":{"value":{"entity-type":"item","numeric-id":1171105,"id":"Q1171105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$E19E21ED-048E-4103-BDA5-19237E8C3B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"142c736d61dd97e4fab37bff383b23d7e64d8b37","datavalue":{"value":{"entity-type":"item","numeric-id":3971568,"id":"Q3971568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$0F0DB20F-0B2F-48E4-B765-7696913503B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb9dba8fb67f5c936245b1d00a01dc2fa67b447","datavalue":{"value":{"entity-type":"item","numeric-id":4274969,"id":"Q4274969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$C99DD649-0EA6-440D-9BF9-D8DF1F775FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae3d539bc7d7b396c6f8f0940dbae1d98103145","datavalue":{"value":{"entity-type":"item","numeric-id":4017059,"id":"Q4017059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$6E38BF51-C648-44EF-8E9A-56D4BB16AD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff3f6cf52b2e4ea71e379a63bcbecfbce1f9b9e","datavalue":{"value":{"entity-type":"item","numeric-id":4289874,"id":"Q4289874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$CF13B16E-3F45-4D81-BF40-430D259B3D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309f85ab2cf9c5e3f5200a8333c3a1e63186d23b","datavalue":{"value":{"entity-type":"item","numeric-id":3136242,"id":"Q3136242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$C0883D6E-F637-422C-859E-9F039D3D094F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7d03acfe694d55b5bfb81a8721b654f11fafd6","datavalue":{"value":{"entity-type":"item","numeric-id":3139838,"id":"Q3139838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$D48A46D7-1238-49A1-961F-96A5F63608E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff46ca4daa3deb211a8ff92300fd21f75c34e9ed","datavalue":{"value":{"entity-type":"item","numeric-id":2544208,"id":"Q2544208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$F42364CB-BFD2-4C14-9F7B-C73C83697B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88456792b5e04bdbc79bc469b03ce6d43255f0f4","datavalue":{"value":{"entity-type":"item","numeric-id":5613258,"id":"Q5613258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$CF5E78F0-108F-4886-A605-AB9010FBF232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff52a6f54fcab382dacc8018bbbd7ad96893eb91","datavalue":{"value":{"entity-type":"item","numeric-id":4029256,"id":"Q4029256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$8614038C-9B25-4D6B-AD3A-19C7B11EA53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23bf292b10dbfd5a57caf668534a9e8a4574985","datavalue":{"value":{"entity-type":"item","numeric-id":3837511,"id":"Q3837511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$4FA3C29E-91B9-420C-B804-EEA17EC945C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380002$502B2EBB-BE00-4F8A-9CC8-8E1E80A3E738","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54697b530b43d8c87cab5c2ff2049fdfaaa1626c","datavalue":{"value":{"entity-type":"item","numeric-id":1124925,"id":"Q1124925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15490570872e81ed773f5afed8e090f057dbaa51","datavalue":{"value":{"amount":"+0.8037235736846924","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":"Q1380002$C9B558DB-4FF5-4C80-9299-884EC5E87595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dc5bb6b32f76200e6ad9e5280c8eaee16b7e447","datavalue":{"value":{"entity-type":"item","numeric-id":4029256,"id":"Q4029256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f5bdf76877f8436c0a0d5e6e08d172c40a61f3","datavalue":{"value":{"amount":"+0.7936095595359802","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":"Q1380002$5675CF53-E984-4FB0-B099-0CC82255E28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a6f8281673390379a0ba56c7c01d71f6701467","datavalue":{"value":{"entity-type":"item","numeric-id":3065700,"id":"Q3065700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937cbf6e0c8537fa402617f86e708fc07de503d3","datavalue":{"value":{"amount":"+0.7931345105171204","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":"Q1380002$D2E51C86-8F81-461B-9ACB-18C7F6D167F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aa9d11978310b4d71a362148148024b6f7063c","datavalue":{"value":{"entity-type":"item","numeric-id":4534661,"id":"Q4534661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e8ccd700564d6315d8be8f6d0ffa092e301233f","datavalue":{"value":{"amount":"+0.7927632331848145","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":"Q1380002$6F83C833-5E0F-46FD-ABB9-77A28C0738C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1380002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1380002"}}}}}