Linearly ordered group

In mathematics, specifically abstract algebra, a linearly ordered or totally ordered group is a group G equipped with a total order "≤" that is translation-invariant. This may have different meanings. We say that (G, ≤) is a: left-ordered group if ≤ is left-invariant, that is a ≤ b implies ca ≤ cb for all a, b, c in G, right-ordered group if ≤ is right-invariant, that is a ≤ b implies ac ≤ bc for all a, b, c in G, bi-ordered group if ≤ is bi-invariant, that is it is both left- and right-invariant. A group G is said to be left-orderable (or right-orderable, or bi-orderable) if there exists a left- (or right-, or bi-) invariant order on G. A simple necessary condition for a group to be left-orderable is to have no elements of finite order; however this is not a sufficient condition. It is equivalent for a group to be left- or right-orderable; however there exist left-orderable groups which are not bi-orderable. In this section is a left-invariant order on a group with identity element . All that is said applies to right-invariant orders with the obvious modifications. Note that being left-invariant is equivalent to the order defined by if and only if being right-invariant. In particular a group being left-orderable is the same as it being right-orderable. In analogy with ordinary numbers we call an element of an ordered group positive if . The set of positive elements in an ordered group is called the positive cone, it is often denoted with ; the slightly different notation is used for the positive cone together with the identity element. The positive cone characterises the order ; indeed, by left-invariance we see that if and only if . In fact a left-ordered group can be defined as a group together with a subset satisfying the two conditions that: for we have also ; let , then is the disjoint union of and . The order associated with is defined by ; the first condition amounts to left-invariance and the second to the order being well-defined and total. The positive cone of is .

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

Concepts associés (5)

Séances de cours associées (5)

Analyse réelle : Séquences et limites

Couvre les séquences réelles, l'induction, les limites et la convergence dans l'analyse mathématique.

Analyse des composantes principales

Couvre l'analyse des composants principaux, une technique de réduction de dimensionnalité et d'analyse des types de gènes.

Mots, jetons, n-grammes et modèles linguistiques

Explore les mots, les jetons, les n-grammes et les modèles linguistiques, en mettant l'accent sur les approches probabilistes pour l'identification des langues et la correction des erreurs d'orthographe.

Nombre réel

En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entière et une liste finie ou infinie de décimales. Cette définition s'applique donc aux nombres rationnels, dont les décimales se répètent de façon périodique à partir d'un certain rang, mais aussi à d'autres nombres dits irrationnels, tels que la racine carrée de 2, π et e.

Groupe archimédien

Un groupe archimédien est, en algèbre générale, un groupe totalement ordonné vérifiant la propriété d'Archimède, à savoir: pour toute paire d'éléments positifs du groupe, on peut majorer l'un par un multiple entier de l'autre. Par exemple, l'ensemble R des nombres réels muni de l'addition et de la relation d'ordre usuelle est un groupe archimédien. Le terme d'archimédien, popularisé par le mathématicien Otto Stolz, fait référence au mathématicien grec Archimède qui énonce cette propriété dans ses travaux.

Linearly ordered group