Normal Form For Free Groups And Free Product Of Groups
In mathematics, particularly in combinatorial group theory, a normal form for a free group over a set of generators or for a free product of groups is a representation of an element by a simpler element, the element being either in the free group or free products of group. In case of free group these simpler elements are reduced words and in the case of free product of groups these are reduced sequences. The precise definitions of these are given below. As it turns out, for a free group and for the free product of groups, there exists a unique normal form i.e each element is representable by a simpler element and this representation is unique. This is the Normal Form Theorem for the free groups and for the free product of groups. The proof here of the Normal Form Theorem follows the idea of Artin and van der Waerden. Normal Form for Free Groups Let G be a free group with generating set S. Each element in G is represented by a word w=a_1\cdots a_n, where a_j\in S^, 1\leqslant j\l ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Combinatorial Group Theory
In mathematics, combinatorial group theory is the theory of free groups, and the concept of a presentation of a group by generators and relations. It is much used in geometric topology, the fundamental group of a simplicial complex having in a natural and geometric way such a presentation. A very closely related topic is geometric group theory, which today largely subsumes combinatorial group theory, using techniques from outside combinatorics besides. It also comprises a number of algorithmically insoluble problems, most notably the word problem for groups; and the classical Burnside problem. History See for a detailed history of combinatorial group theory. A proto-form is found in the 1856 icosian calculus of William Rowan Hamilton, where he studied the icosahedral symmetry group via the edge graph of the dodecahedron. The foundations of combinatorial group theory were laid by Walther von Dyck, student of Felix Klein Christian Felix Klein (; 25 April 1849 – 22 Ju ... [...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 Free ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Generator (groups)
In abstract algebra, a generating set of a group is a subset of the group set such that every element of the group can be expressed as a combination (under the group operation) of finitely many elements of the subset and their inverses. In other words, if ''S'' is a subset of a group ''G'', then , the ''subgroup generated by S'', is the smallest subgroup of ''G'' containing every element of ''S'', which is equal to the intersection over all subgroups containing the elements of ''S''; equivalently, is the subgroup of all elements of ''G'' that can be expressed as the finite product of elements in ''S'' and their inverses. (Note that inverses are only needed if the group is infinite; in a finite group, the inverse of an element can be expressed as a power of that element.) If ''G'' = , then we say that ''S'' ''generates'' ''G'', and the elements in ''S'' are called ''generators'' or ''group generators''. If ''S'' is the empty set, then is the trivial group , since we consider t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Free Product Of Groups
In mathematics, specifically group theory, the free product is an operation that takes two groups ''G'' and ''H'' and constructs a new The result contains both ''G'' and ''H'' as subgroups, is generated by the elements of these subgroups, and is the “universal” group having these properties, in the sense that any two homomorphisms from ''G'' and ''H'' into a group ''K'' factor uniquely through a homomorphism from to ''K''. Unless one of the groups ''G'' and ''H'' is trivial, the free product is always infinite. The construction of a free product is similar in spirit to the construction of a free group (the universal group with a given set of generators). The free product is the coproduct in the category of groups. That is, the free product plays the same role in group theory that disjoint union plays in set theory, or that the direct sum plays in module theory. Even if the groups are commutative, their free product is not, unless one of the two groups is the trivial grou ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Reduced Words
In group theory, a word is any written product of group elements and their inverses. For example, if ''x'', ''y'' and ''z'' are elements of a group ''G'', then ''xy'', ''z''−1''xzz'' and ''y''−1''zxx''−1''yz''−1 are words in the set . Two different words may evaluate to the same value in ''G'', or even in every group. Words play an important role in the theory of free groups and presentations, and are central objects of study in combinatorial group theory. Definitions Let ''G'' be a group, and let ''S'' be a subset of ''G''. A word in ''S'' is any expression of the form :s_1^ s_2^ \cdots s_n^ where ''s''1,...,''sn'' are elements of ''S'', called generators, and each ''εi'' is ±1. The number ''n'' is known as the length of the word. Each word in ''S'' represents an element of ''G'', namely the product of the expression. By convention, the unique Uniqueness of identity element and inverses identity element can be represented by the empty word, which is the unique word ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Emil Artin
Emil Artin (; March 3, 1898 – December 20, 1962) was an Austrian mathematician of Armenian descent. Artin was one of the leading mathematicians of the twentieth century. He is best known for his work on algebraic number theory, contributing largely to class field theory and a new construction of L-functions. He also contributed to the pure theories of rings, groups and fields. Along with Emmy Noether, he is considered the founder of modern abstract algebra. Early life and education Parents Emil Artin was born in Vienna to parents Emma Maria, née Laura (stage name Clarus), a soubrette on the operetta stages of Austria and Germany, and Emil Hadochadus Maria Artin, Austrian-born of mixed Austrian and Armenian descent. His Armenian last name was Artinian which was shortened to Artin. Several documents, including Emil's birth certificate, list the father's occupation as “opera singer” though others list it as “art dealer.” It seems at least plausible that he and Emma had ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Van Der Waerden
Bartel Leendert van der Waerden (; 2 February 1903 – 12 January 1996) was a Dutch mathematician and historian of mathematics. Biography Education and early career Van der Waerden learned advanced mathematics at the University of Amsterdam and the University of Göttingen, from 1919 until 1926. He was much influenced by Emmy Noether at Göttingen, Germany. Amsterdam awarded him a Ph.D. for a thesis on algebraic geometry, supervised by Hendrick de Vries. Göttingen awarded him the habilitation in 1928. In that year, at the age of 25, he accepted a professorship at the University of Groningen. In his 27th year, Van der Waerden published his ''Moderne Algebra'', an influential two-volume treatise on abstract algebra, still cited, and perhaps the first treatise to treat the subject as a comprehensive whole. This work systematized an ample body of research by Emmy Noether, David Hilbert, Richard Dedekind, and Emil Artin. In the following year, 1931, he was appointed professor ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Generating Set
In mathematics and physics, the term generator or generating set may refer to any of a number of related concepts. The underlying concept in each case is that of a smaller set of objects, together with a set of operations that can be applied to it, that result in the creation of a larger collection of objects, called the generated set. The larger set is then said to be generated by the smaller set. It is commonly the case that the generating set has a simpler set of properties than the generated set, thus making it easier to discuss and examine. It is usually the case that properties of the generating set are in some way preserved by the act of generation; likewise, the properties of the generated set are often reflected in the generating set. List of generators A list of examples of generating sets follow. * Generating set or spanning set of a vector space: a set that spans the vector space * Generating set of a group: A subset of a group that is not contained in any subgro ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Reduced Word
In group theory, a word is any written product of group elements and their inverses. For example, if ''x'', ''y'' and ''z'' are elements of a group ''G'', then ''xy'', ''z''−1''xzz'' and ''y''−1''zxx''−1''yz''−1 are words in the set . Two different words may evaluate to the same value in ''G'', or even in every group. Words play an important role in the theory of free groups and presentations, and are central objects of study in combinatorial group theory. Definitions Let ''G'' be a group, and let ''S'' be a subset of ''G''. A word in ''S'' is any expression of the form :s_1^ s_2^ \cdots s_n^ where ''s''1,...,''sn'' are elements of ''S'', called generators, and each ''εi'' is ±1. The number ''n'' is known as the length of the word. Each word in ''S'' represents an element of ''G'', namely the product of the expression. By convention, the unique Uniqueness of identity element and inverses identity element can be represented by the empty word, which is the unique word ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Free Product
In mathematics, specifically group theory, the free product is an operation that takes two groups ''G'' and ''H'' and constructs a new The result contains both ''G'' and ''H'' as subgroups, is generated by the elements of these subgroups, and is the “universal” group having these properties, in the sense that any two homomorphisms from ''G'' and ''H'' into a group ''K'' factor uniquely through a homomorphism from to ''K''. Unless one of the groups ''G'' and ''H'' is trivial, the free product is always infinite. The construction of a free product is similar in spirit to the construction of a free group (the universal group with a given set of generators). The free product is the coproduct in the category of groups. That is, the free product plays the same role in group theory that disjoint union plays in set theory, or that the direct sum plays in module theory. Even if the groups are commutative, their free product is not, unless one of the two groups is the trivial grou ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |