|
Associator
In abstract algebra, the term associator is used in different ways as a measure of the associativity, non-associativity of an algebraic structure. Associators are commonly studied as triple systems. Ring theory For a non-associative ring or non-associative algebra, algebra ''R'', the associator is the multilinear map [\cdot,\cdot,\cdot] : R \times R \times R \to R given by : [x,y,z] = (xy)z - x(yz). Just as the commutator : [x, y] = xy - yx measures the degree of commutativity, non-commutativity, the associator measures the degree of non-associativity of ''R''. For an associative ring or associative algebra, algebra the associator is identically zero. The associator in any ring obeys the identity : w[x,y,z] + [w,x,y]z = [wx,y,z] - [w,xy,z] + [w,x,yz]. The associator is alternating form, alternating precisely when ''R'' is an alternative ring. The associator is symmetric in its two rightmost arguments when ''R'' is a pre-Lie algebra. The nucleus is the set (mathematics), set ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-associative Algebra
A non-associative algebra (or distributive algebra) is an algebra over a field where the binary operation, binary multiplication operation is not assumed to be associative operation, associative. That is, an algebraic structure ''A'' is a non-associative algebra over a field (mathematics), field ''K'' if it is a vector space over ''K'' and is equipped with a ''K''-bilinear map, bilinear binary multiplication operation ''A'' × ''A'' → ''A'' which may or may not be associative. Examples include Lie algebras, Jordan algebras, the octonions, and three-dimensional Euclidean space equipped with the cross product operation. Since it is not assumed that the multiplication is associative, using parentheses to indicate the order of multiplications is necessary. For example, the expressions (''ab'')(''cd''), (''a''(''bc''))''d'' and ''a''(''b''(''cd'')) may all yield different answers. While this use of ''non-associative'' means that associativity is not assumed, it does not mean that ass ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-associative Ring
A non-associative algebra (or distributive algebra) is an algebra over a field where the binary multiplication operation is not assumed to be associative. That is, an algebraic structure ''A'' is a non-associative algebra over a field ''K'' if it is a vector space over ''K'' and is equipped with a ''K''- bilinear binary multiplication operation ''A'' × ''A'' → ''A'' which may or may not be associative. Examples include Lie algebras, Jordan algebras, the octonions, and three-dimensional Euclidean space equipped with the cross product operation. Since it is not assumed that the multiplication is associative, using parentheses to indicate the order of multiplications is necessary. For example, the expressions (''ab'')(''cd''), (''a''(''bc''))''d'' and ''a''(''b''(''cd'')) may all yield different answers. While this use of ''non-associative'' means that associativity is not assumed, it does not mean that associativity is disallowed. In other words, "non-associative" means "not ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-associative Algebra
A non-associative algebra (or distributive algebra) is an algebra over a field where the binary operation, binary multiplication operation is not assumed to be associative operation, associative. That is, an algebraic structure ''A'' is a non-associative algebra over a field (mathematics), field ''K'' if it is a vector space over ''K'' and is equipped with a ''K''-bilinear map, bilinear binary multiplication operation ''A'' × ''A'' → ''A'' which may or may not be associative. Examples include Lie algebras, Jordan algebras, the octonions, and three-dimensional Euclidean space equipped with the cross product operation. Since it is not assumed that the multiplication is associative, using parentheses to indicate the order of multiplications is necessary. For example, the expressions (''ab'')(''cd''), (''a''(''bc''))''d'' and ''a''(''b''(''cd'')) may all yield different answers. While this use of ''non-associative'' means that associativity is not assumed, it does not mean that ass ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Triple System
In algebra, a triple system (or ternar) is a vector space ''V'' over a field F together with a F-trilinear map : (\cdot,\cdot,\cdot) \colon V\times V \times V\to V. The most important examples are Lie triple systems and Jordan triple systems. They were introduced by Nathan Jacobson in 1949 to study subspaces of associative algebras closed under triple commutators ''u'', ''v'' ''w''] and triple Commutator, anticommutators . In particular, any Lie algebra defines a Lie triple system and any Jordan algebra defines a Jordan triple system. They are important in the theories of symmetric spaces, particularly Hermitian symmetric spaces and their generalizations ( symmetric R-spaces and their noncompact duals). Lie triple systems A triple system is said to be a ''Lie triple system'' if the trilinear map, denoted cdot,\cdot,\cdot, satisfies the following identities: : ,v,w= - ,u,w : ,v,w+ ,u,v+ ,w,u= 0 : ,v,[w,x,y = u,v,wx,y">,x,y">,v,[w,x,y<_a>_=_u,v,w.html" ; ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutator
In mathematics, the commutator gives an indication of the extent to which a certain binary operation fails to be commutative. There are different definitions used in group theory and ring theory. Group theory The commutator of two elements, and , of a group , is the element : . This element is equal to the group's identity if and only if and commute (that is, if and only if ). The set of all commutators of a group is not in general closed under the group operation, but the subgroup of ''G'' generated by all commutators is closed and is called the ''derived group'' or the '' commutator subgroup'' of ''G''. Commutators are used to define nilpotent and solvable groups and the largest abelian quotient group. The definition of the commutator above is used throughout this article, but many group theorists define the commutator as : . Using the first definition, this can be expressed as . Identities (group theory) Commutator identities are an important tool in group th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abstract Algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures, which are set (mathematics), sets with specific operation (mathematics), operations acting on their elements. Algebraic structures include group (mathematics), groups, ring (mathematics), rings, field (mathematics), fields, module (mathematics), modules, vector spaces, lattice (order), lattices, and algebra over a field, algebras over a field. The term ''abstract algebra'' was coined in the early 20th century to distinguish it from older parts of algebra, and more specifically from elementary algebra, the use of variable (mathematics), variables to represent numbers in computation and reasoning. The abstract perspective on algebra has become so fundamental to advanced mathematics that it is simply called "algebra", while the term "abstract algebra" is seldom used except in mathematical education, pedagogy. Algebraic structures, with their associated homomorphisms, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Binary Operation
In mathematics, a binary operation or dyadic operation is a rule for combining two elements (called operands) to produce another element. More formally, a binary operation is an operation of arity two. More specifically, a binary operation on a set is a binary function that maps every pair of elements of the set to an element of the set. Examples include the familiar arithmetic operations like addition, subtraction, multiplication, set operations like union, complement, intersection. Other examples are readily found in different areas of mathematics, such as vector addition, matrix multiplication, and conjugation in groups. A binary function that involves several sets is sometimes also called a ''binary operation''. For example, scalar multiplication of vector spaces takes a scalar and a vector to produce a vector, and scalar product takes two vectors to produce a scalar. Binary operations are the keystone of most structures that are studied in algebra, in parti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Monoidal Category
In mathematics, a monoidal category (or tensor category) is a category (mathematics), category \mathbf C equipped with a bifunctor :\otimes : \mathbf \times \mathbf \to \mathbf that is associative up to a natural isomorphism, and an Object (category theory), object ''I'' that is both a left identity, left and right identity for ⊗, again up to a natural isomorphism. The associated natural isomorphisms are subject to certain coherence conditions, which ensure that all the relevant diagram (category theory), diagrams commutative diagram, commute. The ordinary tensor product makes vector spaces, abelian groups, module (mathematics), ''R''-modules, or algebra (ring theory), ''R''-algebras into monoidal categories. Monoidal categories can be seen as a generalization of these and other examples. Every (small category, small) monoidal category may also be viewed as a "categorification" of an underlying monoid, namely the monoid whose elements are the isomorphism classes of the category ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Functor
In mathematics, specifically category theory, a functor is a Map (mathematics), mapping between Category (mathematics), categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and maps between these algebraic objects are associated to continuous function, continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied. The words ''category'' and ''functor'' were borrowed by mathematicians from the philosophers Aristotle and Rudolf Carnap, respectively. The latter used ''functor'' in a Linguistics, linguistic context; see function word. Definition Let ''C'' and ''D'' be category (mathematics), categories. A functor ''F'' from ''C'' to ''D'' is a mapping that * associates each Mathematical object, object X in ''C'' to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Theory
Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Category theory is used in most areas of mathematics. In particular, many constructions of new mathematical objects from previous ones that appear similarly in several contexts are conveniently expressed and unified in terms of categories. Examples include quotient space (other), quotient spaces, direct products, completion, and duality (mathematics), duality. Many areas of computer science also rely on category theory, such as functional programming and Semantics (computer science), semantics. A category (mathematics), category is formed by two sorts of mathematical object, objects: the object (category theory), objects of the category, and the morphisms, which relate two objects called the ''source'' and the ''target'' of the morphism. Metapho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isomorphism
In mathematics, an isomorphism is a structure-preserving mapping or morphism between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is derived . The interest in isomorphisms lies in the fact that two isomorphic objects have the same properties (excluding further information such as additional structure or names of objects). Thus isomorphic structures cannot be distinguished from the point of view of structure only, and may often be identified. In mathematical jargon, one says that two objects are the same up to an isomorphism. A common example where isomorphic structures cannot be identified is when the structures are substructures of a larger one. For example, all subspaces of dimension one of a vector space are isomorphic and cannot be identified. An automorphism is an isomorphism from a structure to itself. An isomorphism between two structures is a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
