|
Brunnian Link
In knot theory, a branch of topology, a Brunnian link is a nontrivial link that becomes a set of trivial unlinked circles if any one component is removed. In other words, cutting any loop frees all the other loops (so that no two loops can be directly linked). The name ''Brunnian'' is after Hermann Brunn. Brunn's 1892 article ''Über Verkettung'' included examples of such links. Examples The best-known and simplest possible Brunnian link is the Borromean rings, a link of three unknots. However for every number three or above, there are an infinite number of links with the Brunnian property containing that number of loops. Here are some relatively simple three-component Brunnian links which are not the same as the Borromean rings: Image:Brunnian-3-not-Borromean.svg, 12-crossing link. Image:Three-triang-18crossings-Brunnian.svg, 18-crossing link. Image:Three-interlaced-squares-Brunnian-24crossings.svg, 24-crossing link. The simplest Brunnian link other than the 6-cros ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of Differential Geometry
The ''Journal of Differential Geometry'' is a peer-reviewed scientific journal of mathematics published by International Press on behalf of Lehigh University in 3 volumes of 3 issues each per year. The journal publishes an annual supplement in book form called ''Surveys in Differential Geometry''. It covers differential geometry and related subjects such as differential equations, mathematical physics, algebraic geometry, and geometric topology. The editor-in-chief is Shing-Tung Yau of Harvard University. History The journal was established in 1967 by Chuan-Chih Hsiung, who was a professor in the Department of Mathematics at Lehigh University at the time. Hsiung served as the journal's editor-in-chief, and later co-editor-in-chief, until his death in 2009. In May 1996, the annual Geometry and Topology conference which was held at Harvard University was dedicated to commemorating the 30th anniversary of the journal and the 80th birthday of its founder. Similarly, in May 2008 Harv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Massey Product
In algebraic topology, the Massey product is a cohomology operation of higher order introduced in , which generalizes the cup product. The Massey product was created by William S. Massey, an American algebraic topologist. Massey triple product Let a,b,c be elements of the cohomology algebra H^*(\Gamma) of a differential graded algebra \Gamma. If ab=bc=0, the Massey product \langle a,b,c\rangle is a subset of H^n(\Gamma), where n=\deg(a)+\deg(b)+\deg(c)-1. The Massey product is defined algebraically, by lifting the elements a,b,c to equivalence classes of elements u,v,w of \Gamma, taking the Massey products of these, and then pushing down to cohomology. This may result in a well-defined cohomology class, or may result in indeterminacy. Define \bar u to be (-1)^u. The cohomology class of an element u of \Gamma will be denoted by /math>. The Massey triple product of three cohomology classes is defined by : \langle rangle = \. The Massey product of three cohomology classes is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up to homeomorphism, though usually most classify up to Homotopy#Homotopy equivalence and null-homotopy, homotopy equivalence. Although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group. Main branches of algebraic topology Below are some of the main areas studied in algebraic topology: Homotopy groups In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy gro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Lie Algebra
In mathematics, a free Lie algebra over a field ''K'' is a Lie algebra generated by a set ''X'', without any imposed relations other than the defining relations of alternating ''K''-bilinearity and the Jacobi identity. Definition The definition of the free Lie algebra generated by a set ''X'' is as follows: : Let ''X'' be a set and i\colon X \to L a morphism of sets (function) from ''X'' into a Lie algebra ''L''. The Lie algebra ''L'' is called free on ''X'' if i is the universal morphism; that is, if for any Lie algebra ''A'' with a morphism of sets f\colon X \to A, there is a unique Lie algebra morphism g\colon L\to A such that f = g \circ i. Given a set ''X'', one can show that there exists a unique free Lie algebra L(X) generated by ''X''. In the language of category theory, the functor sending a set ''X'' to the Lie algebra generated by ''X'' is the free functor from the category of sets to the category of Lie algebras. That is, it is left adjoint to the forgetful functo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lower Central Series
In mathematics, especially in the fields of group theory and Lie theory, a central series is a kind of normal series of subgroups or Lie subalgebras, expressing the idea that the commutator is nearly trivial. For groups, the existence of a central series means it is a nilpotent group; for matrix rings (considered as Lie algrebras), it means that in some basis the ring consists entirely of upper triangular matrices with constant diagonal. This article uses the language of group theory; analogous terms are used for Lie algebras. A general group possesses a lower central series and upper central series (also called the descending central series and ascending central series, respectively), but these are central series in the strict sense (terminating in the trivial subgroup) if and only if the group is nilpotent. A related but distinct construction is the derived series, which terminates in the trivial subgroup whenever the group is solvable. Definition A central series is a sequence ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graded Lie Algebra
In mathematics, a graded Lie algebra is a Lie algebra endowed with a gradation which is compatible with the Lie bracket. In other words, a graded Lie algebra is a Lie algebra which is also a nonassociative graded algebra under the bracket operation. A choice of Cartan decomposition endows any semisimple Lie algebra with the structure of a graded Lie algebra. Any parabolic Lie algebra is also a graded Lie algebra. A graded Lie superalgebra extends the notion of a graded Lie algebra in such a way that the Lie bracket is no longer assumed to be necessarily anticommutative. These arise in the study of derivations on graded algebras, in the deformation theory of Murray Gerstenhaber, Kunihiko Kodaira, and Donald C. Spencer, and in the theory of Lie derivatives. A supergraded Lie superalgebra is a further generalization of this notion to the category of superalgebras in which a graded Lie superalgebra is endowed with an additional super \Z/2\Z-gradation. These arise when one ... [...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] |
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] |
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] |
Link Complement
In mathematics, the knot complement of a tame knot ''K'' is the space where the knot is not. If a knot is embedded in the 3-sphere, then the complement is the 3-sphere minus the space near the knot. To make this precise, suppose that ''K'' is a knot in a three-manifold ''M'' (most often, ''M'' is the 3-sphere). Let ''N'' be a tubular neighborhood of ''K''; so ''N'' is a solid torus. The knot complement is then the complement of ''N'', :X_K = M - \mbox(N). The knot complement ''XK'' is a compact 3-manifold; the boundary of ''XK'' and the boundary of the neighborhood ''N'' are homeomorphic to a two-torus. Sometimes the ambient manifold ''M'' is understood to be 3-sphere. Context is needed to determine the usage. There are analogous definitions of link complement. Many knot invariants, such as the knot group, are really invariants of the complement of the knot. When the ambient space is the three-sphere no information is lost: the Gordon–Luecke theorem states that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamental Group
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the 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 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), and some point in it, and all the loops both starting and ending at this point— 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 along the second. Two loops are considered equivalent if one can be deformed into the other without breakin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
