Lemme de Higman

Lemme de Higman

En mathématiques, le lemme de Higman est un résultat de la théorie des ordres qui affirme que, pour un ensemble X muni d'un bel ordre, l'ensemble X * des mots finis sur X muni de l'ordre sous-mot est également un bel ordre. C'est un cas particulier du théorème de Kruskal sur les arbres, qui se généralise à son tour en le théorème de Robertson-Seymour sur les graphes.


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Lemme de Higman de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Graham Higman — G. Higman en 1960 Graham Higman (né le 19 janvier 1917, mort le 8 avril 2008) est un mathématicien britannique connu pour ses contributions à la théorie des groupes. Il a fondé le Journal of Algebra  …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste de lemmes (mathématiques) — Liste de lemmes mathématiques par ordre alphabétique. En mathématiques, un lemme est un énoncé prouvé, mais jugé moins important que ce qu on appelle un théorème, qu il sert généralement à établir au cours d une démonstration. Néanmoins cette… …   Wikipédia en Français

  • Théorème de Kruskal — En mathématiques, le théorème des arbres de Kruskal est un résultat de théorie des graphes conjecturé en 1937 par Andrew Vázsonyi et démontré indépendamment en 1960 par Joseph Kruskal et S. Tarkowski[1], affirmant que l ensemble des arbres… …   Wikipédia en Français

  • Relation bien fondée — En mathématiques, une relation bien fondée est une relation binaire vérifiant la propriété supplémentaire suivante. Soit E un ensemble non vide. On dit qu une relation R sur E est bien fondée ou plus rarement nœthérienne (alors que l on devrait… …   Wikipédia en Français

  • Bel ordre — En mathématiques, plus précisément en théorie des ordres, un bel ordre ≤ sur un ensemble X est un ordre partiel sur X tel que, pour toute suite d éléments de X, il existe i et j tels que i < j et xi ≤ xj. Autrement dit, c est un ordre partiel …   Wikipédia en Français

  • Théorème de Robertson-Seymour — En mathématiques, et plus précisément en théorie des graphes, le théorème de Robertson–Seymour (parfois également appelé le théorème des mineurs, et connu, avant qu il soit démontré, sous le nom de conjecture de Wagner), est un théorème démontré… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • George Neville Watson — Naissance 31 janvier 1886 Westward Ho! (Devon) Décès 2 février 1965 Royal Leamington Spa (Warwickshire) Nationalité …   Wikipédia en Français

  • William Burnside — (Londres, 2 juillet 1852 West Wickham, 21 août 1927) est un mathématicien anglais. Ses premiers travaux en hydrodynamique le conduisent à étudier les …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”