Formule d'inversion de MöbiusLa formule d'inversion de Möbius classique a été introduite dans la théorie des nombres au cours du par August Ferdinand Möbius. Elle a été généralisée plus tard à d'autres « formules d'inversion de Möbius ». La version classique déclare que pour toutes fonctions arithmétiques f et g, on a si et seulement si f est la transformée de Möbius de g, où μ est la fonction de Möbius et les sommes portent sur tous les diviseurs strictement positifs d de n.
Fonction de MöbiusEn mathématiques, la fonction de Möbius désigne généralement une fonction multiplicative particulière, définie sur les entiers strictement positifs et à valeurs dans l'ensemble {–1, 0, 1}. Elle intervient dans la formule d'inversion de Möbius. Elle est utilisée dans des branches différentes des mathématiques. Vue sous un angle élémentaire, la fonction de Möbius permet certains calculs de dénombrement, en particulier pour l'étude des p-groupes ou en théorie des graphes.
Transformation de MöbiusEn mathématiques, et plus particulièrement en géométrie, les transformations de Möbius sont de manière générale des automorphismes du compactifié d'Alexandrov de noté , définies comme la composée d'un nombre fini d'inversions par rapport à des hyperplans ou des hypersphères.
Demi-groupeEn mathématiques, plus précisément en algèbre générale, un demi-groupe (ou semi-groupe) est une structure algébrique constituée d'un ensemble muni d'une loi de composition interne associative. Il est dit commutatif si sa loi est de plus commutative. Un demi-groupe est un magma associatif. Un monoïde est un demi-groupe unifère, c'est-à-dire possédant un élément neutre. L'ensemble des entiers naturels non nuls muni de l'addition est un demi-groupe. Tout monoïde est un demi-groupe. Tout groupe est un demi-groupe.
Fonction arithmétiqueEn théorie des nombres, une fonction arithmétique f est une application définie sur l'ensemble des entiers strictement positifs et à valeurs dans l'ensemble des nombres complexes. En d'autres termes, une fonction arithmétique n'est rien d'autre qu'une suite de nombres complexes, indexée par N*. Les fonctions arithmétiques les plus étudiées sont les fonctions additives et les fonctions multiplicatives. Une opération importante sur les fonctions arithmétiques est le produit de convolution de Dirichlet.
August Ferdinand MöbiusAugust Ferdinand Möbius (, né le à Bad Kösen dans le village de Schulpforta, électorat de Saxe, Saint-Empire et mort le à Leipzig, fut un mathématicien et astronome théoricien à l'université de Leipzig. Fils unique de Johann Heinrich Möbius, professeur de danse à Schulpforta, le jeune August Ferdinand naît dans le village. Trois ans plus tard son père meurt, il est alors élevé par sa mère, descendante de Martin Luther, qui s'occupe directement de son éducation jusqu'à ce qu'il ait atteint l'âge de 13 ans, avant d'entrer lui-même à Schulpforta.
Demi-groupe inversifEn mathématiques, et notamment en algèbre, un demi-groupe inversif est un demi-groupe où tout élément a un inverse unique au sens des demi-groupes : pour tout élément de , il existe un élément unique de tel que et . Les demi-groupes inversifs apparaissent dans un certain nombre de contextes. L'exemple le plus courant est le demi-groupe des bijections partielles d'une ensemble dans lui-même appelé le demi-groupe inversif symétrique ou monoïde inversif symétrique sur cet ensemble.
Incidence algebraIn order theory, a field of mathematics, an incidence algebra is an associative algebra, defined for every locally finite partially ordered set and commutative ring with unity. Subalgebras called reduced incidence algebras give a natural construction of various types of generating functions used in combinatorics and number theory. A locally finite poset is one in which every closed interval [a, b] = {x : a ≤ x ≤ b} is finite.
Élément symétriqueEn mathématiques, la notion d'élément symétrique généralise les concepts d'opposé en rapport avec l'addition et d'inverse en rapport avec la multiplication. Soit E un ensemble muni d'une loi de composition interne admettant un élément neutre . Soient deux éléments et de E. Si , est dit élément symétrique à gauche de et est dit élément symétrique à droite de . Si , est dit élément symétrique de .
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.
Fonction multiplicativeEn arithmétique, une fonction multiplicative est une fonction arithmétique f : N* → C vérifiant les deux conditions suivantes : f(1) = 1 ; pour tous entiers a et b > 0 premiers entre eux, on a : f (ab) = f(a)f(b). Une fonction complètement multiplicative est une fonction arithmétique g vérifiant : g(1) = 1 ; pour tous entiers a et b > 0, on a : g(ab) = g(a)g(b). Ces dénominations peuvent varier d'un ouvrage à un autre : fonction faiblement multiplicative pour fonction multiplicative, fonction multiplicative ou totalement multiplicative pour fonction complètement multiplicative.
Semigroup with involutionIn mathematics, particularly in abstract algebra, a semigroup with involution or a *-semigroup is a semigroup equipped with an involutive anti-automorphism, which—roughly speaking—brings it closer to a group because this involution, considered as unary operator, exhibits certain fundamental properties of the operation of taking the inverse in a group: uniqueness, double application "cancelling itself out", and the same interaction law with the binary operation as in the case of the group inverse.
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.
Möbius planeIn mathematics, the classical Möbius plane (named after August Ferdinand Möbius) is the Euclidean plane supplemented by a single point at infinity. It is also called the inversive plane because it is closed under inversion with respect to any generalized circle, and thus a natural setting for planar inversive geometry. An inversion of the Möbius plane with respect to any circle is an involution which fixes the points on the circle and exchanges the points in the interior and exterior, the center of the circle exchanged with the point at infinity.
Empty semigroupIn mathematics, a semigroup with no elements (the empty semigroup) is a semigroup in which the underlying set is the empty set. Many authors do not admit the existence of such a semigroup. For them a semigroup is by definition a non-empty set together with an associative binary operation. However not all authors insist on the underlying set of a semigroup being non-empty. One can logically define a semigroup in which the underlying set S is empty. The binary operation in the semigroup is the empty function from S × S to S.
Prime omega functionIn number theory, the prime omega functions and count the number of prime factors of a natural number Thereby (little omega) counts each distinct prime factor, whereas the related function (big omega) counts the total number of prime factors of honoring their multiplicity (see arithmetic function). That is, if we have a prime factorization of of the form for distinct primes (), then the respective prime omega functions are given by and . These prime factor counting functions have many important number theoretic relations.
Inversion géométriqueEn géométrie, l'inversion géométrique est l'étude de l'inversion, une transformation du plan euclidien qui envoie des cercles ou des lignes vers d'autres cercles ou lignes et qui préserve les angles entre les courbes de croisement. De nombreux problèmes difficiles en géométrie deviennent beaucoup plus faciles à résoudre lorsqu'une inversion est appliquée. L'inversion semble avoir été découverte par un certain nombre de personnes à la même époque, dont Steiner (1824), Quetelet (1825), Bellavitis (1836), Stubbs et Ingram (1842-3) et Kelvin (1845).
Semigroup with two elementsIn mathematics, a semigroup with two elements is a semigroup for which the cardinality of the underlying set is two. There are exactly five nonisomorphic semigroups having two elements: O2, the null semigroup of order two, LO2, the left zero semigroup of order two, RO2, the right zero semigroup of order two, ({0,1}, ∧) (where "∧" is the logical connective "and"), or equivalently the set {0,1} under multiplication: the only semilattice with two elements and the only non-null semigroup with zero of order two, also a monoid, and ultimately the two-element Boolean algebra, (Z2, +2) (where Z2 = {0,1} and "+2" is "addition modulo 2"), or equivalently ({0,1}, ⊕) (where "⊕" is the logical connective "xor"), or equivalently the set {−1,1} under multiplication: the only group of order two.
Presentation of a monoidIn algebra, a presentation of a monoid (or a presentation of a semigroup) is a description of a monoid (or a semigroup) in terms of a set Σ of generators and a set of relations on the free monoid Σ∗ (or the free semigroup Σ+) generated by Σ. The monoid is then presented as the quotient of the free monoid (or the free semigroup) by these relations. This is an analogue of a group presentation in group theory. As a mathematical structure, a monoid presentation is identical to a string rewriting system (also known as a semi-Thue system).
Special classes of semigroupsIn mathematics, a semigroup is a nonempty set together with an associative binary operation. A special class of semigroups is a class of semigroups satisfying additional properties or conditions. Thus the class of commutative semigroups consists of all those semigroups in which the binary operation satisfies the commutativity property that ab = ba for all elements a and b in the semigroup. The class of finite semigroups consists of those semigroups for which the underlying set has finite cardinality.
