|
Alternativity
In abstract algebra, alternativity is a property of a binary operation. A magma is said to be if (xx)y = x(xy) for all x, y \in G and if y(xx) = (yx)x for all x, y \in G. A magma that is both left and right alternative is said to be ().. Any associative magma (that is, a semigroup) is alternative. More generally, a magma in which every pair of elements generates an associative submagma must be alternative. The converse, however, is not true, in contrast to the situation in alternative algebras. Examples Examples of alternative algebras include: * Any Semigroup is associative and therefore alternative. * Moufang loops are alternative and flexible but not associative. See for more examples. * Octonion multiplication is alternative and flexible. ** More generally Cayley-Dickson algebra over a commutative ring is alternative. See also * Flexible algebra In mathematics, particularly abstract algebra, a binary operation • on a set is flexible if it satisfies the flexible i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moufang Loop
In mathematics, a Moufang loop is a special kind of algebraic structure. It is similar to a group in many ways but need not be associative. Moufang loops were introduced by . Smooth Moufang loops have an associated algebra, the Malcev algebra, similar in some ways to how a Lie group has an associated Lie algebra. Definition A Moufang loop is a loop Q that satisfies the four following equivalent identities for all x, y, z in Q (the binary operation in Q is denoted by juxtaposition): #z(x(zy)) = ((zx)z)y #x(z(yz)) = ((xz)y)z #(zx)(yz) = (z(xy))z #(zx)(yz) = z((xy)z) These identities are known as Moufang identities. Examples * Any group is an associative loop and therefore a Moufang loop. * The nonzero octonions form a nonassociative Moufang loop under octonion multiplication. * The subset of unit norm octonions (forming a 7-sphere in O) is closed under multiplication and therefore forms a Moufang loop. * The subset of unit norm integral octonions is a finite Moufang loop of o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alternative Algebra
In abstract algebra, an alternative algebra is an algebra over a field, algebra in which multiplication need not be associative, only alternativity, alternative. That is, one must have *x(xy) = (xx)y *(yx)x = y(xx) for all ''x'' and ''y'' in the algebra. Every associative algebra is obviously alternative, but so too are some strictly non-associative algebras such as the octonions. The associator Alternative algebras are so named because they are the algebras for which the associator is alternating form, alternating. The associator is a trilinear map given by :[x,y,z] = (xy)z - x(yz). By definition, a multilinear map is alternating if it Vanish_(mathematics), vanishes whenever two of its arguments are equal. The left and right alternative identities for an algebra are equivalent to :[x,x,y] = 0 :[y,x,x] = 0 Both of these identities together imply that: :[x,y,x]=[x,x,x]+[x,y,x]+ :-[x,x+y,x+y] = := [x,x+y,-y] = := [x,x,-y] - [x,y,y] = 0 for all x and y. This is equivalent to the ''f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Associativity
In mathematics, the associative property is a property of some binary operations that rearranging the parentheses in an expression will not change the result. In propositional logic, associativity is a Validity (logic), valid rule of replacement for well-formed formula, expressions in Formal proof, logical proofs. Within an expression containing two or more occurrences in a row of the same associative operator, the order in which the Operation (mathematics), operations are performed does not matter as long as the sequence of the operands is not changed. That is (after rewriting the expression with parentheses and in infix notation if necessary), rearranging the parentheses in such an expression will not change its value. Consider the following equations: \begin (2 + 3) + 4 &= 2 + (3 + 4) = 9 \,\\ 2 \times (3 \times 4) &= (2 \times 3) \times 4 = 24 . \end Even though the parentheses were rearranged on each line, the values of the expressions were not altered. Since this holds ... [...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] |
Magma (algebra)
In abstract algebra, a magma, binar, or, rarely, groupoid is a basic kind of algebraic structure. Specifically, a magma consists of a Set (mathematics), set equipped with a single binary operation that must be closure (binary operation), closed by definition. No other properties are imposed. History and terminology The term ''groupoid'' was introduced in 1927 by Heinrich Brandt describing his Brandt groupoid. The term was then appropriated by B. A. Hausmann and Øystein Ore (1937) in the sense (of a set with a binary operation) used in this article. In a couple of reviews of subsequent papers in Zentralblatt, Brandt strongly disagreed with this overloading of terminology. The Brandt groupoid is a groupoid in the sense used in category theory, but not in the sense used by Hausmann and Ore. Nevertheless, influential books in semigroup theory, including Alfred Hoblitzelle Clifford, Clifford and G. B. Preston, Preston (1961) and John Mackintosh Howie, Howie (1995) use groupoid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semigroup
In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it. The binary operation of a semigroup is most often denoted multiplicatively (just notation, not necessarily the elementary arithmetic multiplication): , or simply ''xy'', denotes the result of applying the semigroup operation to the ordered pair . Associativity is formally expressed as that for all ''x'', ''y'' and ''z'' in the semigroup. Semigroups may be considered a special case of magmas, where the operation is associative, or as a generalization of groups, without requiring the existence of an identity element or inverses. As in the case of groups or magmas, the semigroup operation need not be commutative, so is not necessarily equal to ; a well-known example of an operation that is associative but non-commutative is matrix multiplication. If the semigroup operation is commutative, then the semigroup is called a ''commutative semigroup' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Converse (logic)
In logic and mathematics, the converse of a categorical or implicational statement is the result of reversing its two constituent statements. For the Material conditional, implication ''P'' → ''Q'', the converse is ''Q'' → ''P''. For the categorical proposition ''All S are P'', the converse is ''All P are S''. Either way, the truth of the converse is generally independent from that of the original statement.Robert Audi, ed. (1999), ''The Cambridge Dictionary of Philosophy'', 2nd ed., Cambridge University Press: "converse". Implicational converse Let ''S'' be a statement of the form ''P implies Q'' (''P'' → ''Q''). Then the ''converse'' of ''S'' is the statement ''Q implies P'' (''Q'' → ''P''). In general, the truth of ''S'' says nothing about the truth of its converse, unless the Antecedent (logic), antecedent ''P'' and the consequent ''Q'' are logically equivalent. For example, consider the true statement "If I am a human, then I am mortal." The converse of that stateme ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semigroup
In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it. The binary operation of a semigroup is most often denoted multiplicatively (just notation, not necessarily the elementary arithmetic multiplication): , or simply ''xy'', denotes the result of applying the semigroup operation to the ordered pair . Associativity is formally expressed as that for all ''x'', ''y'' and ''z'' in the semigroup. Semigroups may be considered a special case of magmas, where the operation is associative, or as a generalization of groups, without requiring the existence of an identity element or inverses. As in the case of groups or magmas, the semigroup operation need not be commutative, so is not necessarily equal to ; a well-known example of an operation that is associative but non-commutative is matrix multiplication. If the semigroup operation is commutative, then the semigroup is called a ''commutative semigroup' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Octonion
In mathematics, the octonions are a normed division algebra over the real numbers, a kind of Hypercomplex number, hypercomplex Number#Classification, number system. The octonions are usually represented by the capital letter O, using boldface or blackboard bold \mathbb O. Octonions have eight dimension (vector space), dimensions; twice the number of dimensions of the quaternions, of which they are an extension. They are commutative property, noncommutative and associative property, nonassociative, but satisfy a weaker form of associativity; namely, they are alternative algebra, alternative. They are also Power associativity, power associative. Octonions are not as well known as the quaternions and complex numbers, which are much more widely studied and used. Octonions are related to exceptional structures in mathematics, among them the Simple Lie group#Exceptional cases, exceptional Lie groups. Octonions have applications in fields such as string theory, special relativity and qu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutative Ring
In mathematics, a commutative ring is a Ring (mathematics), ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings. Commutative rings appear in the following chain of subclass (set theory), class inclusions: Definition and first examples Definition A ''ring'' is a Set (mathematics), set R equipped with two binary operations, i.e. operations combining any two elements of the ring to a third. They are called ''addition'' and ''multiplication'' and commonly denoted by "+" and "\cdot"; e.g. a+b and a \cdot b. To form a ring these two operations have to satisfy a number of properties: the ring has to be an abelian group under addition as well as a monoid under m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
