Higman's lemma

Higman's lemma

In mathematics, Higman's lemma states that the set of finite sequences over a well-quasi-ordered set of labels is itself well-quasi-ordered. This is a special case of the later Kruskal's tree theorem.

References

* Graham Higman. "Ordering by divisibility in abstract algebras." Proceedings of the London Mathematical Society (3), 2(7):326–336, September 1952

External links

* [http://www.cs.chalmers.se/pub/provers/alflib/html/node61.html]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Graham Higman — FRS (19 January 1917 ndash; 8 April 2008) was a leading British mathematician. He is known for his contributions to group theory. He earned his PhD from the University of Oxford in 1941. His thesis, The units of group rings , was written under… …   Wikipedia

  • List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   Wikipedia

  • Well-quasi-ordering — In mathematics, specifically order theory, a well quasi ordering or wqo is a well founded quasi ordering with an additional restriction on sequences that there is no infinite sequence x i with x i ot le x j for all i < j . Motivation We can use… …   Wikipedia

  • List of lemmas — This following is a list of lemmas (or, lemmata , i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures. 0 to 9 *0/1 Sorting Lemma ( comparison… …   Wikipedia

  • HNN extension — In mathematics, the HNN extension is a basic construction of combinatorial group theory.Introduced in a 1949 paper Embedding Theorems for Groups [ cite journal|title=Embedding Theorems for Groups|journal=Jornal of the London Mathematical… …   Wikipedia

  • List of group theory topics — Contents 1 Structures and operations 2 Basic properties of groups 2.1 Group homomorphisms 3 Basic types of groups …   Wikipedia

  • 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

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • Character theory — This article refers to the use of the term character theory in mathematics. For the media studies definition, see Character theory (Media). In mathematics, more specifically in group theory, the character of a group representation is a function… …   Wikipedia

  • Character table — Main article: Character theory In group theory, a character table is a two dimensional table whose rows correspond to irreducible group representations, and whose columns correspond to classes of group elements. The entries consist of characters …   Wikipedia

Share the article and excerpts

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