Direct Limit Of Groups
   HOME
*





Direct Limit Of Groups
In mathematics, a direct limit of groups is the direct limit of a of group (mathematics), groups. These are central objects of study in algebraic topology, especially stable homotopy theory and homological algebra. They are sometimes called stable groups, though this term normally means something quite different in model theory. Certain examples of stable groups are easier to study than "unstable" groups, the groups occurring in the limit. This is surprising, given that they are generally infinite-dimensional, constructed as limits of groups with finite-dimensional representations. Examples Each family of classical groups forms a direct system, via inclusion of matrix (mathematics), matrices in the upper left corner, such as \operatorname(n,A) \to \operatorname(n+1,A). The stable groups are denoted \operatorname(A) or \operatorname(\infty,A). Bott periodicity computes the homotopy of the stable unitary group and stable orthogonal group. The Whitehead torsion, Whitehead group ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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]  


picture info

Unitary Group
In mathematics, the unitary group of degree ''n'', denoted U(''n''), is the group of unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group . Hyperorthogonal group is an archaic name for the unitary group, especially over finite fields. For the group of unitary matrices with determinant 1, see Special unitary group. In the simple case , the group U(1) corresponds to the circle group, consisting of all complex numbers with absolute value 1, under multiplication. All the unitary groups contain copies of this group. The unitary group U(''n'') is a real Lie group of dimension ''n''2. The Lie algebra of U(''n'') consists of skew-Hermitian matrices, with the Lie bracket given by the commutator. The general unitary group (also called the group of unitary similitudes) consists of all matrices ''A'' such that ''A''∗''A'' is a nonzero multiple of the identity matrix, and is just the product of the unitary gr ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Homotopy Theory
In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is studied as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and category theory (specifically the study of higher categories). Concepts Spaces and maps In homotopy theory and algebraic topology, the word "space" denotes a topological space. In order to avoid pathologies, one rarely works with arbitrary spaces; instead, one requires spaces to meet extra constraints, such as being compactly generated, or Hausdorff, or a CW complex. In the same vein as above, a "map" is a continuous function, possibly with some extra constraints. Often, one works with a pointed space -- that is, a space with a "distinguished point", called a basepoint. A pointed map is then a map which preserv ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Suspension Functor
In topology, a branch of mathematics, the suspension of a topological space ''X'' is intuitively obtained by stretching ''X'' into a cylinder and then collapsing both end faces to points. One views ''X'' as "suspended" between these end points. The suspension of ''X'' is denoted by ''SX'' or susp(''X''). There is a variation of the suspension for pointed space, which is called the reduced suspension and denoted by Σ''X''. The "usual" suspension ''SX'' is sometimes called the unreduced suspension, unbased suspension, or free suspension of ''X'', to distinguish it from Σ''X.'' Free suspension The (free) suspension SX of a topological space X can be defined in several ways. 1. SX is the quotient space (X \times ,1/(X\times \, X\times \). In other words, it can be constructed as follows: * Construct the cylinder X \times ,1/math>. * Consider the entire set X\times \ as a single point ("glue" all its points together). * Consider the entire set X\times \ as a single point ("g ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Stable Homotopy Groups Of Spheres
In the mathematical field of algebraic topology, the homotopy groups of spheres describe how spheres of various dimensions can wrap around each other. They are examples of topological invariants, which reflect, in algebraic terms, the structure of spheres viewed as topological spaces, forgetting about their precise geometry. Unlike homology groups, which are also topological invariants, the homotopy groups are surprisingly complex and difficult to compute. The -dimensional unit sphere — called the -sphere for brevity, and denoted as — generalizes the familiar circle () and the ordinary sphere (). The -sphere may be defined geometrically as the set of points in a Euclidean space of dimension located at a unit distance from the origin. The -th ''homotopy group'' summarizes the different ways in which the -dimensional sphere can be mapped continuously into the sphere . This summary does not distinguish between two mappings if one can be continuously deformed to the oth ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Algebraic K-theory
Algebraic ''K''-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called ''K''-groups. These are groups in the sense of abstract algebra. They contain detailed information about the original object but are notoriously difficult to compute; for example, an important outstanding problem is to compute the ''K''-groups of the integers. ''K''-theory was discovered in the late 1950s by Alexander Grothendieck in his study of intersection theory on algebraic varieties. In the modern language, Grothendieck defined only ''K''0, the zeroth ''K''-group, but even this single group has plenty of applications, such as the Grothendieck–Riemann–Roch theorem. Intersection theory is still a motivating force in the development of (higher) algebraic ''K''-theory through its links with motivic cohomology and specifically Chow groups. The subject also includes classical ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Ring (mathematics)
In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ''ring'' is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series. Formally, a ''ring'' is an abelian group whose operation is called ''addition'', with a second binary operation called ''multiplication'' that is associative, is distributive over the addition operation, and has a multiplicative identity element. (Some authors use the term " " with a missing i to refer to the more general structure that omits this last requirement; see .) Whether a ring is commutative (that is, whether the order in which two elements are multiplied might change the result) has ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Whitehead Torsion
In geometric topology, a field within mathematics, the obstruction to a homotopy equivalence f\colon X \to Y of finite CW-complexes being a simple homotopy equivalence is its Whitehead torsion \tau(f) which is an element in the Whitehead group \operatorname(\pi_1(Y)). These concepts are named after the mathematician J. H. C. Whitehead. The Whitehead torsion is important in applying surgery theory to non- simply connected manifolds of dimension > 4: for simply-connected manifolds, the Whitehead group vanishes, and thus homotopy equivalences and simple homotopy equivalences are the same. The applications are to differentiable manifolds, PL manifolds and topological manifolds. The proofs were first obtained in the early 1960s by Stephen Smale, for differentiable manifolds. The development of handlebody theory allowed much the same proofs in the differentiable and PL categories. The proofs are much harder in the topological category, requiring the theory of Robion Kirby and ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Orthogonal Group
In mathematics, the orthogonal group in dimension , denoted , is the Group (mathematics), group of isometry, distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by Function composition, composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of orthogonal matrix, orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose invertible matrix, inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact group, compact. The orthogonal group in dimension has two connected component (topology), connected components. The one that contains the identity element is a normal subgroup, called the special orthogonal group, and denoted . It consists of all orthogonal matrices of determinant ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Bott Periodicity
In mathematics, the Bott periodicity theorem describes a periodicity in the homotopy groups of classical groups, discovered by , which proved to be of foundational significance for much further research, in particular in K-theory of stable complex vector bundles, as well as the stable homotopy groups of spheres. Bott periodicity can be formulated in numerous ways, with the periodicity in question always appearing as a period-2 phenomenon, with respect to dimension, for the theory associated to the unitary group. See for example topological K-theory. There are corresponding period-8 phenomena for the matching theories, (real number, real) KO-theory and (quaternionic) KSp-theory, associated to the real orthogonal group and the quaternionic symplectic group, respectively. The J-homomorphism is a homomorphism from the homotopy groups of orthogonal groups to stable homotopy groups of spheres, which causes the period 8 Bott periodicity to be visible in the stable homotopy groups of sph ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Direct Limit
In mathematics, a direct limit is a way to construct a (typically large) object from many (typically smaller) objects that are put together in a specific way. These objects may be groups, rings, vector spaces or in general objects from any category. The way they are put together is specified by a system of homomorphisms (group homomorphism, ring homomorphism, or in general morphisms in the category) between those smaller objects. The direct limit of the objects A_i, where i ranges over some directed set I, is denoted by \varinjlim A_i . (This is a slight abuse of notation as it suppresses the system of homomorphisms that is crucial for the structure of the limit.) Direct limits are a special case of the concept of colimit in category theory. Direct limits are dual to inverse limits, which are also a special case of limits in category theory. Formal definition We will first give the definition for algebraic structures like groups and modules, and then the general definition ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Matrix (mathematics)
In mathematics, a matrix (plural matrices) is a rectangular array or table of numbers, symbols, or expressions, arranged in rows and columns, which is used to represent a mathematical object or a property of such an object. For example, \begin1 & 9 & -13 \\20 & 5 & -6 \end is a matrix with two rows and three columns. This is often referred to as a "two by three matrix", a "-matrix", or a matrix of dimension . Without further specifications, matrices represent linear maps, and allow explicit computations in linear algebra. Therefore, the study of matrices is a large part of linear algebra, and most properties and operations of abstract linear algebra can be expressed in terms of matrices. For example, matrix multiplication represents composition of linear maps. Not all matrices are related to linear algebra. This is, in particular, the case in graph theory, of incidence matrices, and adjacency matrices. ''This article focuses on matrices related to linear algebra, and, unle ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]