Thompson Groups
   HOME
*



picture info

Thompson Groups
In mathematics, the Thompson groups (also called Thompson's groups, vagabond groups or chameleon groups) are three groups, commonly denoted F \subseteq T \subseteq V, that were introduced by Richard Thompson in some unpublished handwritten notes in 1965 as a possible counterexample to the von Neumann conjecture. Of the three, ''F'' is the most widely studied, and is sometimes referred to as the Thompson group or Thompson's group. The Thompson groups, and ''F'' in particular, have a collection of unusual properties that have made them counterexamples to many general conjectures in group theory. All three Thompson groups are infinite but finitely presented. The groups ''T'' and ''V'' are (rare) examples of infinite but finitely-presented simple groups. The group ''F'' is not simple but its derived subgroup 'F'',''F''is and the quotient of ''F'' by its derived subgroup is the free abelian group of rank 2. ''F'' is totally ordered, has exponential growth, and does not contain a subg ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Unit Interval
In mathematics, the unit interval is the closed interval , that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1. It is often denoted ' (capital letter ). In addition to its role in real analysis, the unit interval is used to study homotopy theory in the field of topology. In the literature, the term "unit interval" is sometimes applied to the other shapes that an interval from 0 to 1 could take: , , and . However, the notation ' is most commonly reserved for the closed interval . Properties The unit interval is a complete metric space, homeomorphic to the extended real number line. As a topological space, it is compact, contractible, path connected and locally path connected. The Hilbert cube is obtained by taking a topological product of countably many copies of the unit interval. In mathematical analysis, the unit interval is a one-dimensional analytical manifold whose boundary consists of the two points 0 and 1. Its ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Topology (journal)
''Topology'' was a peer-reviewed mathematical journal covering topology and geometry. It was established in 1962 and was published by Elsevier. The last issue of ''Topology'' appeared in 2009. Pricing dispute On 10 August 2006, after months of unsuccessful negotiations with Elsevier about the price policy of library subscriptions, the entire editorial board of the journal handed in their resignation, effective 31 December 2006. Subsequently, two more issues appeared in 2007 with papers that had been accepted before the resignation of the editors. In early January the former editors instructed Elsevier to remove their names from the website of the journal, but Elsevier refused to comply, justifying their decision by saying that the editorial board should remain on the journal until all of the papers accepted during its tenure had been published. In 2007 the former editors of ''Topology'' announced the launch of the ''Journal of Topology'', published by Oxford University Press ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Wall's Finiteness Obstruction
In geometric topology, a field within mathematics, the obstruction to a finitely dominated space ''X'' being homotopy-equivalent to a finite CW-complex is its Wall finiteness obstruction ''w(X)'' which is an element in the reduced zeroth algebraic K-theory \widetilde_0(\mathbbpi_1(X) of the integral group ring \mathbbpi_1(X)/math>. It is named after the mathematician C. T. C. Wall. By work of John Milnor on finitely dominated spaces, no generality is lost in letting ''X'' be a CW-complex. A ''finite domination'' of ''X'' is a finite CW-complex ''K'' together with maps r:K\to X and i\colon X\to K such that r\circ i\simeq 1_X. By a construction due to Milnor it is possible to extend ''r'' to a homotopy equivalence \bar\colon \bar\to X where \bar is a CW-complex obtained from ''K'' by attaching cells to kill the relative homotopy groups \pi_n(r). The space \bar will be ''finite'' if all relative homotopy groups are finitely generated. Wall showed that this will be the case if and only ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Whitehead Torsion
In geometric topology, a field within mathematics, the obstruction to a homotopy equivalence f\colon X \to Y of finite CW-complexes being a simple homotopy equivalence is its Whitehead torsion \tau(f) which is an element in the Whitehead group \operatorname(\pi_1(Y)). These concepts are named after the mathematician J. H. C. Whitehead. The Whitehead torsion is important in applying surgery theory to non- simply connected manifolds of dimension > 4: for simply-connected manifolds, the Whitehead group vanishes, and thus homotopy equivalences and simple homotopy equivalences are the same. The applications are to differentiable manifolds, PL manifolds and topological manifolds. The proofs were first obtained in the early 1960s by Stephen Smale, for differentiable manifolds. The development of handlebody theory allowed much the same proofs in the differentiable and PL categories. The proofs are much harder in the topological category, requiring the theory of Robion Kirby and ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Farrell–Jones Conjecture
In mathematics, the Farrell–Jones conjecture, named after F. Thomas Farrell and Lowell E. Jones, states that certain assembly maps are isomorphisms. These maps are given as certain homomorphisms. The motivation is the interest in the target of the assembly maps; this may be, for instance, the algebraic K-theory of a group ring :K_n(RG) or the L-theory of a group ring :L_n(RG), where ''G'' is some group. The sources of the assembly maps are equivariant homology theory evaluated on the classifying space of ''G'' with respect to the family of virtually cyclic subgroups of ''G''. So assuming the Farrell–Jones conjecture is true, it is possible to restrict computations to virtually cyclic subgroups to get information on complicated objects such as K_n(RG) or L_n(RG). The Baum–Connes conjecture formulates a similar statement, for the topological K-theory of reduced group C^*-algebras K^ _n(C^r_*(G)). Formulation One can find for any ring R equivariant homology theories K ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Inventiones Mathematicae
''Inventiones Mathematicae'' is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. The current managing editors are Camillo De Lellis (Institute for Advanced Study, Princeton) and Jean-Benoît Bost (University of Paris-Sud Paris-Sud University (French: ''Université Paris-Sud''), also known as University of Paris — XI (or as Université d'Orsay before 1971), was a French research university distributed among several campuses in the southern suburbs of Paris, in ...). Abstracting and indexing The journal is abstracted and indexed in: References External links *{{Official website, https://www.springer.com/journal/222 Mathematics journals Publications established in 1966 English-language journals Springer Science+Business Media academic journals Monthly journals ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Commentarii Mathematici Helvetici
The ''Commentarii Mathematici Helvetici'' is a quarterly peer-reviewed scientific journal in mathematics. The Swiss Mathematical Society started the journal in 1929 after a meeting in May of the previous year. The Swiss Mathematical Society still owns and operates the journal; the publishing is currently handled on its behalf by the European Mathematical Society. The scope of the journal includes research articles in all aspects in mathematics. The editors-in-chief have been Rudolf Fueter (1929–1949), J.J. Burckhardt (1950–1981), P. Gabriel (1982–1989), H. Kraft (1990–2005), and Eva Bayer-Fluckiger (2006–present). Abstracting and indexing The journal is abstracted and indexed in: According to the ''Journal Citation Reports'', the journal has a 2019 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Eilenberg–MacLane Space
In mathematics, specifically algebraic topology, an Eilenberg–MacLane spaceSaunders Mac Lane originally spelt his name "MacLane" (without a space), and co-published the papers establishing the notion of Eilenberg–MacLane spaces under this name. (See e.g. ) In this context it is therefore conventional to write the name without a space. is a topological space with a single nontrivial homotopy group. Let ''G'' be a group and ''n'' a positive integer. A connected topological space ''X'' is called an Eilenberg–MacLane space of type K(G,n), if it has ''n''-th homotopy group \pi_n(X) isomorphic to ''G'' and all other homotopy groups trivial. If n > 1 then ''G'' must be abelian. Such a space exists, is a CW-complex, and is unique up to a weak homotopy equivalence, therefore any such space is often just called K(G,n). The name is derived from Samuel Eilenberg and Saunders Mac Lane, who introduced such spaces in the late 1940s. As such, an Eilenberg–MacLane space is a special k ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Homotopy
In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from grc, ὁμός "same, similar" and "place") if one can be "continuously deformed" into the other, such a deformation being called a homotopy (, ; , ) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with compactly generated spaces, CW complexes, or spectra. Formal definition Formally, a homotopy between two continuous functions ''f'' and ''g'' from a topological space ''X'' to a topological space ''Y'' is defined to be a continuous function H: X \times ,1\to Y from the product of the space ''X'' with the unit interval , 1to ''Y'' such that H(x,0) = f(x) and H(x,1) = g(x) for all x \in X. If we think of the second ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Journal Of Pure And Applied Algebra
The ''Journal of Pure and Applied Algebra'' is a monthly peer-reviewed scientific journal covering that part of algebra likely to be of general mathematical interest: algebraic results with immediate applications, and the development of algebraic theories of sufficiently general relevance to allow for future applications. Its founding editors-in-chief were Peter J. Freyd (University of Pennsylvania) and Alex Heller (City University of New York). The current managing editors are Eric Friedlander (University of Southern California), Charles Weibel (Rutgers University), and Srikanth Iyengar (University of Utah). Abstracting and indexing The journal is abstracted and indexed in Current Contents/Physics, Chemical, & Earth Sciences, Mathematical Reviews, PASCAL, Science Citation Index, Zentralblatt MATH, and Scopus. According to the ''Journal Citation Reports'', the journal has a 2016 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a s ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Peter Freyd
Peter John Freyd (; born February 5, 1936) is an American mathematician, a professor at the University of Pennsylvania, known for work in category theory and for founding the False Memory Syndrome Foundation. Mathematics Freyd obtained his Ph.D. from Princeton University in 1960; his dissertation, on ''Functor Theory'', was written under the supervision of Norman Steenrod and David Buchsbaum. Freyd is best known for his adjoint functor theorem. He was the author of the foundational book ''Abelian Categories: An Introduction to the Theory of Functors'' (1964). This work culminates in a proof of the Freyd–Mitchell embedding theorem. In addition, Freyd's name is associated with the HOMFLYPT polynomial of knot theory, and he and Scedrov originated the concept of (mathematical) allegories. In 2012, he became a fellow of the American Mathematical Society. False Memory Syndrome Foundation Freyd and his wife Pamela founded the False Memory Syndrome Foundation in 1992, after ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]