On the arity of functions (Q685300)

Par référence à la notion d'arité sur les arbres nous avons une notion d'arité sur les fonctions: une fonction de \(n\) variables est d'arité \(m\) \((m \leq n)\) si elle est de degré nul en exactement \(n-m\) variables. Nous étudions l'action naturelle du groupe symétrique de degré \(n\) sur les anneaux des polynômes en \(n\) variables. Si un polynôme de \(n\) variables est d'arité \(m\) alors l'action du groupe symétrique de degré \(m\) sur \(f\) suffit alors à effectuer certains calculs (Théorème 1.3). La réduction du groupe symétrique de degré \(n\) à celui de degré \(m\) peut être étendue à des groupes plus généraux que le groupe symétrique moyennant deux hypothèses restrictives (Théorème 3.3). Nous terminons sur le cas de produits directs de groupes (Théorème 4.2). Les Théorèmes 1.3 et 4.2 permettent en particulier d'obtenir de gains notables dans les calculs des résolvantes et des multi-résolvantes intervenant dans les recherche de groupes de Galois ou de polynômes minimaux d'extensions de corps. Cette application est déjà implantée et sera disponible dans la prochaine version du système de calcul formel Macsyma.