Caractère de DirichletEn mathématiques, et plus précisément en arithmétique modulaire, un caractère de Dirichlet est une fonction particulière sur un ensemble de classes de congruences sur les entiers et à valeurs complexes. Elle a été utilisée par Dirichlet pour la démonstration de son théorème de la progression arithmétique. Dans cet article, n désigne un entier strictement positif et U le groupe des unités (Z/nZ) de l'anneau Z/nZ. Dans le corps C des nombres complexes, le conjugué d'un nombre c est noté .
Groupe abélienEn mathématiques, plus précisément en algèbre, un groupe abélien (du nom de Niels Abel), ou groupe commutatif, est un groupe dont la loi de composition interne est commutative. Vu autrement, un groupe commutatif peut aussi être défini comme un module sur l'anneau commutatif des entiers relatifs ; l'étude des groupes abéliens apparaît alors comme un cas particulier de la théorie des modules. On sait classifier de façon simple et explicite les groupes abéliens de type fini à isomorphisme près, et en particulier décrire les groupes abéliens finis.
Série de DirichletEn mathématiques, une série de Dirichlet est une série f(s) de fonctions définies sur l'ensemble C des nombres complexes, et associée à une suite (a) de nombres complexes de l'une des deux façons suivantes : Ici, la suite (λ) est réelle, positive, strictement croissante et non bornée. Le domaine de convergence absolue d'une série de Dirichlet est soit un demi-plan ouvert de C, limité par une droite dont tous les points ont même abscisse, soit l'ensemble vide, soit C tout entier. Le domaine de convergence simple est de même nature.
Théorème de la progression arithmétiqueEn mathématiques, et plus précisément en théorie des nombres, le théorème de la progression arithmétique, s'énonce de la façon suivante : Ce théorème est une généralisation du théorème d'Euclide sur les nombres premiers. Sa première démonstration, due au mathématicien allemand Gustav Lejeune Dirichlet en 1838, fait appel aux résultats de l'arithmétique modulaire et à ceux de la théorie analytique des nombres. La première démonstration « élémentaire » est due à Atle Selberg en 1949.
Groupe abélien de type finiEn mathématiques, un groupe abélien de type fini est un groupe abélien qui possède une partie génératrice finie. Autrement dit : c'est un module de type fini sur l'anneau Z des entiers relatifs. Par conséquent, les produits finis, les quotients, mais aussi les sous-groupes des groupes abéliens de type fini sont eux-mêmes de type fini. Un théorème de structure des groupes abéliens de type fini permet d'expliciter la liste complète de ces groupes à isomorphisme près ; il montre notamment que tout groupe abélien de type fini est un produit fini de groupes monogènes.
Nombre premiervignette|Nombres naturels de zéro à cent. Les nombres premiers sont marqués en rouge. vignette|Le nombre 7 est premier car il admet exactement deux diviseurs positifs distincts. Un nombre premier est un entier naturel qui admet exactement deux diviseurs distincts entiers et positifs. Ces deux diviseurs sont 1 et le nombre considéré, puisque tout nombre a pour diviseurs 1 et lui-même (comme le montre l’égalité n = 1 × n), les nombres premiers étant ceux qui ne possèdent pas d'autre diviseur.
Fonction Lvignette|Représentation de la fonction ζ de Riemann, exemple le plus classique de fonction L En mathématiques, la théorie des fonctions L est devenue une branche très substantielle, et encore largement conjecturelle, de la théorie analytique des nombres contemporaine. On y construit de larges généralisations de la fonction zêta de Riemann et même des séries L pour un caractère de Dirichlet et on y énonce de manière systématique leurs propriétés générales, qui dans la plupart des cas sont encore hors de portée d'une démonstration.
Théorème d'Euclide sur les nombres premiersEn arithmétique, le théorème d'Euclide sur les nombres premiers affirme qu'il existe une infinité de nombres premiers. Ce résultat est énoncé et démontré dans les Éléments d'Euclide, c'est la proposition 20 du livre IX. Il y prend cependant une forme différente : « les nombres premiers sont plus nombreux que n'importe quelle multitude de nombres premiers proposée », plus compatible avec la conception de l'infini de l'auteur. D'autres preuves ont ensuite été proposées, notamment par Euler.
Torsion-free abelian groupIn mathematics, specifically in abstract algebra, a torsion-free abelian group is an abelian group which has no non-trivial torsion elements; that is, a group in which the group operation is commutative and the identity element is the only element with finite order. While finitely generated abelian groups are completely classified, not much is known about infinitely generated abelian groups, even in the torsion-free countable case. Abelian group An abelian group is said to be torsion-free if no element other than the identity is of finite order.
Catégorie des groupes abéliensEn mathématiques, la catégorie des groupes abéliens est une construction qui rend compte abstraitement des propriétés observées en algèbre dans l'étude des groupes abéliens. La catégorie des groupes abéliens est la catégorie Ab définie ainsi : Les objets sont les groupes abéliens ; Les morphismes entre objets sont les morphismes de groupes. C'est donc une sous-catégorie pleine de la catégorie Grp des groupes. La catégorie des groupes abéliens s'identifie à la catégorie des modules sur : La catégorie Ab est monoïdale, et permet donc de définir une structure enrichie.
Convolution de DirichletEn mathématiques, la convolution de Dirichlet, encore appelée produit de convolution de Dirichlet ou produit de Dirichlet est une loi de composition interne définie sur l'ensemble des fonctions arithmétiques, c'est-à-dire des fonctions définies sur les entiers strictement positifs et à valeurs dans les nombres complexes. Cette loi de convolution est utilisée en arithmétique, aussi bien algébrique qu'analytique. On la trouve aussi pour résoudre des questions de dénombrement.
Groupe abélien libreEn mathématiques, un groupe abélien libre est un groupe abélien qui possède une base, c'est-à-dire une partie B telle que tout élément du groupe s'écrive de façon unique comme combinaison linéaire à coefficients entiers (relatifs) d'éléments de B. Comme les espaces vectoriels, les groupes abéliens libres sont classifiés (à isomorphisme près) par leur rang, défini comme le cardinal d'une base, et tout sous-groupe d'un groupe abélien libre est lui-même abélien libre.
Groupe divisibleEn mathématiques, et plus particulièrement en théorie des groupes, un groupe abélien divisible est un groupe abélien G tel que, pour tout nombre naturel n ≥ 1, on ait (en notation additive) G = nG. Ceci revient à dire que pour tout élément x de G et tout nombre naturel n ≥ 1, il existe au moins un élément y de G tel que x = ny. On peut étendre cette définition aux groupes non abéliens, un groupe divisible étant un groupe dans lequel (en notation multiplicative) tout élément est n-ième puissance, quel que soit l'entier naturel n ≥ 1.
Nombre de Mersenne premiervignette|droite|Le moine français Marin Mersenne (1588-1648) En mathématiques et plus précisément en arithmétique, un nombre de Mersenne est un nombre de la forme 2 − 1 (souvent noté ), où est un entier naturel non nul ; un nombre de Mersenne premier (ou nombre premier de Mersenne) est donc un nombre premier de cette forme. Ces nombres doivent leur nom au religieux érudit et mathématicien français du Marin Mersenne ; mais, près de auparavant, Euclide les utilisait déjà pour étudier les nombres parfaits.
Suite arithmétiqueEn mathématiques, une suite arithmétique est une suite (le plus souvent une suite de réels) dans laquelle chaque terme permet de déduire le suivant en lui ajoutant une constante appelée raison. Cette définition peut s'écrire sous la forme d'une relation de récurrence, pour chaque indice n : Cette relation est caractéristique de la progression arithmétique ou croissance linéaire. Elle décrit bien les phénomènes dont la variation est constante au cours du temps, comme l'évolution d'un compte bancaire à intérêts simples.
Suite géométriqueEn mathématiques, une suite géométrique est une suite de nombres dans laquelle chaque terme permet de déduire le suivant par multiplication par un facteur constant appelé raison. Ainsi, une suite géométrique a la forme suivante : La définition peut s'écrire sous la forme d'une relation de récurrence, c'est-à-dire que pour chaque entier naturel n : Le qualificatif « géométrique » réfère au fait que, dans une suite géométrique à termes positifs, un terme quelconque (à l'exception du premier) est égal à la moyenne géométrique du terme qui le précède et de celui qui lui succède.
Caractère de contrôleUn caractère de contrôle ou caractère non imprimable, en informatique et en télécommunications, est un point de code d’un jeu de caractères codés qui ne représente pas un symbole. Ces caractères sont notamment utilisés pour la mise en page : saut de page (FF), saut de ligne (LF), retour-chariot (CR), tabulation horizontale (HT), etc. En ASCII, ces caractères sont codés de 0 à 31 (+127) : NULL, BS, CR, LF, HT, DC1, SI, ESC (+DEL)...
Codage des caractèresvignette|alt=Carte rectangulaire beige clair avec dans le sens de la longueur 10 lignes constituées chacune d'une suite de chiffre identique, de 1 à 10. Des perforations verticales font disparaître certains de ces chiffres|Carte perforée à 80 colonnes, sur laquelle est codé le texte de programmation « CALL RCLASS (AAA, 21, NNC, PX3, PX4) ».
Caractère d'une représentation d'un groupe finiEn mathématiques le caractère d'une représentation d'un groupe fini est un outil utilisé pour analyser les représentations d'un groupe fini. Le caractère d'une représentation (V, ρ) d'un groupe G correspond à l'application de G dans le corps de l'espace de la représentation qui à un élément s associe la trace de l'image de s par ρ. Cette définition n'est pas compatible avec celle des caractères d'un groupe en général qui ne prend ses valeurs que dans l'ensemble des complexes non nuls.
Caractère (informatique)En informatique, un caractère est . Comme en typographie, un caractère informatique peut représenter une lettre , une lettre majuscule, un chiffre, un signe de ponctuation ; mais aussi un espace, une tabulation, un retour à la ligne et quelques autres opérations spéciales (sonnerie, effacement, etc.) qui ne représentent pas des symboles (caractères de contrôle). En informatique, la notion de caractère est une notion qui dans le principe associe à un glyphe un nombre, de manière à dissocier la représentation physique du caractère de sa signification.
