|
Algebraic Groups
In mathematics, an algebraic group is an algebraic variety endowed with a group structure which is compatible with its structure as an algebraic variety. Thus the study of algebraic groups belongs both to algebraic geometry and group theory. Many groups of geometric transformations are algebraic groups; for example, orthogonal groups, general linear groups, projective groups, Euclidean groups, etc. Many matrix groups are also algebraic. Other algebraic groups occur naturally in algebraic geometry, such as elliptic curves and Jacobian varieties. An important class of algebraic groups is given by the affine algebraic groups, those whose underlying algebraic variety is an affine variety; they are exactly the algebraic subgroups of the general linear group, and are therefore also called ''linear algebraic groups''. Another class is formed by the abelian varieties, which are the algebraic groups whose underlying variety is a projective variety. Chevalley's structure theorem s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Variety (universal Algebra)
In universal algebra, a variety of algebras or equational class is the class of all algebraic structures of a given signature satisfying a given set of identities. For example, the groups form a variety of algebras, as do the abelian groups, the rings, the monoids etc. According to #Birkhoff's_theorem, Birkhoff's theorem, a class of algebraic structures of the same signature is a variety if and only if it is closed under the taking of homomorphism, homomorphic images, subalgebras and Direct product#Direct product in universal algebra, (direct) products. In the context of category theory, a variety of algebras, together with its homomorphisms, forms a Category (mathematics), category; these are usually called ''finitary algebraic categories''. A ''covariety'' is the class of all F-coalgebra, coalgebraic structures of a given signature. Terminology A variety of algebras should not be confused with an algebraic variety, which means a set of solutions to a system of polynomial eq ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Variety
In algebraic geometry, a projective variety over an algebraically closed field ''k'' is a subset of some projective ''n''-space \mathbb^n over ''k'' that is the zero-locus of some finite family of homogeneous polynomials of ''n'' + 1 variables with coefficients in ''k'', that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of \mathbb^n. A projective variety is a projective curve if its dimension is one; it is a projective surface if its dimension is two; it is a projective hypersurface if its dimension is one less than the dimension of the containing projective space; in this case it is the set of zeros of a single homogeneous polynomial. If ''X'' is a projective variety defined by a homogeneous prime ideal ''I'', then the quotient ring :k _0, \ldots, x_nI is called the homogeneous coordinate ring of ''X''. Basic invariants of ''X'' such as the degree and the dim ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identity. The Lie bracket of two vectors x and y is denoted [x,y]. The vector space \mathfrak g together with this operation is a non-associative algebra, meaning that the Lie bracket is not necessarily associative property, associative. Lie algebras are closely related to Lie groups, which are group (mathematics), groups that are also smooth manifolds: any Lie group gives rise to a Lie algebra, which is its tangent space at the identity. Conversely, to any finite-dimensional Lie algebra over real or complex numbers, there is a corresponding connected space, connected Lie group unique up to finite coverings (Lie's third theorem). This Lie group–Lie algebra correspondence, correspondence allows one ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Group–Lie Algebra Correspondence
In mathematics, Lie group–Lie algebra correspondence allows one to correspond a Lie group to a Lie algebra or vice versa, and study the conditions for such a relationship. Lie groups that are Isomorphism, isomorphic to each other have Lie algebras that are isomorphic to each other, but the converse is not necessarily true. One obvious counterexample is \mathbb^n and \mathbb^n (see real coordinate space and the circle group respectively) which are non-isomorphic to each other as Lie groups but their Lie algebras are isomorphic to each other. However, by restricting our attention to the Simply connected space, simply connected Lie groups, the Lie group-Lie algebra correspondence will be One to one correspondence, one-to-one. In this article, a Lie group refers to a real Lie group. For the complex and ''p''-adic cases, see complex Lie group and p-adic Lie group, ''p''-adic Lie group. In this article, manifolds (in particular Lie groups) are assumed to be second countable; in particula ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Galois Cohomology
In mathematics, Galois cohomology is the study of the group cohomology of Galois modules, that is, the application of homological algebra to modules for Galois groups. A Galois group ''G'' associated to a field extension ''L''/''K'' acts in a natural way on some abelian groups, for example those constructed directly from ''L'', but also through other Galois representations that may be derived by more abstract means. Galois cohomology accounts for the way in which taking Galois-invariant elements fails to be an exact functor. History The current theory of Galois cohomology came together around 1950, when it was realised that the Galois cohomology of ideal class groups in algebraic number theory was one way to formulate class field theory, at the time it was in the process of ridding itself of connections to L-functions. Galois cohomology makes no assumption that Galois groups are abelian groups, so this was a non-abelian theory. It was formulated abstractly as a theory of class ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inner Automorphism
In abstract algebra an inner automorphism is an automorphism of a group, ring, or algebra given by the conjugation action of a fixed element, called the ''conjugating element''. They can be realized via simple operations from within the group itself, hence the adjective "inner". These inner automorphisms form a subgroup of the automorphism group, and the quotient of the automorphism group by this subgroup is defined as the outer automorphism group. Definition If is a group and is an element of (alternatively, if is a ring, and is a unit), then the function :\begin \varphi_g\colon G&\to G \\ \varphi_g(x)&:= g^xg \end is called (right) conjugation by (see also conjugacy class). This function is an endomorphism of : for all x_1,x_2\in G, :\varphi_g(x_1 x_2) = g^ x_1 x_2g = \left(g^ x_1 g\right)\left(g^ x_2 g\right) = \varphi_g(x_1)\varphi_g(x_2), where the second equality is given by the insertion of the identity between x_1 and x_2. Furthermore, it has a left and ri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called algebraic sets. Other conventions do not require irreducibility. The fundamental theorem of algebra establishes a link between algebra and geometry by showing that a monic polynomial (an algebraic object) in one variable with complex number coefficients is determined ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cubic Curve
In mathematics, a cubic plane curve is a plane algebraic curve defined by a cubic equation : applied to homogeneous coordinates for the projective plane; or the inhomogeneous version for the affine space determined by setting in such an equation. Here is a non-zero linear combination of the third-degree monomials : These are ten in number; therefore the cubic curves form a projective space of dimension 9, over any given field . Each point imposes a single linear condition on , if we ask that pass through . Therefore, we can find some cubic curve through any nine given points, which may be degenerate, and may not be unique, but will be unique and non-degenerate if the points are in general position; compare to two points determining a line and how five points determine a conic. If two cubics pass through a given set of nine points, then in fact a pencil of cubics does, and the points satisfy additional properties; see Cayley–Bacharach theorem. A cubic curve may have ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Invertible Matrices
In linear algebra, an -by- square matrix is called invertible (also nonsingular or nondegenerate), if there exists an -by- square matrix such that :\mathbf = \mathbf = \mathbf_n \ where denotes the -by- identity matrix and the multiplication used is ordinary matrix multiplication. If this is the case, then the matrix is uniquely determined by , and is called the (multiplicative) ''inverse'' of , denoted by . Matrix inversion is the process of finding the matrix that satisfies the prior equation for a given invertible matrix . A square matrix that is ''not'' invertible is called singular or degenerate. A square matrix is singular if and only if its determinant is zero. Singular matrices are rare in the sense that if a square matrix's entries are randomly selected from any finite region on the number line or complex plane, the probability that the matrix is singular is 0, that is, it will almost surely, "almost never" be singular. Non-square matrices (-by- matrices for whic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adjugate Matrix
In linear algebra, the adjugate or classical adjoint of a square matrix is the transpose of its cofactor matrix and is denoted by . It is also occasionally known as adjunct matrix, or "adjoint", though the latter today normally refers to a different concept, the adjoint operator which is the conjugate transpose of the matrix. The product of a matrix with its adjugate gives a diagonal matrix (entries not on the main diagonal are zero) whose diagonal entries are the determinant of the original matrix: :\mathbf \operatorname(\mathbf) = \det(\mathbf) \mathbf, where is the identity matrix of the same size as . Consequently, the multiplicative inverse of an invertible matrix can be found by dividing its adjugate by its determinant. Definition The adjugate of is the transpose of the cofactor matrix of , :\operatorname(\mathbf) = \mathbf^\mathsf. In more detail, suppose is a unital commutative ring and is an matrix with entries from . The -''minor'' of , denoted , is the determ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Special Linear Group
In mathematics, the special linear group of degree ''n'' over a field ''F'' is the set of matrices with determinant 1, with the group operations of ordinary matrix multiplication and matrix inversion. This is the normal subgroup of the general linear group given by the kernel of the determinant :\det\colon \operatorname(n, F) \to F^\times. where ''F''× is the multiplicative group of ''F'' (that is, ''F'' excluding 0). These elements are "special" in that they form an algebraic subvariety of the general linear group – they satisfy a polynomial equation (since the determinant is polynomial in the entries). When ''F'' is a finite field of order ''q'', the notation is sometimes used. Geometric interpretation The special linear group can be characterized as the group of ''volume and orientation preserving'' linear transformations of R''n''; this corresponds to the interpretation of the determinant as measuring change in volume and orientation. Lie subgroup When ''F'' is R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Affine Line
In mathematics, an affine space is a geometric structure that generalizes some of the properties of Euclidean spaces in such a way that these are independent of the concepts of distance and measure of angles, keeping only the properties related to parallelism and ratio of lengths for parallel line segments. In an affine space, there is no distinguished point that serves as an origin. Hence, no vector has a fixed origin and no vector can be uniquely associated to a point. In an affine space, there are instead ''displacement vectors'', also called ''translation'' vectors or simply ''translations'', between two points of the space. Thus it makes sense to subtract two points of the space, giving a translation vector, but it does not make sense to add two points of the space. Likewise, it makes sense to add a displacement vector to a point of an affine space, resulting in a new point translated from the starting point by that vector. Any vector space may be viewed as an affine spac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Projective Variety")
;_Cayley_table.svg "Click for more on -> Special Linear Group")
