Division d'un polynômeEn algèbre, l'anneau K[X] des polynômes à une indéterminée X et à coefficients dans un corps commutatif K, comme celui des nombres rationnels, réels ou complexes, dispose d'une division euclidienne, qui ressemble formellement à celle des nombres entiers. Si A et B sont deux polynômes de K[X], avec B non nul, il existe un unique couple (Q, R) de polynômes de K[X] tel que : Ici l'expression deg S, si S désigne un polynôme, signifie le degré de S.
Fonction d'agrégationIn database management, an aggregate function or aggregation function is a function where the values of multiple rows are processed together to form a single summary value. Common aggregate functions include: Average (i.e., arithmetic mean) Count Maximum Median Minimum Mode Range Sum Others include: Nanmean (mean ignoring NaN values, also known as "nil" or "null") Stddev Formally, an aggregate function takes as input a set, a multiset (bag), or a list from some input domain I and outputs an element of an output domain O.
Algebraic operationIn mathematics, a basic algebraic operation is any one of the common operations of arithmetic, which include addition, subtraction, multiplication, division, raising to a whole number power, and taking roots (fractional power). These operations may be performed on numbers, in which case they are often called arithmetic operations. They may also be performed, in a similar way, on variables, algebraic expressions, and more generally, on elements of algebraic structures, such as groups and fields.
Conjunctive queryIn database theory, a conjunctive query is a restricted form of first-order queries using the logical conjunction operator. Many first-order queries can be written as conjunctive queries. In particular, a large part of queries issued on relational databases can be expressed in this way. Conjunctive queries also have a number of desirable theoretical properties that larger classes of queries (e.g., the relational algebra queries) do not share.
Polynôme minimal (théorie des corps)thumb|Carl Friedrich Gauss utilise des polynômes minimaux appelés cyclotomiques pour déterminer les polygones constructibles à la règle et au compas. En théorie des corps, le polynôme minimal sur un corps commutatif K d'un élément algébrique d'une extension de K, est le polynôme unitaire de degré minimal parmi les polynômes à coefficients dans le corps de base K qui annulent l'élément. Il divise tous ces polynômes. C'est toujours un polynôme irréductible.
Variété (algèbre)En algèbre universelle, une variété est une classe équationnelle, c'est-à-dire une classe K non vide de structures algébriques de même signature qui satisfont un ensemble d'identités (appelé axiomatisation équationnelle de la classe). Un monoïde est un ensemble E muni d'une loi interne * associative et d'un élément neutre. Ainsi, pour tous éléments x, y, z d'un monoïde, les équations suivantes sont vérifiées : (x * y) * z = x * (y * z) x * e = x e * x = x De plus, ces trois équations caractérisent la notion de monoïde.
Restriction (mathématiques)thumb|La fonction x2 n'admet pas de réciproque sur la droite réelle. Il faut restreindre sur les réels positifs pour pouvoir définir la racine carrée . En mathématiques, la restriction d'une fonction f est une fonction, souvent notée f ou , pour laquelle on ne considère que les valeurs prises par f sur un domaine A inclus dans le domaine de définition de f. Soit f : E → F une fonction sur un ensemble E vers un ensemble F.
Fonction algébriqueEn mathématiques, une fonction algébrique d'indéterminées est une fonction F qui satisfait l'équation non triviale où P est un polynôme à n + 1 variables sur un corps commutatif K. En cela, F est une fonction implicite qui résout une équation algébrique. Un exemple simple serait La classe des fonctions algébriques contient toutes les fonctions rationnelles, mais est plus grande. Du point de vue de l'algèbre générale, il s'agit, pour tout ensemble fixé d'indéterminées, de la clôture algébrique du corps des fonctions rationnelles.
Ring of polynomial functionsIn mathematics, the ring of polynomial functions on a vector space V over a field k gives a coordinate-free analog of a polynomial ring. It is denoted by k[V]. If V is finite dimensional and is viewed as an algebraic variety, then k[V] is precisely the coordinate ring of V. The explicit definition of the ring can be given as follows. If is a polynomial ring, then we can view as coordinate functions on ; i.e., when This suggests the following: given a vector space V, let k[V] be the commutative k-algebra generated by the dual space , which is a subring of the ring of all functions .
Algèbre des termesEn logique mathématique, l'algèbre des termes est la structure algébrique libre sur une signature. Si la signature ne contient qu'un symbole de fonction binaire f, alors l'algèbre des termes sur un ensemble de variables X est exactement le magma libre sur X. Si x, y, z sont des variables de X, cette algèbre des termes contient les éléments suivants : x, y, z, f(x, x), f(x, f(x, y)), f(f(f(y, f(x), f(z, z)), y, x), etc. Le problème de décision associé à l'algèbre des termes est décidable et non élémentaire.
