{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T05:38:10Z","timestamp":1776836290585,"version":"3.51.2"},"reference-count":52,"publisher":"American Mathematical Society (AMS)","issue":"337","license":[{"start":{"date-parts":[[2023,7,8]],"date-time":"2023-07-08T00:00:00Z","timestamp":1688774400000},"content-version":"am","delay-in-days":365,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>\n                    For a finite group, we present three algorithms to compute a generating set of invariants simultaneously to generating sets of basic equivariants,\n                    <italic>i.e.,<\/italic>\n                    equivariants for the irreducible representations of the group. The main novelty resides in the exploitation of the orthogonal complement of the ideal generated by invariants. Its symmetry adapted basis delivers the fundamental equivariants.\n                  <\/p>\n                  <p>Fundamental equivariants allow to assemble symmetry adapted bases of polynomial spaces of higher degrees, and these are essential ingredients in exploiting and preserving symmetry in computations. They appear within algebraic computation and beyond, in physics, chemistry and engineering.<\/p>\n                  <p>Our first construction applies solely to reflection groups and consists in applying symmetry preserving interpolation, as developed by the same authors, along an orbit in general position. The fundamental invariants can be read off the H-basis of the ideal of the orbit while the fundamental equivariants are obtained from a symmetry adapted basis of an invariant direct complement to this ideal in the polynomial ring.<\/p>\n                  <p>The second algorithm takes as input primary invariants and the output provides not only the secondary invariants but also free bases for the modules of basic equivariants. These are constructed as the components of a symmetry adapted basis of the orthogonal complement, in the polynomial ring, to the ideal generated by primary invariants.<\/p>\n                  <p>\n                    The third and main algorithm proceeds degree by degree, determining the fundamental invariants as forming a H-basis of the Hilbert ideal,\n                    <italic>i.e.,<\/italic>\n                    the polynomial ideal generated by the invariants of positive degree. The fundamental equivariants are simultaneously computed degree by degree as the components of a symmetry adapted basis of the orthogonal complement of the Hilbert ideal.\n                  <\/p>","DOI":"10.1090\/mcom\/3749","type":"journal-article","created":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T09:10:04Z","timestamp":1648631404000},"page":"2459-2488","source":"Crossref","is-referenced-by-count":7,"title":["Algorithms for fundamental invariants and equivariants of finite groups"],"prefix":"10.1090","volume":"91","author":[{"given":"Evelyne","family":"Hubert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erick","family":"Rodriguez Bazan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"14","published-online":{"date-parts":[[2022,7,8]]},"reference":[{"issue":"1","key":"1","first-page":"177","article-title":"Higher Specht polynomials","volume":"27","author":"Ariki, Susumu","year":"1997","journal-title":"Hiroshima Math. J.","ISSN":"https:\/\/id.crossref.org\/issn\/0018-2079","issn-type":"print"},{"key":"2","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-1869-0","volume-title":"Finite reflection groups","volume":"99","author":"Grove, L. C.","year":"1985","ISBN":"https:\/\/id.crossref.org\/isbn\/0387960821","edition":"2"},{"key":"3","series-title":"CMS Treatises in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1201\/b10583","volume-title":"Algebraic combinatorics and coinvariant spaces","author":"Bergeron, Fran\u00e7ois","year":"2009","ISBN":"https:\/\/id.crossref.org\/isbn\/9781568813240"},{"issue":"1","key":"4","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/s10910-014-0410-5","article-title":"A fast algorithm for the construction of integrity bases associated to symmetry-adapted polynomial representations: application to tetrahedral \ud835\udc4b\ud835\udc4c\u2084 molecules","volume":"53","author":"Cassam-Chena\u00ef, Patrick","year":"2015","journal-title":"J. Math. Chem.","ISSN":"https:\/\/id.crossref.org\/issn\/0259-9791","issn-type":"print"},{"issue":"4","key":"5","doi-asserted-by":"publisher","first-page":"938","DOI":"10.1007\/s10910-008-9354-y","article-title":"Symmetry-adapted polynomial basis for global potential energy surfaces-applications to \ud835\udc4b\ud835\udc4c\u2084 molecules","volume":"44","author":"Cassam-Chena\u00ef, Patrick","year":"2008","journal-title":"J. Math. Chem.","ISSN":"https:\/\/id.crossref.org\/issn\/0259-9791","issn-type":"print"},{"key":"6","doi-asserted-by":"publisher","first-page":"778","DOI":"10.2307\/2372597","article-title":"Invariants of finite groups generated by reflections","volume":"77","author":"Chevalley, Claude","year":"1955","journal-title":"Amer. J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9327","issn-type":"print"},{"key":"7","series-title":"Advanced Series in Nonlinear Dynamics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1142\/4062","volume-title":"Methods in equivariant bifurcations and dynamical systems","volume":"15","author":"Chossat, Pascal","year":"2000","ISBN":"https:\/\/id.crossref.org\/isbn\/9810238282"},{"key":"8","unstructured":"[Col15] M. Collowald, Multivariate moment problems : applications of the reconstruction of linear forms on the polynomial ring, Theses, Universit\u00e9 Nice Sophia Antipolis, December 2015."},{"key":"9","unstructured":"[CH15] M. Collowald and E. Hubert, A moment matrix approach to computing symmetric cubatures, \\url{https:\/\/hal.inria.fr\/hal-01188290}, also part of \\cite{Collowald15phd}, 2015."},{"key":"10","series-title":"Graduate Texts in Mathematics","isbn-type":"print","volume-title":"Using algebraic geometry","volume":"185","author":"Cox, David A.","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/0387207066","edition":"2"},{"key":"11","series-title":"Undergraduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16721-3","volume-title":"Ideals, varieties, and algorithms","author":"Cox, David A.","year":"2015","ISBN":"https:\/\/id.crossref.org\/isbn\/9783319167206","edition":"4"},{"issue":"3","key":"12","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/BF02571803","article-title":"The least solution for the polynomial interpolation problem","volume":"210","author":"de Boor, Carl","year":"1992","journal-title":"Math. Z.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5874","issn-type":"print"},{"issue":"2","key":"13","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1006\/aima.1998.1787","article-title":"Computation of invariants for reductive groups","volume":"141","author":"Derksen, Harm","year":"1999","journal-title":"Adv. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0001-8708","issn-type":"print"},{"key":"14","series-title":"Encyclopaedia of Mathematical Sciences","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48422-7","volume-title":"Computational invariant theory","volume":"130","author":"Derksen, Harm","year":"2015","ISBN":"https:\/\/id.crossref.org\/isbn\/9783662484203","edition":"2"},{"issue":"3","key":"15","doi-asserted-by":"publisher","first-page":"035201","DOI":"10.1088\/1751-8113\/48\/3\/035201","article-title":"The action of the special orthogonal group on planar vectors: integrity bases via a generalization of the symbolic interpretation of Molien functions","volume":"48","author":"Dhont, Guillaume","year":"2015","journal-title":"J. Phys. A","ISSN":"https:\/\/id.crossref.org\/issn\/1751-8113","issn-type":"print"},{"key":"16","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0395-7","volume-title":"Group theoretical methods and their applications","author":"F\u00e4ssler, A.","year":"1992","ISBN":"https:\/\/id.crossref.org\/isbn\/0817635270"},{"key":"17","isbn-type":"print","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/1576702.1576725","article-title":"Solving systems of polynomial equations with symmetries using SAGBI-Gr\u00f6bner bases","author":"Faug\u00e8re, Jean-Charles","year":"2009","ISBN":"https:\/\/id.crossref.org\/isbn\/9781605586090"},{"key":"18","isbn-type":"print","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1145\/2465506.2465944","article-title":"Gr\u00f6bner bases of ideals invariant under a commutative group: the non-modular case","author":"Faug\u00e8re, Jean-Charles","year":"2013","ISBN":"https:\/\/id.crossref.org\/isbn\/9781450320597"},{"issue":"4","key":"19","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1016\/0021-9991(77)90005-5","article-title":"Computation of cubic harmonics","volume":"25","author":"Fox, Kenneth","year":"1977","journal-title":"J. Comput. Phys.","ISSN":"https:\/\/id.crossref.org\/issn\/0021-9991","issn-type":"print"},{"key":"20","doi-asserted-by":"crossref","unstructured":"[Gat90] K. Gatemann, Symbolic solution polynomial equation systems with symmetry, Proceedings of the International Symposium on Symbolic and Algebraic Computation (New York, NY, USA), ISSAC \u201990, Association for Computing Machinery, 1990, pp. 112\u2013119.","DOI":"10.1145\/96877.96907"},{"key":"21","series-title":"Lecture Notes in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0104059","volume-title":"Computer algebra methods for equivariant dynamical systems","volume":"1728","author":"Gatermann, Karin","year":"2000","ISBN":"https:\/\/id.crossref.org\/isbn\/3540671617"},{"issue":"1-2","key":"22","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1006\/jsco.1998.0277","article-title":"Gr\u00f6bner bases, invariant theory and equivariant dynamics","volume":"28","author":"Gatermann, Karin","year":"1999","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"issue":"1-3","key":"23","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.jpaa.2003.12.011","article-title":"Symmetry groups, semidefinite programs, and sums of squares","volume":"192","author":"Gatermann, Karin","year":"2004","journal-title":"J. Pure Appl. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0022-4049","issn-type":"print"},{"key":"24","series-title":"Johns Hopkins Series in the Mathematical Sciences","isbn-type":"print","volume-title":"Matrix computations","volume":"3","author":"Golub, Gene H.","year":"1983","ISBN":"https:\/\/id.crossref.org\/isbn\/0801830109"},{"key":"25","series-title":"Applied Mathematical Sciences","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4574-2","volume-title":"Singularities and groups in bifurcation theory. Vol. II","volume":"69","author":"Golubitsky, Martin","year":"1988","ISBN":"https:\/\/id.crossref.org\/isbn\/0387966528"},{"issue":"6","key":"26","doi-asserted-by":"publisher","first-page":"1315","DOI":"10.1007\/s10208-018-9404-1","article-title":"Rational invariants of even ternary forms under the orthogonal group","volume":"19","author":"G\u00f6rlach, Paul","year":"2019","journal-title":"Found. Comput. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/1615-3375","issn-type":"print"},{"key":"27","series-title":"Cambridge Library Collection","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511708534","volume-title":"The algebra of invariants","author":"Grace, John Hilton","year":"2010","ISBN":"https:\/\/id.crossref.org\/isbn\/9781108013093"},{"issue":"4","key":"28","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01208503","article-title":"Ueber die Theorie der algebraischen Formen","volume":"36","author":"Hilbert, David","year":"1890","journal-title":"Math. Ann.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5831","issn-type":"print"},{"key":"29","isbn-type":"print","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/2442829.2442862","article-title":"Rational invariants of scalings from Hermite normal forms","author":"Hubert, Evelyne","year":"2012","ISBN":"https:\/\/id.crossref.org\/isbn\/9781450312691"},{"issue":"4","key":"30","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s10208-013-9165-9","article-title":"Scaling invariants and symmetry reduction of dynamical systems","volume":"13","author":"Hubert, Evelyne","year":"2013","journal-title":"Found. Comput. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/1615-3375","issn-type":"print"},{"issue":"302","key":"31","doi-asserted-by":"publisher","first-page":"3029","DOI":"10.1090\/mcom\/3076","article-title":"Computation of invariants of finite abelian groups","volume":"85","author":"Hubert, Evelyne","year":"2016","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"32","series-title":"CMS Books in Mathematics\/Ouvrages de Math\\'{e}matiques de la SMC","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3542-0","volume-title":"Reflection groups and invariant theory","volume":"5","author":"Kane, Richard","year":"2001","ISBN":"https:\/\/id.crossref.org\/isbn\/038798979X"},{"issue":"2","key":"33","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1006\/jsco.1998.0247","article-title":"An algorithm to calculate optimal homogeneous systems of parameters","volume":"27","author":"Kemper, Gregor","year":"1999","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"34","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.jsc.2012.05.002","article-title":"Minimal generating sets of non-modular invariant rings of finite groups","volume":"48","author":"King, Simon A.","year":"2013","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"issue":"300","key":"35","doi-asserted-by":"publisher","first-page":"2011","DOI":"10.1090\/mcom3032","article-title":"Explicit Galois obstruction and descent for hyperelliptic curves with tamely cyclic reduced automorphism group","volume":"85","author":"Lercier, Reynald","year":"2016","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"36","series-title":"Cambridge Mathematical Library","isbn-type":"print","volume-title":"The algebraic theory of modular systems","author":"Macaulay, F. S.","year":"1994","ISBN":"https:\/\/id.crossref.org\/isbn\/0521455626"},{"key":"37","isbn-type":"print","first-page":"313","article-title":"Construction de courbes de genre 2 \u00e0 partir de leurs modules","author":"Mestre, Jean-Fran\u00e7ois","year":"1991","ISBN":"https:\/\/id.crossref.org\/isbn\/0817635467"},{"issue":"1-6","key":"38","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/S0370-1573(00)00088-0","article-title":"Symmetry, invariants, topology. Basic tools","volume":"341","author":"Michel, L.","year":"2001","journal-title":"Phys. Rep.","ISSN":"https:\/\/id.crossref.org\/issn\/0370-1573","issn-type":"print"},{"issue":"4","key":"39","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1023\/A:1018937723499","article-title":"\ud835\udc3b-bases for polynomial interpolation and system solving","volume":"12","author":"M\u00f6ller, H. Michael","year":"2000","journal-title":"Adv. Comput. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/1019-7168","issn-type":"print"},{"key":"40","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/BF01593094","article-title":"Cubic harmonics as linear combinations of spherical harmonics","volume":"23","author":"Muggli, J\u00fcrg","year":"1972","journal-title":"Z. Angew. Math. Phys.","ISSN":"https:\/\/id.crossref.org\/issn\/0044-2275","issn-type":"print"},{"key":"41","unstructured":"[MZF92] J. Mundy, A. Zisserman, and D. Forsyth (eds.), Application of Invariance in Computer Vision, Lecture Notes in Computer Science, Springer-Verlag, 1992."},{"issue":"6","key":"42","doi-asserted-by":"publisher","first-page":"1407","DOI":"10.1007\/s10208-016-9324-x","article-title":"About Gordan\u2019s algorithm for binary forms","volume":"17","author":"Olive, Marc","year":"2017","journal-title":"Found. Comput. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/1615-3375","issn-type":"print"},{"key":"#cr-split#-43.1","doi-asserted-by":"crossref","unstructured":"[PV94] V. L. Popov and Eh. B. Vinberg, Invariant theory, (English. Russian original) Zbl 0789.14008 Algebraic geometry. IV: Linear algebraic groups, invariant theory, Encycl. Math. Sci. 55, 123-278 (1994)","DOI":"10.1007\/978-3-662-03073-8_2"},{"key":"#cr-split#-43.2","unstructured":"translation from Itogi Nauki Tekh., Ser. Sovrem. Probl. Mat., Fundam. Napravleniya 55, 137-309 (1989). \\url{https:\/\/link.springer.com\/chapter\/10.1007\/978-3-662-03073-8_{2}}."},{"issue":"1","key":"44","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1287\/moor.1120.0558","article-title":"Exploiting symmetries in SDP-relaxations for polynomial optimization","volume":"38","author":"Riener, Cordian","year":"2013","journal-title":"Math. Oper. Res.","ISSN":"https:\/\/id.crossref.org\/issn\/0364-765X","issn-type":"print"},{"key":"45","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jsc.2021.01.004","article-title":"Multivariate interpolation: preserving and exploiting symmetry","volume":"107","author":"Rodriguez Bazan, Erick","year":"2021","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"46","doi-asserted-by":"crossref","unstructured":"[RBH22] E. Rodriguez Bazan and E. Hubert, Symmetry in multivariate ideal interpolation, Journal of Symbolic Computation (2022).","DOI":"10.1016\/j.jsc.2022.08.014"},{"key":"47","series-title":"Graduate Texts in Mathematics, Vol. 42","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-9458-7","volume-title":"Linear representations of finite groups","author":"Serre, Jean-Pierre","year":"1977","ISBN":"https:\/\/id.crossref.org\/isbn\/0387901906"},{"issue":"1","key":"48","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1007\/BF01201387","article-title":"Die irreduziblen Darstellungen der symmetrischen Gruppe","volume":"39","author":"Specht, Wilhelm","year":"1935","journal-title":"Math. Z.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5874","issn-type":"print"},{"issue":"3","key":"49","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1090\/S0273-0979-1979-14597-X","article-title":"Invariants of finite groups and their applications to combinatorics","volume":"1","author":"Stanley, Richard P.","year":"1979","journal-title":"Bull. Amer. Math. Soc. (N.S.)","ISSN":"https:\/\/id.crossref.org\/issn\/0273-0979","issn-type":"print"},{"key":"50","series-title":"Texts and Monographs in Symbolic Computation","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-4368-1","volume-title":"Algorithms in invariant theory","author":"Sturmfels, Bernd","year":"1993","ISBN":"https:\/\/id.crossref.org\/isbn\/3211824456"},{"issue":"2","key":"51","first-page":"41","article-title":"Higher Specht polynomials for the symmetric group","volume":"69","author":"Terasoma, Tomohide","year":"1993","journal-title":"Proc. Japan Acad. Ser. A Math. Sci.","ISSN":"https:\/\/id.crossref.org\/issn\/0386-2194","issn-type":"print"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.ams.org\/mcom\/2022-91-337\/S0025-5718-2022-03749-2\/S0025-5718-2022-03749-2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T04:39:47Z","timestamp":1776832787000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2022-91-337\/S0025-5718-2022-03749-2\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,8]]},"references-count":52,"journal-issue":{"issue":"337","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["S0025-5718-2022-03749-2"],"URL":"https:\/\/doi.org\/10.1090\/mcom\/3749","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2022,7,8]]}}}