É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 .
HomomorphismIn algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word homomorphism comes from the Ancient Greek language: ὁμός () meaning "same" and μορφή () meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German ähnlich meaning "similar" to ὁμός meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925).
Algèbre généraleL'algèbre générale, ou algèbre abstraite, est la branche des mathématiques qui porte principalement sur l'étude des structures algébriques et de leurs relations. L'appellation algèbre générale s'oppose à celle d'algèbre élémentaire ; cette dernière enseigne le calcul algébrique, c'est-à-dire les règles de manipulation des formules et des expressions algébriques. Historiquement, les structures algébriques sont apparues dans différents domaines des mathématiques, et n'y ont pas été étudiées séparément.
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.
QuasigroupeEn mathématiques, et plus précisément en algèbre générale, un quasigroupe est un ensemble muni d'une loi de composition interne (un magma) pour laquelle (en pensant cette loi comme une multiplication), il est possible de diviser, à droite comme à gauche, le quotient à droite et le quotient à gauche étant uniques. En d'autre termes l'opération de multiplication à droite est bijective, de même que celle de multiplication à gauche. La loi n'est pas nécessairement associative, et si elle l'est, le quasigroupe est un groupe.
Magma (algèbre)En mathématiques, un magma est une des structures algébriques utilisées en algèbre générale. Un magma est par définition un ensemble muni d'une loi de composition interne. Un magma est un ensemble muni d'une loi de composition interne , noté alors ou simplement . Aucun axiome n'est imposé. La loi de composition peut être notée additivement, multiplicativement, mais aussi sans aucun signe, par simple juxtaposition.
AdditionL'addition est une opération élémentaire, permettant notamment de décrire la réunion de quantités ou l'adjonction de grandeurs extensives de même nature, comme les longueurs, les aires, ou les volumes. En particulier en physique, l'addition de deux grandeurs ne peut s'effectuer numériquement que si ces grandeurs sont exprimées avec la même unité de mesure. Le résultat d'une addition est appelé une somme, et les nombres que l'on additionne, les termes.
MonoïdeEn mathématiques, un monoïde est une structure algébrique utilisée en algèbre générale, définie comme un ensemble muni d'une loi de composition interne associative et d'un élément neutre. Autrement dit, c'est un magma associatif et unifère, c'est-à-dire un demi-groupe unifère. Il arrive parfois qu'une structure composée d'un ensemble et d'une unique opération soit relativement pauvre en éléments inversibles, par exemple un anneau où l'on considère uniquement la multiplication. Une telle structure est appelée monoïde.
Anneau (mathématiques)vignette|Richard Dedekind - 1870 En algèbre, un anneau est un ensemble muni de deux lois de composition interne appelées addition et multiplication, qui vérifient des propriétés analogues à celles de ces opérations sur les entiers relatifs. Plus précisément, deux définitions sont représentées dans la littérature mathématique, selon la considération d'un élément neutre : la majorité des sources récentes définissent un « anneau » comme un anneau unitaire, avec la multiplication ayant un élément neutre ; tandis que, selon de nombreux ouvrages, la présence d'une unité multiplicative n'est pas requise, et ce type d'anneau est ailleurs dénommé pseudo-anneau.
AlgèbreL'algèbre (de l’arabe الجبر, al-jabr) est une branche des mathématiques qui permet d'exprimer les propriétés des opérations et le traitement des équations et aboutit à l'étude des structures algébriques. Selon l’époque et le niveau d’études considérés, elle peut être décrite comme : une arithmétique généralisée, étendant à différents objets ou grandeurs les opérations usuelles sur les nombres ; la théorie des équations et des polynômes ; depuis le début du , l’étude des structures algébriques (on parle d'algèbre générale ou abstraite).
Congruence relationIn abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is compatible with the structure in the sense that algebraic operations done with equivalent elements will yield equivalent elements. Every congruence relation has a corresponding quotient structure, whose elements are the equivalence classes (or congruence classes) for the relation. The prototypical example of a congruence relation is congruence modulo on the set of integers.
Free monoidIn abstract algebra, the free monoid on a set is the monoid whose elements are all the finite sequences (or strings) of zero or more elements from that set, with string concatenation as the monoid operation and with the unique sequence of zero elements, often called the empty string and denoted by ε or λ, as the identity element. The free monoid on a set A is usually denoted A∗. The free semigroup on A is the subsemigroup of A∗ containing all elements except the empty string. It is usually denoted A+.
ExponentiationEn mathématiques, l’exponentiation est une opération binaire non commutative qui étend la notion de puissance d'un nombre en algèbre. Elle se note en plaçant l'un des opérandes en exposant (d'où son nom) de l'autre, appelé base. Pour des exposants rationnels, l'exponentiation est définie algébriquement de façon à satisfaire la relation : Pour des exposants réels, complexes ou matriciels, la définition passe en général par l'utilisation de la fonction exponentielle, à condition que la base admette un logarithme : L'exponentiation ensembliste est définie à l'aide des ensembles de fonctions : Elle permet de définir l'exponentiation pour les cardinaux associés.
Divisionvignette|Division en tant que partage. Illustration de 20÷4 : partage d'un ensemble de 20 pommes en 4 parts égales. La division est une opération mathématique qui, à deux nombres a et b, associe un troisième nombre (loi de composition interne), appelé quotient ou rapport, et qui peut être notée : a : b ; a ÷ b (obélus) ; a / b (barre oblique, fraction en ligne) ; (fraction). Dans une première approche, on peut voir la quantité a÷b comme une séparation de la quantité a en b parts égales.
Élément absorbantEn mathématiques (algèbre), un élément absorbant (ou élément permis) d'un ensemble pour une loi de composition interne est un élément de cet ensemble qui transforme tous les autres éléments en l'élément absorbant lorsqu'il est combiné avec eux par cette loi. Soit un magma. Un élément de est dit : absorbant à gauche si ; absorbant à droite si ; absorbant s'il est absorbant à droite et à gauche. Dans un magma , l'élément absorbant, s'il existe : est unique : si et sont deux éléments absorbants, ; est idempotent : si est absorbant, .
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.
Treillis (ensemble ordonné)En mathématiques, un treillis () est une des structures algébriques utilisées en algèbre générale. C'est un ensemble partiellement ordonné dans lequel chaque paire d'éléments admet une borne supérieure et une borne inférieure. Un treillis peut être vu comme le treillis de Galois d'une relation binaire. Il existe en réalité deux définitions équivalentes du treillis, une concernant la relation d'ordre citée précédemment, l'autre algébrique. Tout ensemble muni d'une relation d'ordre total est un treillis.
SemilatticeIn mathematics, a join-semilattice (or upper semilattice) is a partially ordered set that has a join (a least upper bound) for any nonempty finite subset. Dually, a meet-semilattice (or lower semilattice) is a partially ordered set which has a meet (or greatest lower bound) for any nonempty finite subset. Every join-semilattice is a meet-semilattice in the inverse order and vice versa.
Élément neutreEn mathématiques, plus précisément en algèbre, un élément neutre (ou élément identité) d'un ensemble pour une loi de composition interne est un élément de cet ensemble qui laisse tous les autres éléments inchangés lorsqu'il est composé avec eux par cette loi. Un magma possédant un élément neutre est dit unifère. Soit un magma. Un élément de est dit : neutre à gauche si ; neutre à droite si ; neutre s'il est neutre à droite et à gauche.
Unit (ring theory)In algebra, a unit or invertible element of a ring is an invertible element for the multiplication of the ring. That is, an element u of a ring R is a unit if there exists v in R such that where 1 is the multiplicative identity; the element v is unique for this property and is called the multiplicative inverse of u. The set of units of R forms a group R^× under multiplication, called the group of units or unit group of R. Other notations for the unit group are R∗, U(R), and E(R) (from the German term Einheit).
