Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Algorithms for fundamental invariants and equivariants: (of finite groups)

Evelyne Hubert 1 Erick Rodriguez Bazan 1
1 AROMATH - AlgebRe, geOmetrie, Modelisation et AlgoriTHmes
CRISAM - Inria Sophia Antipolis - Méditerranée , NKUA - National and Kapodistrian University of Athens
Abstract : For a finite group, we present three algorithms to compute a generating set of invariant simultaneously to generating sets of basic equivariants, i.e., equivariants for the irreducible representations of the group. The 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 second algorithm takes as input primary invariants and the output provides not only the scondary invariants but also free bases for the modules of basic equivariants. The third algorithm proceeds degree by degree, determining the fundamental invariants as forming the H-basis of the ideal of the Nullcone, and the fundamental equivariants as constituting the symmetry adapted basis of an invariant complement. Remarkably, the here presented algorithms are the very first algorithms to compute both the fundamental invariants and the fundamental equivariants simultaneously. Fundamental equivariants allow to assemble symmetry adapted bases 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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata
Contributor : Evelyne Hubert <>
Submitted on : Tuesday, April 27, 2021 - 9:11:16 AM
Last modification on : Wednesday, April 28, 2021 - 3:34:16 AM


Files produced by the author(s)


  • HAL Id : hal-03209117, version 1



Evelyne Hubert, Erick Rodriguez Bazan. Algorithms for fundamental invariants and equivariants: (of finite groups). 2021. ⟨hal-03209117⟩



Record views


Files downloads