{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T20:08:16Z","timestamp":1772654896942,"version":"3.50.1"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2022,6,25]],"date-time":"2022-06-25T00:00:00Z","timestamp":1656115200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,6,25]],"date-time":"2022-06-25T00:00:00Z","timestamp":1656115200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100012687","name":"Universit\u00e4t Kassel","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100012687","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[2022,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Complementary decompositions of monomial ideals\u2014also known as Stanley decompositions\u2014play an important role in many places in commutative algebra. In this article, we discuss and compare several algorithms for their computation. This includes a classical recursive one, an algorithm already proposed by Janet and a construction proposed by Hironaka in his work on idealistic exponents. We relate Janet\u2019s algorithm to the Janet tree of the Janet basis and extend this idea to Janet-like bases to obtain an optimised algorithm. We show that Hironaka\u2019s construction terminates, if and only if the monomial ideal is quasi-stable. Furthermore, we show that in this case the algorithm of Janet determines the same decomposition more efficiently. Finally, we briefly discuss how these results can be used for the computation of primary and irreducible decompositions.<\/jats:p>","DOI":"10.1007\/s00200-022-00569-0","type":"journal-article","created":{"date-parts":[[2022,6,25]],"date-time":"2022-06-25T18:33:46Z","timestamp":1656182026000},"page":"791-821","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Complementary decompositions of monomial ideals and involutive bases"],"prefix":"10.1007","volume":"33","author":[{"given":"Amir","family":"Hashemi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Orth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner M.","family":"Seiler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,6,25]]},"reference":[{"issue":"2","key":"569_CR1","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.jsc.2014.09.008","volume":"68","author":"M Albert","year":"2015","unstructured":"Albert, M., Fetzer, M., S\u00e1enz-de Cabez\u00f3n, E., Seiler, W.: On the free resolution induced by a Pommaret basis. J. Symb. Comp. 68(2), 4\u201326 (2015)","journal-title":"J. Symb. Comp."},{"key":"569_CR2","doi-asserted-by":"crossref","unstructured":"Albert, M., Fetzer, M., Seiler, W.: Janet bases and resolutions in CoCoALib. Computer algebra in scientific computing. CASC 2015, pp. 15\u201329. Springer-Verlag, Chaim (2015)","DOI":"10.1007\/978-3-319-24021-3_2"},{"key":"569_CR3","doi-asserted-by":"publisher","first-page":"161","DOI":"10.3390\/math6090161","volume":"6","author":"M Albert","year":"2018","unstructured":"Albert, M., Seiler, W.: Resolving decompositions for polynomial modules. Mathematics 6, 161 (2018)","journal-title":"Mathematics"},{"key":"569_CR4","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1007\/s10208-017-9354-z","volume":"18","author":"M Alonso","year":"2018","unstructured":"Alonso, M., Castro-Jim\u00e9nez, F., Hauser, H.: Encoding algebraic power series. Found. Comp. Math. 18, 789\u2013833 (2018)","journal-title":"Found. Comp. Math."},{"issue":"2","key":"569_CR5","first-page":"A3","volume":"98","author":"ME Alonso","year":"2020","unstructured":"Alonso, M.E., Marinari, M.G., Mora, T.: Oracle-supported drawing of the Gr\u00f6bner escalier. Atti Accad. Peloritana dei Pericolanti 98(2), A3 (2020)","journal-title":"Atti Accad. Peloritana dei Pericolanti"},{"key":"569_CR6","unstructured":"Bayer, D.: The division algorithm and the Hilbert scheme. Ph.D. thesis, Harvard University, Cambridge, MA (1982)"},{"key":"569_CR7","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s00200-017-0342-y","volume":"29","author":"B Binaei","year":"2018","unstructured":"Binaei, B., Hashemi, A., Seiler, W.: A Pommaret bases approach to the degree of a polynomial ideal. Appl. Alg. Eng. Comm. Comp. 29, 283\u2013301 (2018)","journal-title":"Appl. Alg. Eng. Comm. Comp."},{"key":"569_CR8","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: Bruno Buchberger\u2019s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German. J. Symb. Comput. 41(3-4), 475\u2013511 (2006)","DOI":"10.1016\/j.jsc.2005.09.007"},{"issue":"2","key":"569_CR9","first-page":"1","volume":"97","author":"M Ceria","year":"2019","unstructured":"Ceria, M.: Bar code vs Janet tree. Atti Accad. Peloritana dei Pericolanti 97(2), 1\u201312 (2019)","journal-title":"Atti Accad. Peloritana dei Pericolanti"},{"key":"569_CR10","doi-asserted-by":"publisher","first-page":"630","DOI":"10.1016\/j.jsc.2020.09.004","volume":"104","author":"M Ceria","year":"2021","unstructured":"Ceria, M.: Combinatorial decompositions for monomial ideals. J. Symb. Comput. 104, 630\u2013652 (2021)","journal-title":"J. Symb. Comput."},{"key":"569_CR11","doi-asserted-by":"crossref","unstructured":"Cox, D.A., Little, J., O\u2019Shea, D.: Ideals, varieties, and algorithms. Springer (2015)","DOI":"10.1007\/978-3-319-16721-3"},{"key":"569_CR12","doi-asserted-by":"publisher","first-page":"750","DOI":"10.1137\/0219053","volume":"19","author":"T Dub\u00e9","year":"1990","unstructured":"Dub\u00e9, T.: The structure of polynomial ideals and Gr\u00f6bner bases. SIAM J. Comp. 19, 750\u2013773 (1990)","journal-title":"SIAM J. Comp."},{"key":"569_CR13","unstructured":"Gao, S., Zhu, M.: Computing irreducible decomposition of monomial ideals. Preprint arXiv 0811.3425 (2008)"},{"key":"569_CR14","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P.: Completion of linear differential systems to involution. In: Ghanza, V., Mayr, E., Vorozhtsov, E. (eds.) Computer Algebra in Scientific Computing, CASC 1999, pp. 115\u2013137. Springer-Verlag, Berlin (1999)","DOI":"10.1007\/978-3-642-60218-4_9"},{"key":"569_CR15","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P., Blinkov, Y., Yanovich, D.: Construction of Janet bases I: Monomial bases. In: Ghanza, V., Mayr, E., Vorozhtsov, E. (eds.) Computer Algebra in Scientific Computing, CASC 2001, pp. 233\u2013247. Springer-Verlag, Berlin (2001)","DOI":"10.1007\/978-3-642-56666-0_18"},{"key":"569_CR16","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P.: On the relation between Pommaret and Janet bases. Computer algebra in scientific computing. CASC 2000, pp. 167\u2013181. Springer-Verlag, Berlin (2000)","DOI":"10.1007\/978-3-642-57201-2_14"},{"key":"569_CR17","unstructured":"Gerdt, V.P.: Involutive algorithms for computing Gr\u00f6bner bases. In: Computational commutative and non-commutative algebraic geometry. Proceedings of the NATO Advanced Research Workshop, 2004, pp. 199\u2013225. Amsterdam: IOS Press (2005)"},{"issue":"5\u20136","key":"569_CR18","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/S0378-4754(97)00127-4","volume":"45","author":"VP Gerdt","year":"1998","unstructured":"Gerdt, V.P., Blinkov, Y.A.: Involutive bases of polynomial ideals. Math. Comput. Simul. 45(5\u20136), 519\u2013541 (1998)","journal-title":"Math. Comput. Simul."},{"key":"569_CR19","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P., Blinkov, Y.A.: Janet-like Gr\u00f6bner bases. Computer algebra in scientific computing. CASC 2005, pp. 184\u2013195. Springer-Verlag, Berlin (2005)","DOI":"10.1007\/11555964_16"},{"key":"569_CR20","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P., Blinkov, Y.A.: Janet-like monomial division. Computer algebra in scientific computing. CASC 2005, pp. 174\u2013183. Springer-Verlag, Berlin (2005)","DOI":"10.1007\/11555964_15"},{"key":"569_CR21","unstructured":"Hironaka, H.: Idealistic exponents of singularity. In: Igusa, J.I. (ed.) Algebraic geometry, The Johns Hopkins Centennial Lectures, pp. 52\u2013125. Johns Hopkins University Press, Baltimore (1977)"},{"key":"569_CR22","volume-title":"Le\u00e7ons sur les Syst\u00e8mes d\u2019\u00c9quations aux D\u00e9riv\u00e9es Partielles","author":"M Janet","year":"1929","unstructured":"Janet, M.: Le\u00e7ons sur les Syst\u00e8mes d\u2019\u00c9quations aux D\u00e9riv\u00e9es Partielles. Fascicule IV. Gauthier-Villars, Paris, Cahiers Scientifiques (1929)"},{"issue":"4","key":"569_CR23","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.jpaa.2009.05.013","volume":"214","author":"S Lundqvist","year":"2010","unstructured":"Lundqvist, S.: Vector space bases associated to vanishing ideals of points. J. Pure Appl. Algebra 214(4), 309\u2013321 (2010)","journal-title":"J. Pure Appl. Algebra"},{"key":"569_CR24","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1017\/S0305004100030917","volume":"52","author":"D Rees","year":"1956","unstructured":"Rees, D.: A basis theorem for polynomial modules. Proc. Cambridge Phil. Soc. 52, 12\u201316 (1956)","journal-title":"Proc. Cambridge Phil. Soc."},{"key":"569_CR25","volume-title":"Les Syst\u00e8mes d\u2019\u00c9quations aux Deriv\u00e9es Partielles","author":"C Riquier","year":"1910","unstructured":"Riquier, C.: Les Syst\u00e8mes d\u2019\u00c9quations aux Deriv\u00e9es Partielles. Gauthier-Villars, Paris (1910)"},{"issue":"10","key":"569_CR26","doi-asserted-by":"publisher","first-page":"1359","DOI":"10.1016\/j.jsc.2009.02.004","volume":"44","author":"D Robertz","year":"2009","unstructured":"Robertz, D.: Noether normalization guided by monomial cone decompositions. J. Symb. Comput. 44(10), 1359\u20131373 (2009)","journal-title":"J. Symb. Comput."},{"issue":"4","key":"569_CR27","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1016\/j.jsc.2008.08.002","volume":"44","author":"BH Roune","year":"2009","unstructured":"Roune, B.H.: The slice algorithm for irreducible decomposition of monomial ideals. J. Symb. Comput. 44(4), 358\u2013381 (2009)","journal-title":"J. Symb. Comput."},{"key":"569_CR28","doi-asserted-by":"crossref","unstructured":"Roune, B.H.: A slice algorithm for corners and Hilbert-Poincar\u00e9 series of monomial ideals. In: Proc. International symposium on symbolic and algebraic computation, ISSAC 2010, pp. 115\u2013122. ACM (2010)","DOI":"10.1145\/1837934.1837961"},{"key":"569_CR29","doi-asserted-by":"crossref","unstructured":"Seiler, W.M.: A combinatorial approach to involution and $$\\delta$$-regularity. II: Structure analysis of polynomial modules with Pommaret bases. Appl. Algebra Eng. Commun. Comput. 20(3-4), 261\u2013338 (2009)","DOI":"10.1007\/s00200-009-0101-9"},{"key":"569_CR30","volume-title":"Involution \u2013 The formal theory of differential equations and its applications in computer algebra","author":"WM Seiler","year":"2010","unstructured":"Seiler, W.M.: Involution \u2013 The formal theory of differential equations and its applications in computer algebra. Springer, Berlin (2010)"},{"key":"569_CR31","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0001-8708(78)90045-2","volume":"28","author":"R Stanley","year":"1978","unstructured":"Stanley, R.: Hilbert functions of graded algebras. Adv. Math. 28, 57\u201383 (1978)","journal-title":"Adv. Math."},{"issue":"2","key":"569_CR32","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BF01394054","volume":"68","author":"RP Stanley","year":"1982","unstructured":"Stanley, R.P.: Linear diophantine equations and local cohomology. Invent. Math. 68(2), 175\u2013193 (1982)","journal-title":"Invent. Math."},{"key":"569_CR33","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BF01205079","volume":"11","author":"B Sturmfels","year":"1991","unstructured":"Sturmfels, B., White, N.: Computing combinatorial decompositions of rings. Combinatorica 11, 275\u2013293 (1991)","journal-title":"Combinatorica"},{"key":"569_CR34","doi-asserted-by":"crossref","unstructured":"Vasconcelos, W.: Computational methods in commutative algebra and algebraic geometry. algorithms and computations in mathematics 2. Springer-Verlag, Berlin (1997)","DOI":"10.1007\/978-3-642-58951-5"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-022-00569-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00200-022-00569-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-022-00569-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,17]],"date-time":"2022-11-17T16:07:32Z","timestamp":1668701252000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00200-022-00569-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,25]]},"references-count":34,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["569"],"URL":"https:\/\/doi.org\/10.1007\/s00200-022-00569-0","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,6,25]]},"assertion":[{"value":"27 October 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 April 2022","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 May 2022","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 June 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}