{"entities":{"Q1284280":{"pageid":1295030,"ns":120,"title":"Item:Q1284280","lastrevid":70072527,"modified":"2026-04-13T12:15:27Z","type":"item","id":"Q1284280","labels":{"en":{"language":"en","value":"An algorithm to calculate optimal homogeneous systems of parameters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1271877"}},"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":"Q1284280$88F2E493-5758-4612-A2A3-66FC07D4FA28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2260c77c642fcdddd639c5fa5b295c3bfef5ac6","datavalue":{"value":{"text":"An algorithm to calculate optimal homogeneous systems of parameters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1284280$E9C47C81-75AE-45C7-A3DB-0D838471B924","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69007155bd33f2df7ea8d979b83613ba34a2e84d","datavalue":{"value":"0933.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284280$190E783B-8B01-40A7-B534-C197CC82B691","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c10ab29fa515011a8cd8477c4553b253249bf95b","datavalue":{"value":{"entity-type":"item","numeric-id":167099,"id":"Q167099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284280$325157D1-174E-4AD2-90F4-C1ECF17D3D4E","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":"Q1284280$9F9608B7-D41F-448A-A0E2-E3747999CAAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a6067367fba059f6e8b1ef3c6074b68fe3ceb6b","datavalue":{"value":{"time":"+1999-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1284280$B2315456-9D7F-483F-B763-649FA8FE76FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c892dd43eb7a8647d0f632ce12c6965ee5e41683","datavalue":{"value":"Let \\(A= \\bigoplus^\\infty_{d= 0}A_d\\) be a graded algebra of Krull dimension \\(n\\) over a field \\(K= A_0\\). Noether's normqalization lemma implies that there are homogeneous elements \\(f_1,\\dots, f_n\\) in \\(A\\) so that \\(A\\) is a finite algebra over \\(K[f_1,\\dots, f_n]\\). Such a set \\(\\{f_1,\\dots, f_n\\}\\) is called a set of Homogeneous System Of Parameters (HSOP). Clearly a HSOP is not unique and degrees of \\(f_i\\in A_{d_i}\\) can be arbitrarily high. The paper under review provides an algorithm which finds optimal HSOPs in the sense that \\(\\sum^n_{i= 1}d_i\\) or \\(\\prod^n_{i= 1}d_i\\) is minimal. The algorithm rests on a fundamental observation of the following equivalence between statemens (1) and (2) for a fixed \\((d_1,\\dots, d_n)\\in \\mathbb{Z}^n_+\\) when \\(K\\) is an infinite field (theorem 2 of the paper):   (1) There exist homogeneous elements \\(f_i\\in A_{d_i}\\) such that \\(\\dim A/(f_1,\\dots, f_n)= 0\\).   (2) For any subset \\(M\\subset\\{1,\\dots, n\\}\\), \\(\\dim A/\\left(\\bigcup_{i\\in M}A_{d_i}\\right)\\leq n=|M|\\).   Now assuming one can compute generators of each \\(A_d\\) and dimension of \\(A/I\\) where \\(I\\) is an ideal generated by a union of some \\(A_{d^S}\\), finding optimal HSOPs is a matter of checking statement (2) for vectors \\((d_1,\\dots, d_n)\\in \\mathbb{Z}^n_+\\) partially ordered according their sum or product.   There were early related algorithms on finding HSOPs in some special cases by \\textit{G. Kemper} [J. Symb. Comput. 21, No. 3, 351-366 (1996; Zbl 0889.13004)] and by \\textit{W. Decker}, \\textit{A. E. Heydtmann} and \\textit{F.-O. Schreyer} [``Generating a Noetherian normalization of the invariant ring of a finite group'', ibid. 25, No. 6, 727-731 (1998)]. However, examples are demonstrated in the paper that HSOPs found based on earlier algorithms are not optimal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284280$2AAF59A3-288D-49A1-A9F0-9A019C02CEC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284280$76E100C4-8384-43F6-9CEB-FA5AF4936E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"086297fd475b42608bf85c8a5f4b8789b93c92cc","datavalue":{"value":"13A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284280$D34CD567-A27F-4737-9FA0-90ACC74CBF10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b47c56c872dea0513588ed02ce49baf78c12000b","datavalue":{"value":"1271877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284280$4870ED2C-22F1-4F7F-B8F4-732A03CAC86E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c9034a2cc107dd2e0d4a5861453cc2a0b7c0af","datavalue":{"value":"homogeneous system of parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284280$BD0B59FE-18FD-4E93-8EFC-EDC812432140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0f6912ad1981912f33f4e6cc683e6285f2d49c3","datavalue":{"value":"graded algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284280$FA64C02A-3743-4060-BBA6-D37B7B65865A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ecb46cd52fb7926605492756abc420338dd7bcd0","datavalue":{"value":{"entity-type":"item","numeric-id":209723,"id":"Q209723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284280$C240B1FD-FD11-41F7-91C3-F12C2BFB501C","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":"Q1284280$B7289455-25A5-4730-A6A6-A3A4607FE28F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffa3bcb3f6abb96f25070f501e75d5bd81611467","datavalue":{"value":"https://doi.org/10.1006/jsco.1998.0247","type":"string"},"datatype":"url"},"type":"statement","id":"Q1284280$9FAE5E00-C959-46E1-8142-6C1029F80A49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84b0cd6c12baf99bebc42da8066ed825114efd8b","datavalue":{"value":"W1990461097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284280$28703753-5E60-4836-9CA3-BDA9FE0718C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac0252c515acefb08d3e060da1129c1c651b9362","datavalue":{"value":"10.1006/JSCO.1998.0247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284280$A5296A75-45A3-4933-AE02-64050F1BA9A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a0b44ae0f8f5664f0b7ca6d342aeddc960c97bd","datavalue":{"value":{"entity-type":"item","numeric-id":1194335,"id":"Q1194335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d98a1ed5342f2797f0a631ca0860da35ab1df68","datavalue":{"value":{"amount":"+0.86512893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284280$A32A5AFB-5F2D-4AB6-866C-BED7CACB39F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25fa1bd6f9c3f23c4f78932701a1a3324807f506","datavalue":{"value":{"entity-type":"item","numeric-id":4918096,"id":"Q4918096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f6127e552f54d3b47dbb0606b2050db143e57a","datavalue":{"value":{"amount":"+0.85840565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284280$51713281-B77E-43E2-BF22-12DEB7AE1A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d7cdcf9cc951476fa5e927bf764da59838cc4d","datavalue":{"value":{"entity-type":"item","numeric-id":2996005,"id":"Q2996005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01088403ec78516309cb81cb050f57d37bfa0ed0","datavalue":{"value":{"amount":"+0.8538971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284280$CCC115F7-0F40-4064-949C-896602DE9C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f221657c24fb356b3695cfd7a60da9ae5a0fd3e","datavalue":{"value":{"entity-type":"item","numeric-id":3071274,"id":"Q3071274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"890ce384d839e8e220e036dbdad27b377097c215","datavalue":{"value":{"amount":"+0.8531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284280$9A75A242-39F9-4A9F-BA41-FA80937D9FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d03d32cfeb29408a3ffaeb6b3c992f5334d11be","datavalue":{"value":{"entity-type":"item","numeric-id":4693288,"id":"Q4693288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26a9e9351331a07424cd4cd8594d48980502d2a","datavalue":{"value":{"amount":"+0.85128903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284280$A3C569E9-BA18-4B93-8BC0-F142BE7B9FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c40761153cf2dad064fce3b779713e0e888921","datavalue":{"value":{"entity-type":"item","numeric-id":3347716,"id":"Q3347716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87781f4cb8b2a767bc8117a416ce01aed89531a5","datavalue":{"value":{"amount":"+0.85038126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284280$AD5E94C5-964F-4AEA-9652-B99026543D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ee9463ed74065a5ce11ad62c2d30d286013f17","datavalue":{"value":{"entity-type":"item","numeric-id":5239481,"id":"Q5239481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f53073a12ab8af618ccef1b8deeddd8c96ac0d5","datavalue":{"value":{"amount":"+0.850146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284280$CFAC0B6E-BE63-43D9-8137-7D5373B759F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31aba85cca257b5fe4ff679df77fa8a99c7d084c","datavalue":{"value":{"entity-type":"item","numeric-id":1945241,"id":"Q1945241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ae510f281538a7312b65cf46ed2c3cc125909b","datavalue":{"value":{"amount":"+0.8492214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284280$8622058B-AAE5-4373-8953-CAE2C1EE7798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e01178ec490c66126a6ef47a1f9765d9492ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4711003,"id":"Q4711003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8bc819e095554829fd62a2dbcae23d07eb53dbb","datavalue":{"value":{"amount":"+0.8484776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284280$3EAE90D9-0519-457D-A1E5-D29BEB2256B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c77cc34be1eb39deb03361ddf88aab0df4a0833","datavalue":{"value":{"entity-type":"item","numeric-id":3201654,"id":"Q3201654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a009b1a1ce43cc6f65fa945dcce59332ed6f6e45","datavalue":{"value":{"amount":"+0.8469939","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284280$A260BFF2-5093-45F0-B361-240AB4F4A0CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm to calculate optimal homogeneous systems of parameters","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithm_to_calculate_optimal_homogeneous_systems_of_parameters"}}}}}