Signature d'une permutationEn mathématiques, une permutation de support fini est dite paire si elle présente un nombre pair d'inversions, impaire sinon. La signature d'une permutation vaut 1 si celle-ci est paire, –1 si elle est impaire. L'application signature, du groupe symétrique dans le groupe ({–1, 1}, ×), est un morphisme, c'est-à-dire qu'elle vérifie une propriété analogue à la règle des signes. Toute permutation se décompose en un produit de transpositions.
Groupe de permutationsEn théorie des groupes (mathématiques), un groupe de permutations d'un ensemble X est par définition un sous-groupe du groupe symétrique SX. On parle d'un groupe de permutations de X ou, s'il n'est pas nécessaire de préciser l'ensemble X, d'un groupe de permutations. Pour un ensemble X, nous désignerons ici par SX et nous appellerons groupe symétrique de X l'ensemble des permutations de X, muni de la loi de groupe ∘ définie par f ∘ g : X → X, x ↦ f(g(x)). Cette définition convient à l'étude des actions à gauche d'un groupe sur un ensemble.
Permutation circulaireEn mathématiques, une permutation circulaire ou cycle est un cas particulier de permutation. Une permutation circulaire agit comme un décalage circulaire pour un certain nombre d'éléments, et laisse tous les autres inchangés. Les permutations circulaires permettent d'illustrer le fonctionnement général des permutations, puisqu'une permutation quelconque se décompose en un produit de cycles fonctionnant de manière indépendante. Soit un entier k ≥ 2. Une permutation est un k-cycle, ou permutation circulaire de longueur k, s'il existe des éléments a1, .
PermutationEn mathématiques, la notion de permutation exprime l'idée de réarrangement d'objets discernables. Une permutation d'objets distincts rangés dans un certain ordre correspond à un changement de l'ordre de succession de ces objets. La permutation est une des notions fondamentales en combinatoire, c'est-à-dire pour des problèmes de dénombrement et de probabilités discrètes. Elle sert ainsi à définir et à étudier le carré magique, le carré latin, le sudoku, ou le Rubik's Cube.
Extrême gaucheLe terme extrême gauche est employé depuis 1920 pour désigner une partie des groupes, mouvements, organisations et partis politiques, , dont les principaux furent d'obédience maoïste et trotskiste, qui souhaitent le renversement du capitalisme en faveur d'une société sans classes sociales, mais n'ont pas de représentation dans les assemblées parlementaires, car ils restent à l'écart des accords de désistement électoral et de gouvernement.
Gauche communisteLa gauche communiste, aussi appelée communisme de gauche, est une expression qui regroupe des courants politiques se réclamant du marxisme. Cette appellation réunit des courants politiques très différents, la majorité s'opposant à Lénine (le communisme de conseils, le luxemburgisme, les situationnistes, etc.), certains se réclamant d’une vision « plus partidiste » (courant critique issu de la Troisième Internationale, dès le début des années 1920 : essentiellement la gauche communiste italienne — cette dernière tradition se reconnaît principalement dans les deux premiers congrès de l'Internationale communiste alors que le trotskisme se réclame de ses quatre premiers congrès).
Nouvelle gaucheLa nouvelle gauche, ou New Left en anglais, est une expression utilisée pour qualifier un ensemble de mouvements de gauche et d'extrême gauche dans différents pays, essentiellement durant les années 1960 et 1970. Les remises en cause portées par la nouvelle gauche sont à la fois sociales, économiques, mais aussi philosophiques et même psychologiques (voir antipsychiatrie).
Gauche en FranceEn politique française, la gauche constitue l'ensemble des partis, familles et mouvements politiques français d'extrême gauche, de gauche, de mouvements écologistes ou de centre gauche, selon le spectre politique droite-gauche habituellement utilisé en France. D'autres représentations parlementaires concurrentes, de moindre postérité, furent historiquement employées : la Gironde, plaine ou marais et montagne sous la Révolution française ou résistance et mouvement sous la monarchie de Juillet.
Centre gaucheLe centre gauche est un positionnement politique qui se réclame à la fois de la gauche et du centre, se situant à droite de la gauche traditionnelle. Ceci peut se traduire par le rejet du marxisme et du communisme, ou le rejet du développement ou maintien d'un État interventionniste ou État-providence fort par adhésion au libéralisme économique. Selon Alain Noël et Jean-Philippe Thérien, professeurs de science politique .
Libertarisme de gaucheLe libertarisme de gauche ou libertarianisme de gauche est un courant de la philosophie politique qui partage avec le courant libertarien classique (anarcho-capitalisme, minarchisme de droite) des principes de liberté individuelle forts mais y ajoute une thèse égalitaire sur la propriété des ressources naturelles. Il est également question d'un libre-marché coopérativiste par l'abolition du salariat et l'instauration d'un entrepreneuriat volontariste non-hiérarchisé.
Gauche (politique)En politique, l'usage consiste à diviser les partis politiques en catégories générales qui formalisent une division bipartisane. Dans l'ensemble du champ politique, les forces politiques sont : la gauche, la droite, le centre, l'extrême droite et l'extrême gauche. La notion de gauche et celle de droite en politique est une construction progressive entre la fin du et le début du . La gauche désigne la partie gauche de l'hémicycle d'une assemblée parlementaire et les personnes et partis qui y siègent habituellement.
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.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
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.
Matrice de permutationUne matrice de permutation est une matrice carrée qui vérifie les propriétés suivantes : les coefficients sont 0 ou 1 ; il y a un et un seul 1 par ligne ; il y a un et un seul 1 par colonne. Ainsi : est une matrice de permutation. Les matrices de permutations carrées de taille n sont en bijection avec les permutations de l'ensemble {1,2,...n}. Si σ est une telle permutation, la matrice correspondante est de terme général Cette bijection est un morphisme de groupes : En utilisant cette identité avec deux permutations inverses l'une de l'autre, on obtient le fait qu'une matrice de permutation est inversible, et que son inverse est la matrice de la permutation inverse.
