|
Spherical Braid Group
In mathematics, the spherical braid group or Hurwitz braid group is a braid group on strands. In comparison with the usual braid group, it has an additional group relation that comes from the strands being on the sphere. The group also has relations to the inverse Galois problem. Definition The spherical braid group on strands, denoted SB_n or B_n(S^2), is defined as the fundamental group of the configuration space of the sphere: B_n(S^2) = \pi_1(\mathrm_n(S^2)). The spherical braid group has a presentation in terms of generators \sigma_1, \sigma_2, \cdots, \sigma_ with the following relations: * \sigma_i \sigma_j = \sigma_j \sigma_i for , i-j, \geq 2 * \sigma_i \sigma_ \sigma_i = \sigma_ \sigma_i \sigma_ for 1 \leq i \leq n - 2 (the Yang–Baxter equation In physics, the Yang–Baxter equation (or star–triangle relation) is a consistency equation which was first introduced in the field of statistical mechanics. It depends on the idea that in some scattering situations ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
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] |
Braid Group
In mathematics, the braid group on strands (denoted B_n), also known as the Artin braid group, is the group whose elements are equivalence classes of Braid theory, -braids (e.g. under ambient isotopy), and whose group operation is composition of braids (see ). Example applications of braid groups include knot theory, where any knot may be represented as the closure of certain braids (a result known as Alexander's theorem); in mathematical physics where Emil Artin, Artin's canonical presentation of the braid group corresponds to the Yang–Baxter equation (see ); and in monodromy invariants of algebraic geometry. Introduction In this introduction let ; the generalization to other values of will be straightforward. Consider two sets of four items lying on a table, with the items in each set being arranged in a vertical line, and such that one set sits next to the other. (In the illustrations below, these are the black dots.) Using four strands, each item of the first set is connec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sphere
A sphere (from Ancient Greek, Greek , ) is a surface (mathematics), surface analogous to the circle, a curve. In solid geometry, a sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three-dimensional space.. That given point is the center (geometry), ''center'' of the sphere, and the distance is the sphere's ''radius''. The earliest known mentions of spheres appear in the work of the Greek mathematics, ancient Greek mathematicians. The sphere is a fundamental surface in many fields of mathematics. Spheres and nearly-spherical shapes also appear in nature and industry. Bubble (physics), Bubbles such as soap bubbles take a spherical shape in equilibrium. The Earth is spherical Earth, often approximated as a sphere in geography, and the celestial sphere is an important concept in astronomy. Manufactured items including pressure vessels and most curved mirrors and lenses are based on spheres. Spheres rolling, roll smoothly in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inverse Galois Problem
In Galois theory, the inverse Galois problem concerns whether or not every finite group appears as the Galois group of some Galois extension of the rational numbers \mathbb. This problem, first posed in the early 19th century, is unsolved. There are some permutation groups for which generic polynomials are known, which define all algebraic extensions of \mathbb having a particular group as Galois group. These groups include all of degree no greater than . There also are groups known not to have generic polynomials, such as the cyclic group of order . More generally, let be a given finite group, and a field. If there is a Galois extension field whose Galois group is isomorphic to , one says that is realizable over . Partial results Many cases are known. It is known that every finite group is realizable over any function field in one variable over the complex numbers \mathbb, and more generally over function fields in one variable over any algebraically closed field of c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamental Group
In the mathematics, mathematical field of algebraic topology, the fundamental group of a topological space is the group (mathematics), group of the equivalence classes under homotopy of the Loop (topology), loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent (or the stronger case of homeomorphic) have Group isomorphism, isomorphic fundamental groups. The fundamental group of a topological space X is denoted by \pi_1(X). Intuition Start with a space (for example, a surface (mathematics), surface), and some point in it, and all the loops both starting and ending at this point—path (topology), paths that start at this point, wander around and eventually return to the starting point. Two loops can be combined in an obvious way: travel along the first loop, then alo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Configuration Space (mathematics)
In mathematics, a configuration space is a construction closely related to state spaces or phase spaces in physics. In physics, these are used to describe the state of a whole system as a single point in a high-dimensional space. In mathematics, they are used to describe assignments of a collection of points to positions in a topological space. More specifically, configuration spaces in mathematics are particular examples of configuration spaces in physics in the particular case of several non-colliding particles. Definition For a topological space X and a positive integer n, let X^n be the Cartesian product of n copies of X, equipped with the product topology. The ''n''th (ordered) configuration space of X is the set of ''n''-tuples of pairwise distinct points in X: :\operatorname_n(X) := X^n \smallsetminus \. This space is generally endowed with the subspace topology from the inclusion of \operatorname_n(X) into X^n. It is also sometimes denoted F(X, n), F^n(X), or \mathca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Presentation
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. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yang–Baxter Equation
In physics, the Yang–Baxter equation (or star–triangle relation) is a consistency equation which was first introduced in the field of statistical mechanics. It depends on the idea that in some scattering situations, particles may preserve their momentum while changing their quantum internal states. It states that a matrix R, acting on two out of three objects, satisfies :(\check\otimes \mathbf)(\mathbf\otimes \check)(\check\otimes \mathbf) =(\mathbf\otimes \check)(\check \otimes \mathbf)(\mathbf\otimes \check), where \check is R followed by a swap of the two objects. In one-dimensional quantum systems, R is the scattering matrix and if it satisfies the Yang–Baxter equation then the system is Integrable system#Quantum integrable systems, integrable. The Yang–Baxter equation also shows up when discussing knot theory and the braid groups where R corresponds to swapping two strands. Since one can swap three strands in two different ways, the Yang–Baxter equation enforces t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
