Traduction de quelques termes mathématiques

Anglais --> Français

Ce dictionnaire ne comprend que quelques difficultés spécifiques des textes mathématiques (abréviations, traductions non classiques, mots techniques spécifiques à la langue, ...)

voir aussi le dictionnaire Français --> Anglais et les versions TeX A->F et F->A


Pour toute suggestion, écrire à Eric Reyssat

- : rupture (corps de -) pas de mot en anglais
1-1, one-to-one : injectif, bijectif on dit aussi bijective en anglais. 1-1 and onto is bijective
abelian (- group, - variety) : abélien (groupe -, variété -ne) Mais Galois field, Galois extension, diophantine equation
alternating group : alterné (groupe -) participe passé en français, participe présent en anglais
annulus : couronne entre 2 anneaux. Ne pas confondre avec ring.
approximation calculus : approché (calcul -) adjectif en français
base-point free : sans point de base
bijective, one to one : bijective voir aussi injective
blow up : éclater une variété en un point
blowing up : éclatement d'une variété
body (convex -) : corps convexe ne pas confondre avec field en algèbre
boundary value problem : limites (problème aux -)
brace : accolade
bracket (square -) : crochet crochet de Lie, $K[X]$. Bracket seul veut dire parfois parenthèse
branch point : ramification (point de -), ramifié (point -)
bundle : fibré, faisceau voir aussi sheaf=faisceau. Ex : line bundle = fibré en droites
calculus : analyse (élémentaire), calcul differential calculus, calculus of variation (mais un calcul précis se traduit computation)
cancel : annuler, réduire, simplifier simplifier au sens [a+c=b+c implique que a=b]
cancellation : annulation, réduction, simplification simplification au sens [a+c=b+c implique que a=b]
casting out nines : neuf (preuve par -)
chain rule : composées (règle de dérivation des fonctions -)
chart : carte (d'un atlas), table attention : map=application, chart=carte
chinese remainder theorem : chinois (théorème -) le mot remainder est plus fréquent en anglais que reste en français
circumcircle : circonscrit (cercle -)
class number : nombre de classes
closed curve, closed path, circuit : lacet, chemin fermé terminologie mouvante suivant les hypothèses de régularité du chemin
commutator subgroup : dérivé (sous-groupe -)
congruent : congru, congruent réels congrus mod 1, entiers congrus mod 5, matrices congruentes. Un seul mot en anglais.
continued fraction : continue (fraction -) mais continuous function
continuous fonction : continue (fonction -) mais continued fraction
contour integral, path integral : curviligne (intégrale -)
converse : réciproque d'une assertion. Mais reciprocal polynomial
coset : classe d'équivalence
covering : revêtement
cross product : vectoriel (produit -) de vecteurs
cross ratio : birapport de 4 points
curl : rotationnel
cusp : pointe d'une courbe modulaire
cusp : rebroussement (point de -) d'une courbe
cusp(idal) form : parabolique (forme -)
cyclic : monogène, cyclique En français les groupes cycliques sont finis (on dit monogène sinon), pas forcément en anglais.
decomposition (or splitting) field : décomposition (corps de -)
differentiate : dériver ou différentier un seul mot en anglais
diophantine (- equation ,...) : diophantienne (équation -, ...) mais Galois field et abelian group.
division algebra, division ring, skew field : corps gauche, algèbre à division on emploie plus division algebra en anglais et corps gauche en français
domain : connexe (ouvert -) car l'anneau des fonctions holomorphes sur un ouvert connexe est intègre
domain : intègre (anneau -)
dot product, scalar product : scalaire (produit -) l'application $(x,y)\to x\cdot y$ est un scalar product, le résultat $x \cdot y$ est le dot product of $x$ and $y.$
effective divisor : effectif, positif (diviseur -)
eigenvalue : propre (valeur -) de même eigenvector, eigenfunction
embedding : plongement =morphisme injectif. Ne pas confondre avec imbedding=immersion
end : extrémité d'un segment
endless : infini, sans fin curve
entire (function) : entière (fonction -)
Euclid's (or euclidean) algorithm : Euclide (algorithme d'-), euclidienne (division -) pas d'adjectif en français
even : pair, même 3 is an odd prime, but 2 is even more odd because it is even !
expansion (partial fraction -) : décomposition ( - en éléments simples)
expansion (power series -, Taylor -) : développement (en série entière, - limité)
field : corps
finitely generated (group, ...) : type fini (groupe de -, ...)
fractional line : fraction (trait de -)
fundamental theorem of algebra : théorème de d'Alembert-Gauss $\C$ est algébriquement clos
Galois extension : galoisienne (extension -) adjectif en français, nom propre en anglais. Mais on dit abelian variety et diophantine equation !
Galois field, finite field : corps fini
gap : lacune, trou ex: trou de Weierstrass=Weierstrass gap
gap series, lacunary series : lacunaire (série -)
gcd : greatest common divisor : pgcd : plus grand diviseur commun
genus (of curve or field) : genre (d'une courbe ou d'un corps)
higher derivative : supérieur (dérivée d'ordre -) on dit parfois dérivée supérieure
homomorphism : morphisme le homo est plus courant en anglais qu'en français
hull (convex -) : enveloppe convexe
identity : identité
identity element : neutre (élément -)
identity element : unité (élément -)
imbedding : immersion Ne pas confondre avec embedding=plongement
incircle : inscrit (cercle -)
index : indice d'un sous-groupe, ramification, ...
induction : récurrence
infinite number of (an -) : infinité (une - de)
infinity : infini,( infinité???) un seul mot en anglais (et en français ???)
inner automorphisme : intérieur (automorphisme -)
integral (- domain) : intègre (anneau -)
integral element : entier (élément -) sur un anneau
last but one, penultimate : avant-dernier, pénultième
lattice : réseau
lattice point : point du réseau
lcm : least common multiple : ppcm : plus petit multiple commun
lhs = left hand side : gauche (membre de -) d'une équation
linearly dependent : liée (famille -) dans un module ou espace vectoriel
linearly independent family : libre (famille -) dans un module ou espace vectoriel
locus (singular -, ...) : lieu (singulier, ...)
lower (bound, limit, ...) : inférieure (borne -, limite -, ...)
manifold : variété au sens topologique. ne pas confondre avec variety.
many valued function : multiforme (fonction -)
map, mapping : application attention : map=application, chart=carte
Möbius group : homographies (groupe des -)
Möbius transformation : homographie ne pas confondre avec Möbius function=fonction de Möbius
monic polynomial : unitaire (polynôme -) et non unitary
Néron model : Modèle de Néron mais Néron's theorem
nonnegative : positif (ou nul) et non pas positive
normal : distingué (ou normal) sous-groupe -
nowhere dense : rare, partout non dense
Nullstellensatz (Hilbert's -) : Nullstellensatz (ou théorème des zéros) de Hilbert jamais traduit en anglais, parfois en français
number field : nombres (corps de -)
odd : impair, singulier 3 is an odd prime, but 2 is even more odd because it is even !
one to one : injective, bijective on dit aussi bijective en anglais. One to one and onto is bijective
onto (for a map) : surjective (application -)
open mapping theorem : Riemann (th. de -) Le français ne précise que rarement "théorème de l'application ouverte", l'anglais cite peu Riemann.
order of a group, field, ... : cardinal ou ordre d'un groupe, cardinal d'un corps on ne dit pas l'ordre d'un corps
outer automorphism : extérieur (automorphisme -)
pair : paire, couple paire n'est jamais couple en français
pairing : accouplement
parenthesis, bracket : parenthèse voir aussi bracket=crochet
PID (principal ideal domain) : principal (anneau -)
piecewise continuous : morceaux (continu par -)
pigeonhole principle : principe des tiroirs
point (floating -) : virgule flottante car la virgule est remplacée par un point en anglais.
positive : strictement positif mais (positif = non negative) !
power series : entière (série -) mais 2 puissance 5 = 2 to the fifth power
prime ideal : idéal premier et non pas first !
proper : propre morphisme
qed : quod erat demonstrandum : cqfd : ce qu'il fallait démontrer
raise $x$ to the power $n$ (to -) : élever $x$ à la puissance $n$
ramified (ideal, place, ...) : ramifié (idéal, place, ...)
range : domaine de valeurs de la fonction ou parfois de la variable
ray class field : rayon (corps de -)
reciprocal polynomial : réciproque (polynôme -) mais the converse is true
removable singularity : apparente (singularité -)
rhs : right hand side : droite (membre de -) d'une équation
row : ligne d'une matrice
ruled surface : surface réglée
saddle point : col, selle (point -)
schlicht, univalent : univalent, à un feuillet l'anglais garde volontiers le mot allemand
self-intersection : self-intersection On garde le mot anglais
sheaf : faisceau
sieve : crible
skew field : gauche (corps -) mais space curve
skew symetric : antisymétrique
smooth : $C^\infty$, lisse courbe, fonction
space curve : gauche (courbe -) mais skew field
split extension : scindée (extension -)
splitting (or decomposition) field : décomposition (corps de -)
square (to -) : carré (élever au -) de même to cube
square root : carrée (racine -) et non squared. De même cube root
squarefree : sans facteur carré
superscript, exponent : exposant superscript est typographique, exponent plus mathématique
Taylor expansion : limité (développement -)
UFD (unique factorisation domain) : factoriel (anneau -)
uncountable : non dénombrable, indénombrable
unit : unité (élément inversible d'un anneau). Ne pas confondre avec unity.
unitary ring, unital ring, ring with unity : unitaire (anneau -) ne pas confondre avec monic
unity : unité l'unique élément unité d'un anneau : ex roots of unity. Ne pas confondre avec unit.
upper bound : majorant
upper bound (least -), supremum : supérieure (borne -)
variety : variété au sens variété algébrique ou analytique, avec singularités. ne pas confondre avec manifold
vector (- space, - analysis, ...) : vectoriel (espace, analyse, ...) adjectif en français, nom apposé en anglais
Weil's theorem : théorème de Weil mais Weil height sans apostrophe, Hermite theorem sans apostrophe, Mordell-Weil theorem sans apostrophe
winding number (of a closed path) : indice (d'un lacet par rapport à un point)
wlog (without loss of generality) : sans perte de généralité
zen (= then) : mézalor (= mais alors) unique occurrence dans Samuel, th. alg des nombres, p62)
zero (set of measure -) : nulle (ensemble de mesure -)