En mathématiques, un polynôme sans carré est un polynôme défini sur un corps (commutatif), ou plus généralement sur un anneau factoriel, qui n'a pour facteur aucun carré d'un facteur non unitaire. Dans le cas des polynômes invariables sur un corps k, cela signifie que est sans carré si et seulement si pour chaque polynôme de degré positif. Dans les applications en physique et en génie, un polynôme sans carré est communément appelé un polynôme sans racines répétées. Ces polynômes sont appelés séparables, mais sur un corps parfait, être séparable équivaut à être sans carré.
Une décomposition sans carré ou une factorisation sans carré d'un polynôme est une factorisation en puissances de facteurs sans carré
où ceux des qui ne sont pas égaux à 1 sont des polynômes sans carré premiers entre eux. Chaque polynôme non nul avec des coefficients dans un corps admet une factorisation sans carré, unique à produit près des facteurs par des constantes non nulles. La factorisation sans carré est beaucoup plus facile à calculer que la factorisation complète en facteurs irréductibles, et est donc souvent préférée lorsque la factorisation complète n'est pas vraiment nécessaire, comme pour la décomposition décomposition en éléments simples et l' des fractions rationnelles. La factorisation sans carré est la première étape des algorithmes de factorisation polynomiale qui sont implémentés dans les systèmes d'algèbre informatique. Par conséquent, l'algorithme de factorisation sans carré est basique en algèbre informatique.
Dans le cas de polynômes en une variable sur un corps, tout facteur multiple d'un polynôme introduit un facteur commun non trivial de f et sa dérivée formelle f , donc une condition suffisante pour que f soit sans carré est que le plus grand diviseur commun de f et f soit 1. Cette condition est également nécessaire sur un corps de caractéristique 0 ou, plus généralement, sur un corps parfait, car sur un tel corps, tout polynôme irréductible est séparable, et donc premier avec sa dérivée.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
Text, sound, and images are examples of information sources stored in our computers and/or communicated over the Internet. How do we measure, compress, and protect the informatin they contain?
In algebra, the greatest common divisor (frequently abbreviated as GCD) of two polynomials is a polynomial, of the highest possible degree, that is a factor of both the two original polynomials. This concept is analogous to the greatest common divisor of two integers. In the important case of univariate polynomials over a field the polynomial GCD may be computed, like for the integer GCD, by the Euclidean algorithm using long division. The polynomial GCD is defined only up to the multiplication by an invertible constant.
Le calcul formel, ou parfois calcul symbolique, est le domaine des mathématiques et de l’informatique qui s’intéresse aux algorithmes opérant sur des objets de nature mathématique par le biais de représentations finies et exactes. Ainsi, un nombre entier est représenté de manière finie et exacte par la suite des chiffres de son écriture en base 2. Étant donné les représentations de deux nombres entiers, le calcul formel se pose par exemple la question de calculer celle de leur produit.
En mathématiques, la décomposition en éléments simples d'une fraction rationnelle (parfois appelée décomposition en fractions partielles) est son expression comme somme d'un polynôme et de fractions J/H où H est un polynôme irréductible et J un polynôme de degré strictement inférieur à celui de H. Cette décomposition est utilisée dans le calcul intégral pour faciliter la recherche des primitives de la fonction rationnelle associée. Elle est aussi utilisée pour calculer des transformées de Laplace inverses.
A decomposition of multicorrelation sequences for commuting transformations along primes, Discrete Analysis 2021:4, 27 pp. Szemerédi's theorem asserts that for every positive integer k and every δ>0 there exists n such that every subset of ${1, ...
2021
, ,
We study discretizations of polynomial processes using finite state Markov processes satisfying suitable moment matching conditions. The states of these Markov processes together with their transition probabilities can be interpreted as Markov cubature rul ...
We characterize the irreducible polynomials that occur as the characteristic polynomial of an automorphism of an even unimodular lattice of a given signature, generalizing a theorem of Gross and McMullen. As part of the proof, we give a general criterion i ...