|
Wirtinger Presentation
In mathematics, especially in group theory, a Wirtinger presentation is a finite presentation where the relations are of the form wg_iw^ = g_j where w is a word in the generators, \. Wilhelm Wirtinger observed that the complements of knots in 3-space have fundamental groups with presentations of this form. Preliminaries and definition A ''knot'' ''K'' is an embedding of the one-sphere ''S''1 in three-dimensional space R3. (Alternatively, the ambient space can also be taken to be the three-sphere ''S''3, which does not make a difference for the purposes of the Wirtinger presentation.) The open subspace which is the complement of the knot, S^3 \setminus K is the knot complement. Its fundamental group \pi_1(S^3 \setminus K) is an invariant of the knot in the sense that equivalent knots have isomorphic knot groups. It is therefore interesting to understand this group in an accessible way. A ''Wirtinger presentation'' is derived from a regular projection of an oriented knot. Such a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Knot (mathematics)
In mathematics, a knot is an embedding of the circle into three-dimensional Euclidean space, (also known as ). Often two knots are considered equivalent if they are ambient isotopic, that is, if there exists a continuous deformation of which takes one knot to the other. A crucial difference between the standard mathematical and conventional notions of a knot is that mathematical knots are closed — there are no ends to tie or untie on a mathematical knot. Physical properties such as friction and thickness also do not apply, although there are mathematical definitions of a knot that take such properties into account. The term ''knot'' is also applied to embeddings of in , especially in the case . The branch of mathematics that studies knots is known as knot theory and has many relations to graph theory. Formal definition A knot is an embedding of the circle () into three-dimensional Euclidean space (), or the 3-sphere (), since the 3-sphere is compact. Two knots are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Trefoil Knot
In knot theory, a branch of mathematics, the trefoil knot is the simplest example of a nontrivial knot. The trefoil can be obtained by joining together the two loose ends of a common overhand knot, resulting in a knotted loop. As the simplest knot, the trefoil is fundamental to the study of mathematical knot theory. The trefoil knot is named after the three-leaf clover (or trefoil) plant. Descriptions The trefoil knot can be defined as the curve obtained from the following parametric equations: :\begin x &= \sin t + 2 \sin 2t \\ y &= \cos t - 2 \cos 2t \\ z &= -\sin 3t \end The (2,3)-torus knot is also a trefoil knot. The following parametric equations give a (2,3)-torus knot lying on torus (r-2)^2+z^2 = 1: :\begin x &= (2+\cos 3t) \cos 2t \\ y &= (2+\cos 3t )\sin 2t \\ z &= \sin 3t \end Any continuous deformation of the curve above is also considered a trefoil knot. Specifically, any curve isotopic to a trefoil knot is also considered to be a trefoil. In addition, the mi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conjugate Closure
In group theory, the normal closure of a subset S of a group G is the smallest normal subgroup of G containing S. Properties and description Formally, if G is a group and S is a subset of G, the normal closure \operatorname_G(S) of S is the intersection of all normal subgroups of G containing S: \operatorname_G(S) = \bigcap_ N. The normal closure \operatorname_G(S) is the smallest normal subgroup of G containing S, in the sense that \operatorname_G(S) is a subset of every normal subgroup of G that contains S. The subgroup \operatorname_G(S) is generated by the set S^G=\ = \ of all conjugates of elements of S in G. Therefore one can also write \operatorname_G(S) = \. Any normal subgroup is equal to its normal closure. The conjugate closure of the empty set \varnothing is the trivial subgroup. A variety of other notations are used for the normal closure in the literature, including \langle S^G\rangle, \langle S\rangle^G, \langle \langle S\rangle\rangle_G, and \langle\langl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Presentation Of A Group
In mathematics, a presentation is one method of specifying a group. A presentation of a group ''G'' comprises a set ''S'' of generators—so that every element of the group can be written as a product of powers of some of these generators—and a set ''R'' of relations among those generators. We then say ''G'' has presentation :\langle S \mid R\rangle. Informally, ''G'' has the above presentation if it is the "freest group" generated by ''S'' subject only to the relations ''R''. Formally, the group ''G'' is said to have the above presentation if it is isomorphic to the quotient of a free group on ''S'' by the normal subgroup generated by the relations ''R''. As a simple example, the cyclic group of order ''n'' has the presentation :\langle a \mid a^n = 1\rangle, where 1 is the group identity. This may be written equivalently as :\langle a \mid a^n\rangle, thanks to the convention that terms that do not include an equals sign are taken to be equal to the group identity. S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Cohomology
In mathematics (more specifically, in homological algebra), group cohomology is a set of mathematical tools used to study groups using cohomology theory, a technique from algebraic topology. Analogous to group representations, group cohomology looks at the group actions of a group ''G'' in an associated ''G''-module ''M'' to elucidate the properties of the group. By treating the ''G''-module as a kind of topological space with elements of G^n representing ''n''-simplices, topological properties of the space may be computed, such as the set of cohomology groups H^n(G,M). The cohomology groups in turn provide insight into the structure of the group ''G'' and ''G''-module ''M'' themselves. Group cohomology plays a role in the investigation of fixed points of a group action in a module or space and the quotient module or space with respect to a group action. Group cohomology is used in the fields of abstract algebra, homological algebra, algebraic topology and algebraic number theory, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutator Subgroup
In mathematics, more specifically in abstract algebra, the commutator subgroup or derived subgroup of a group is the subgroup generated by all the commutators of the group. The commutator subgroup is important because it is the smallest normal subgroup such that the quotient group of the original group by this subgroup is abelian. In other words, G/N is abelian if and only if N contains the commutator subgroup of G. So in some sense it provides a measure of how far the group is from being abelian; the larger the commutator subgroup is, the "less abelian" the group is. Commutators For elements g and h of a group ''G'', the commutator of g and h is ,h= g^h^gh. The commutator ,h/math> is equal to the identity element ''e'' if and only if gh = hg , that is, if and only if g and h commute. In general, gh = hg ,h/math>. However, the notation is somewhat arbitrary and there is a non-equivalent variant definition for the commutator that has the inverses on the right hand side of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michel Kervaire
Michel André Kervaire (26 April 1927 – 19 November 2007) was a French mathematician who made significant contributions to topology and algebra. He introduced the Kervaire semi-characteristic. He was the first to show the existence of topological ''n''-manifolds with no differentiable structure (using the Kervaire invariant), and (with John Milnor) computed the number of exotic spheres in dimensions greater than four. He is also well known for fundamental contributions to high-dimensional knot theory. The solution of the Kervaire invariant problem was announced by Michael Hopkins in Edinburgh on 21 April 2009. Education He was the son of André Kervaire (a French industrialist) and Nelly Derancourt. After completing high school in France, Kervaire pursued his studies at ETH Zurich (1947–1952), receiving a Ph.D. in 1955. His thesis, entitled ''Courbure intégrale généralisée et homotopie'', was written under the direction of Heinz Hopf and Beno Eckmann. Career Kervaire w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
N-sphere
In mathematics, an -sphere or a hypersphere is a topological space that is homeomorphic to a ''standard'' -''sphere'', which is the set of points in -dimensional Euclidean space that are situated at a constant distance from a fixed point, called the ''center''. It is the generalization of an ordinary sphere in the ordinary three-dimensional space. The "radius" of a sphere is the constant distance of its points to the center. When the sphere has unit radius, it is usual to call it the unit -sphere or simply the -sphere for brevity. In terms of the standard norm, the -sphere is defined as : S^n = \left\ , and an -sphere of radius can be defined as : S^n(r) = \left\ . The dimension of -sphere is , and must not be confused with the dimension of the Euclidean space in which it is naturally embedded. An -sphere is the surface or boundary of an -dimensional ball. In particular: *the pair of points at the ends of a (one-dimensional) line segment is a 0-sphere, *a circle, which i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Oriented Knot
In mathematics, a knot is an embedding of the circle into three-dimensional Euclidean space, (also known as ). Often two knots are considered equivalent if they are ambient isotopic, that is, if there exists a continuous deformation of which takes one knot to the other. A crucial difference between the standard mathematical and conventional notions of a knot is that mathematical knots are closed — there are no ends to tie or untie on a mathematical knot. Physical properties such as friction and thickness also do not apply, although there are mathematical definitions of a knot that take such properties into account. The term ''knot'' is also applied to embeddings of in , especially in the case . The branch of mathematics that studies knots is known as knot theory and has many relations to graph theory. Formal definition A knot is an embedding of the circle () into three-dimensional Euclidean space (), or the 3-sphere (), since the 3-sphere is compact. Two knots are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field (mathematics), fields, and vector spaces, can all be seen as groups endowed with additional operation (mathematics), operations and axioms. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra. Linear algebraic groups and Lie groups are two branches of group theory that have experienced advances and have become subject areas in their own right. Various physical systems, such as crystals and the hydrogen atom, and Standard Model, three of the four known fundamental forces in the universe, may be modelled by symmetry groups. Thus group theory and the closely related representation theory have many important applications in physics, chemistry, and materials science. Group theory is also ce ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Knot Group
In mathematics, a knot is an embedding of a circle into 3-dimensional Euclidean space. The knot group of a knot ''K'' is defined as the fundamental group of the knot complement of ''K'' in R3, :\pi_1(\mathbb^3 \setminus K). Other conventions consider knots to be embedded in the 3-sphere, in which case the knot group is the fundamental group of its complement in S^3. Properties Two equivalent knots have isomorphic knot groups, so the knot group is a knot invariant and can be used to distinguish between certain pairs of inequivalent knots. This is because an equivalence between two knots is a self-homeomorphism of \mathbb^3 that is isotopic to the identity and sends the first knot onto the second. Such a homeomorphism restricts onto a homeomorphism of the complements of the knots, and this restricted homeomorphism induces an isomorphism of fundamental groups. However, it is possible for two inequivalent knots to have isomorphic knot groups (see below for an example). The ab ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
