|
Cofree Coalgebra
In algebra, the cofree coalgebra of a vector space or module is a coalgebra analog of the free algebra of a vector space. The cofree coalgebra of any vector space over a field exists, though it is more complicated than one might expect by analogy with the free algebra. Definition If ''V'' is a vector space over a field F, then the cofree coalgebra ''C'' (''V''), of ''V'', is a coalgebra together with a linear map ''C'' (''V'') → ''V'', such that any linear map from a coalgebra ''X'' to ''V'' factors through a coalgebra homomorphism from ''X'' to ''C'' (''V''). In other words, the functor ''C'' is right adjoint to the forgetful functor from coalgebras to vector spaces. The cofree coalgebra of a vector space always exists, and is unique up to canonical isomorphism. Cofree cocommutative coalgebras are defined in a similar way, and can be constructed as the largest cocommutative coalgebra in the cofree coalgebra. Construction ''C'' (''V'') may be constructed a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebra
Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics. Elementary algebra deals with the manipulation of variables (commonly represented by Roman letters) as if they were numbers and is therefore essential in all applications of mathematics. Abstract algebra is the name given, mostly in education, to the study of algebraic structures such as groups, rings, and fields (the term is no more in common use outside educational context). Linear algebra, which deals with linear equations and linear mappings, is used for modern presentations of geometry, and has many practical applications (in weather forecasting, for example). There are many areas of mathematics that belong to algebra, some having "algebra" in their name, such as commutative algebra, and some not, such as Galois theory. The word ''algebra'' is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
