|
Semi-invariant Of A Quiver
In mathematics, given a quiver (mathematics), quiver ''Q'' with set of vertices ''Q''0 and set of arrows ''Q''1, a representation (mathematics), representation of Q assigns a vector space ''Vi'' to each vertex and a linear map ''V''(''α''): ''V''(''s''(''α'')) → ''V''(''t''(''α'')) to each arrow ''α'', where ''s''(''α''), ''t''(''α'') are the starting and the ending vertices of α. Given an element d ∈ \mathbb''Q''0, the set of representations of ''Q'' with dimension (vector space), dim ''V''''i'' = d(''i'') for each ''i'' has a vector space structure. It is naturally endowed with an action of the algebraic group Π''i''∈''Q''0 GL(d(''i'')) by simultaneous base change. Such action induces one on the ring of functions. The ones which are invariants up to a character of the group (mathematics), group are called semi-invariants. They form a ring whose structure reflects representation theory, representation-theoretical properties of the quiver. Definitions Let '' ... [...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] |
Matrix (mathematics)
In mathematics, a matrix (: matrices) is a rectangle, rectangular array or table of numbers, symbol (formal), symbols, or expression (mathematics), expressions, with elements or entries arranged in rows and columns, which is used to represent a mathematical object or 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 . Matrices are commonly used in linear algebra, where they represent linear maps. In geometry, matrices are widely used for specifying and representing geometric transformations (for example rotation (mathematics), rotations) and coordinate changes. In numerical analysis, many computational problems are solved by reducing them to a matrix computation, and this often involves computing with matrices of huge dimensions. Matrices are used in most areas of mathematics and scientific fields, either directly ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Directed Graphs
Direct may refer to: Mathematics * Directed set, in order theory * Direct limit of (pre), sheaves * Direct sum of modules, a construction in abstract algebra which combines several vector spaces Computing * Direct access (other), a method of accessing data in a database * Direct connect (other), various methods of telecommunications and computer networking * Direct memory access, access to memory by hardware subsystems independently of the CPU Entertainment * ''Direct'' (Tower of Power album) * ''Direct'' (Vangelis album) * ''Direct'' (EP), by The 77s Other uses * Direct (music symbol), a music symbol used in music notation that is similar to a catchword in literature * Nintendo Direct, an online presentation frequently held by Nintendo * Mars Direct, a proposal for a crewed mission to Mars * DIRECT, a proposed space shuttle-derived launch vehicle * DirectX, a proprietary dynamic media platform * Direct current, a direct flow of electricity * Dire ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wild Problem
In the mathematical areas of linear algebra and representation theory, a problem is wild if it contains the problem of classifying pairs of square matrices up to simultaneous similarity. Examples of wild problems are classifying indecomposable representations of any quiver that is neither a Dynkin quiver (i.e. the underlying undirected graph of the quiver is a (finite) Dynkin diagram) nor a Euclidean quiver (i.e., the underlying undirected graph of the quiver is an affine Dynkin diagram). Necessary and sufficient conditions have been proposed to check the simultaneously block triangularization and diagonalization of a finite set of matrices under the assumption that each matrix is diagonalizable over the field of the complex numbers. See also * Semi-invariant of a quiver In mathematics, given a quiver (mathematics), quiver ''Q'' with set of vertices ''Q''0 and set of arrows ''Q''1, a representation (mathematics), representation of Q assigns a vector space ''Vi'' to each verte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Invertible Matrix
In linear algebra, an invertible matrix (''non-singular'', ''non-degenarate'' or ''regular'') is a square matrix that has an inverse. In other words, if some other matrix is multiplied by the invertible matrix, the result can be multiplied by an inverse to undo the operation. An invertible matrix multiplied by its inverse yields the identity matrix. Invertible matrices are the same size as their inverse. Definition An -by- square matrix is called invertible 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 which when multiplied by the original matrix gives the identity matrix. Over a field, a square matrix that is ''not'' invertible is called singular or deg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linearly Independent
In the theory of vector spaces, a set of vectors is said to be if there exists no nontrivial linear combination of the vectors that equals the zero vector. If such a linear combination exists, then the vectors are said to be . These concepts are central to the definition of dimension. A vector space can be of finite dimension or infinite dimension depending on the maximum number of linearly independent vectors. The definition of linear dependence and the ability to determine whether a subset of vectors in a vector space is linearly dependent are central to determining the dimension of a vector space. Definition A sequence of vectors \mathbf_1, \mathbf_2, \dots, \mathbf_k from a vector space is said to be ''linearly dependent'', if there exist scalars a_1, a_2, \dots, a_k, not all zero, such that :a_1\mathbf_1 + a_2\mathbf_2 + \cdots + a_k\mathbf_k = \mathbf, where \mathbf denotes the zero vector. This implies that at least one of the scalars is nonzero, say a_1\ne ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prehomogeneous Vector Space
In mathematics, a prehomogeneous vector space (PVS) is a finite-dimensional vector space ''V'' together with a subgroup ''G'' of the general linear group GL(''V'') such that ''G'' has an open dense orbit in ''V''. The term prehomogeneous vector space was introduced by Mikio Sato in 1970. These spaces have many applications in geometry, number theory and analysis, as well as representation theory. The irreducible PVS were classified first by Vinberg in his 1960 thesis in the special case when G is simple and later by Sato and Tatsuo Kimura in 1977 in the general case by means of a transformation known as "castling". They are subdivided into two types, according to whether the semisimple part of ''G'' acts prehomogeneously or not. If it doesn't then there is a homogeneous polynomial on ''V'' which is invariant under the semisimple part of ''G''. Setting In the setting of Sato, ''G'' is an algebraic group and ''V'' is a rational representation of ''G'' which has a (nonempty) open orb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dynkin Diagram
In the Mathematics, mathematical field of Lie theory, a Dynkin diagram, named for Eugene Dynkin, is a type of Graph (discrete mathematics), graph with some edges doubled or tripled (drawn as a double or triple line). Dynkin diagrams arise in the classification of semisimple Lie algebras over algebraically closed fields, in the classification of Weyl groups and other finite reflection groups, and in other contexts. Various properties of the Dynkin diagram (such as whether it contains multiple edges, or its symmetries) correspond to important features of the associated Lie algebra. The term "Dynkin diagram" can be ambiguous. In some cases, Dynkin diagrams are assumed to be directed graph, directed, in which case they correspond to root systems and semi-simple Lie algebras, while in other cases they are assumed to be undirected graph, undirected, in which case they correspond to Weyl groups. In this article, "Dynkin diagram" means ''directed'' Dynkin diagram, and ''undirected'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subgroup
In group theory, a branch of mathematics, a subset of a group G is a subgroup of G if the members of that subset form a group with respect to the group operation in G. Formally, given a group (mathematics), group under a binary operation ∗, a subset of is called a subgroup of if also forms a group under the operation ∗. More precisely, is a subgroup of if the Restriction (mathematics), restriction of ∗ to is a group operation on . This is often denoted , read as " is a subgroup of ". The trivial subgroup of any group is the subgroup consisting of just the identity element. A proper subgroup of a group is a subgroup which is a subset, proper subset of (that is, ). This is often represented notationally by , read as " is a proper subgroup of ". Some authors also exclude the trivial group from being proper (that is, ). If is a subgroup of , then is sometimes called an overgroup of . The same definitions apply more generally when is an arbitrary se ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quiver (mathematics)
In mathematics, especially representation theory, a quiver is another name for a multidigraph; that is, a directed graph where Loop (graph theory), loops and multiple arrows between two vertex (graph theory), vertices are allowed. Quivers are commonly used in representation theory: a representation of a quiver assigns a vector space to each vertex of the quiver and a linear map to each arrow . In category theory, a quiver can be understood to be the underlying structure of a category (mathematics), category, but without composition or a designation of identity morphisms. That is, there is a forgetful functor from (the category of categories) to (the category of multidigraphs). Its left adjoint is a free functor which, from a quiver, makes the corresponding free category. Definition A quiver consists of: * The set of vertices of * The set of edges of * Two functions: giving the ''start'' or ''source'' of the edge, and another function, givin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
