HOME





Stallings Theorem About Ends Of Groups
In the mathematical subject of group theory, the Stallings theorem about ends of groups states that a finitely generated group G has more than one end if and only if the group ''G'' admits a nontrivial decomposition as an amalgamated free product or an HNN extension over a finite subgroup. In the modern language of Bass–Serre theory the theorem says that a finitely generated group G has more than one end if and only if G admits a nontrivial (that is, without a global fixed point) action on a simplicial tree with finite edge-stabilizers and without edge-inversions. The theorem was proved by John R. Stallings, first in the torsion-free case (1968) and then in the general case (1971). Ends of graphs Let \Gamma be a connected graph where the degree of every vertex is finite. One can view \Gamma as a topological space by giving it the natural structure of a one-dimensional cell complex. Then the ends of \Gamma are the ends of this topological space. A more explicit definition ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematical
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


End (graph Theory)
In the mathematics of infinite graphs, an end of an undirected graph represents, intuitively, a direction in which the graph extends to infinity. Ends may be formalized mathematically as equivalence classes of infinite path (graph theory), paths, as Haven (graph theory), havens describing strategies for pursuit–evasion games on the graph, or (in the case of locally finite graphs) as end (topology), topological ends of topological spaces associated with the graph. Ends of graphs may be used (via Cayley graphs) to define ends of finitely generated groups. Finitely generated infinite groups have one, two, or infinitely many ends, and the Stallings theorem about ends of groups provides a decomposition for groups with more than one end. Definition and characterization Ends of graphs were defined by in terms of equivalence classes of infinite paths. A in an infinite graph is a semi-infinite simple path (graph theory), simple path; that is, it is an infinite sequence of vertices v_0,v_ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Symmetric Difference
In mathematics, the symmetric difference of two sets, also known as the disjunctive union and set sum, is the set of elements which are in either of the sets, but not in their intersection. For example, the symmetric difference of the sets \ and \ is \. The symmetric difference of the sets ''A'' and ''B'' is commonly denoted by A \operatorname\Delta B (alternatively, A \operatorname\vartriangle B), A \oplus B, or A \ominus B. It can be viewed as a form of addition modulo 2. The power set of any set becomes an abelian group under the operation of symmetric difference, with the empty set as the neutral element of the group and every element in this group being its own inverse. The power set of any set becomes a Boolean ring, with symmetric difference as the addition of the ring and intersection as the multiplication of the ring. Properties The symmetric difference is equivalent to the union of both relative complements, that is: :A\, \Delta\,B = \left(A \setminus B\ri ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Infinite Dihedral Group
In mathematics, the infinite dihedral group Dih∞ is an infinite group with properties analogous to those of the finite dihedral groups. In two-dimensional geometry, the infinite dihedral group represents the frieze group symmetry, ''p''1''m''1, seen as an infinite set of parallel reflections along an axis. Definition Every dihedral group is generated by a rotation ''r'' and a reflection s; if the rotation is a rational multiple of a full rotation, then there is some integer ''n'' such that ''rn'' is the identity, and we have a finite dihedral group of order 2''n''. If the rotation is ''not'' a rational multiple of a full rotation, then there is no such ''n'' and the resulting group has Infinity, infinitely many elements and is called Dih∞. It has Presentation of a group, presentations :\langle r, s \mid s^2 = 1, srs = r^ \rangle \,\! :\langle x, y \mid x^2 = y^2 = 1 \rangle \,\! and is isomorphic to a semidirect product of Z and Z/2, and to the free product Z/2 *  ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Index Of A Subgroup
In mathematics, specifically group theory, the index of a subgroup ''H'' in a group ''G'' is the number of left Coset, cosets of ''H'' in ''G'', or equivalently, the number of right cosets of ''H'' in ''G''. The index is denoted , G:H, or [G:H] or (G:H). Because ''G'' is the disjoint union of the left cosets and because each left coset has the same cardinality, size as ''H'', the index is related to the order (group theory), orders of the two groups by the formula :, G, = , G:H, , H, (interpret the quantities as cardinal numbers if some of them are infinite). Thus the index , G:H, measures the "relative sizes" of ''G'' and ''H''. For example, let G = \Z be the group of integers under addition, and let H = 2\Z be the subgroup consisting of the Parity (mathematics), even integers. Then 2\Z has two cosets in \Z, namely the set of even integers and the set of odd integers, so the index , \Z:2\Z, is 2. More generally, , \Z:n\Z, = n for any positive integer ''n''. When ''G'' i ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Virtually
In mathematics, especially in the area of abstract algebra that studies infinite groups, the adverb virtually is used to modify a property so that it need only hold for a subgroup of finite index. Given a property P, the group ''G'' is said to be ''virtually P'' if there is a finite index subgroup H \le G such that ''H'' has property P. Common uses for this would be when P is abelian, nilpotent, solvable or free. For example, virtually solvable groups are one of the two alternatives in the Tits alternative, while Gromov's theorem states that the finitely generated groups with polynomial growth are precisely the finitely generated virtually nilpotent groups. This terminology is also used when P is just another group. That is, if ''G'' and ''H'' are groups then ''G'' is ''virtually'' ''H'' if ''G'' has a subgroup ''K'' of finite index in ''G'' such that ''K'' is isomorphic to ''H''. In particular, a group is virtually trivial if and only if it is finite. Two groups are vir ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Heinz Hopf
Heinz Hopf (19 November 1894 – 3 June 1971) was a German mathematician who worked on the fields of dynamical systems, topology and geometry. Early life and education Hopf was born in Gräbschen, German Empire (now , part of Wrocław, Poland), the son of Elizabeth (née Kirchner) and Wilhelm Hopf. His father was born Jewish and converted to Protestantism a year after Heinz was born; his mother was from a Protestant family. Hopf attended Karl Mittelhaus higher boys' school from 1901 to 1904, and then entered the König-Wilhelm- Gymnasium in Breslau. He showed mathematical talent from an early age. In 1913 he entered the Silesian Friedrich Wilhelm University where he attended lectures by Ernst Steinitz, Adolf Kneser, Max Dehn, Erhard Schmidt, and Rudolf Sturm. When World War I broke out in 1914, Hopf eagerly enlisted. He was wounded twice and received the iron cross (first class) in 1918. After the war Hopf continued his mathematical education in Heidelberg (winter 1919/2 ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Comment
Comment may refer to: Computing * Comment (computer programming), explanatory text or information embedded in the source code of a computer program * Comment programming, a software development technique based on the regular use of comment tags Law * Public comment, a term used by various U.S. government agencies, referring to comments invited regarding a report or proposal * Short scholarly papers written by members of a law review * Comments on proposed rules under the rulemaking process in United States administrative law Media and entertainment * ''Comment'' (TV series), a 1958 Australian television series * ''Comment'' (album), a 1970 album by Les McCann * "Comment", a 1969 song by Charles Wright & the Watts 103rd Street Rhythm Band * ''Comment'', a quarterly journal published by Cardus * ''Comment'', later ''aCOMMENT'', an Australian quarterly literary magazine published 1940-7 * Comment section, a user-generated content feature of Web content allowing readers to publi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Hans Freudenthal
Hans Freudenthal (17 September 1905 – 13 October 1990) was a Jewish-German, Jewish German-born Netherlands, Dutch mathematician. He made substantial contributions to algebraic topology and also took an interest in literature, philosophy, history and mathematics education. Biography Freudenthal was born in Luckenwalde, Province of Brandenburg, Brandenburg, on 17 September 1905, the son of a Jewish teacher. He was interested in both mathematics and literature as a child, and studied mathematics at the Humboldt University of Berlin, University of Berlin beginning in 1923.. He met L. E. J. Brouwer in 1927, when Brouwer came to Berlin to give a lecture, and in the same year Freudenthal also visited the University of Paris.. He completed his thesis work with Heinz Hopf at Berlin, defended a thesis on the End (topology), ends of topological groups in 1930, and was officially awarded a degree in October 1931. After defending his thesis in 1930, he moved to Amsterdam to take up a positio ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Free Group
In mathematics, the free group ''F''''S'' over a given set ''S'' consists of all words that can be built from members of ''S'', considering two words to be different unless their equality follows from the group axioms (e.g. ''st'' = ''suu''−1''t'' but ''s'' ≠ ''t''−1 for ''s'',''t'',''u'' ∈ ''S''). The members of ''S'' are called generators of ''F''''S'', and the number of generators is the rank of the free group. An arbitrary group ''G'' is called free if it is isomorphic to ''F''''S'' for some subset ''S'' of ''G'', that is, if there is a subset ''S'' of ''G'' such that every element of ''G'' can be written in exactly one way as a product of finitely many elements of ''S'' and their inverses (disregarding trivial variations such as ''st'' = ''suu''−1''t''). A related but different notion is a free abelian group; both notions are particular instances of a free object from universal algebra. As such, free groups are defined by their universal property. History ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Free Abelian Group
In mathematics, a free abelian group is an abelian group with a Free module, basis. Being an abelian group means that it is a Set (mathematics), set with an addition operation (mathematics), operation that is associative, commutative, and invertible. A basis, also called an integral basis, is a subset such that every element of the group (mathematics), group can be uniquely expressed as an integer linear combination, combination of finitely many basis elements. For instance, the two-dimensional integer lattice forms a free abelian group, with coordinatewise addition as its operation, and with the two points (1, 0) and (0, 1) as its basis. Free abelian groups have properties which make them similar to vector spaces, and may equivalently be called free the free modules over the integers. Lattice (group), Lattice theory studies free abelian subgroups of real number, real vector spaces. In algebraic topology, free abelian groups are used to define Chain (algebraic topology), chain gro ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Infinite Cyclic Group
In abstract algebra, a cyclic group or monogenous group is a group, denoted C_n (also frequently \Z_n or Z_n, not to be confused with the commutative ring of -adic numbers), that is generated by a single element. That is, it is a set of invertible elements with a single associative binary operation, and it contains an element g such that every other element of the group may be obtained by repeatedly applying the group operation to g or its inverse. Each element can be written as an integer power of g in multiplicative notation, or as an integer multiple of g in additive notation. This element g is called a '' generator'' of the group. Every infinite cyclic group is isomorphic to the additive group \Z, the integers. Every finite cyclic group of order n is isomorphic to the additive group of Z/''n''Z, the integers modulo n. Every cyclic group is an abelian group (meaning that its group operation is commutative), and every finitely generated abelian group is a direct product of c ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]