Demi-groupe inversif | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

En 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. Dans cette page, on écrit la fonction à droite de son argument, soit au lieu de , une convention que l'on rencontre fréquemment dans la théorie des demi-groupes. Les demi-groupes inversifs ont été introduits indépendamment par en 1952 et par Gordon Preston en 1954. Les deux auteurs arrivent aux demi-groupes inversifs via leur étude des bijections partielles d'un ensemble: une transformation partielle ou fonction d'un ensemble est une application de sur , où et sont des sous-ensembles de . Si et sont deux transformations, de , on peut les composer (de gauche à droite) sur le plus grand domaine où la composition a un sens, à savoir où dénote l'inverse de . Wagner était le premier à observer que la composition de transformations partielles est un cas particulier du produit de relations binaires. Il a aussi noté que le domaine de composition de deux transformations partielles pouvait être l'ensemble vide, et il a introduit la transformation vide pour tenir compte de ceci. Avec l'adjonction de cette transformation vide, la composition de transformations partielles sur un ensemble devient une opération binaire partout définie. Muni de cette composition, l'ensemble de toutes les transformations partielles d'un ensemble forme un demi-groupe inversif, appelé le demi-groupe inversif symétrique ou monoïde inversif symétrique sur X. Ce demi-groupe est l'archétype d'un demi-groupe inversif, de manière analogue au rôle d'archétype joué par le groupe symétrique. Par exemple, tout comme un groupe peut être plongé dans un groupe symétrique, tout demi-groupe inversif peut être plongé dans un demi-groupe inversif symétrique (voir plus bas).

À propos de ce résultat

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.

Publications associées (1)

Concepts associés (11)

Cours associés (19)

Séances de cours associées (242)

MOOCs associés (9)

Algèbre Linéaire (Partie 1)

Un MOOC francophone d'algèbre linéaire accessible à tous, enseigné de manière rigoureuse et ne nécessitant aucun prérequis.

Algèbre Linéaire (Partie 1)

Un MOOC francophone d'algèbre linéaire accessible à tous, enseigné de manière rigoureuse et ne nécessitant aucun prérequis.

Algèbre Linéaire (Partie 2)

Un MOOC francophone d'algèbre linéaire accessible à tous, enseigné de manière rigoureuse et ne nécessitant aucun prérequis.

MATH-111(e): Linear Algebra

L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications.

PENS-211: Terra Epidermis

Ce projet transversal vise à expérimenter autour d'un cas d'étude choisi, les spécificités de « l'envers du sol ». Sur un site choisi, les étudiants seront invités à proposer un geste technique et arc

COM-102: Advanced information, computation, communication II

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?

Demi-groupe inversif

Special classes of semigroups

In 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.

Semigroup with involution

In 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.

The Mobius inversion formula of the free monogenic inverse semigroup is represented by the Mobius function for Cauchy product. In this short note we describe a Dirichlet analogue of this inverse semigroup.

Rocky Mountain Mathematics Consortium2011

Matrices et inverses élémentaires

Couvre le concept de matrices élémentaires et leur rôle dans l'obtention de l'inverse d'une matrice.

Caractérisation des matrices inversées

Explore les propriétés des matrices invertibles, y compris les solutions uniques et l'indépendance linéaire.

Polynômes caractéristiques et matrices similaires MATH-111(e): Linear Algebra

Explore les polynômes caractéristiques, la similarité des matrices et les valeurs propres dans les transformations linéaires.