|
Mal'cev Algebra
In mathematics, a Malcev algebra (or Maltsev algebra or Moufang– Lie algebra) over a field is a nonassociative algebra that is antisymmetric, so that :xy = -yx and satisfies the Malcev identity :(xy)(xz) = ((xy)z)x + ((yz)x)x + ((zx)x)y. They were first defined by Anatoly Maltsev (1955). Malcev algebras play a role in the theory of Moufang loops that generalizes the role of Lie algebras in the theory of groups. Namely, just as the tangent space of the identity element of a Lie group forms a Lie algebra, the tangent space of the identity of a smooth Moufang loop forms a Malcev algebra. Moreover, just as a Lie group can be recovered from its Lie algebra under certain supplementary conditions, a smooth Moufang loop can be recovered from its Malcev algebra if certain supplementary conditions hold. For example, this is true for a connected, simply connected real-analytic Moufang loop. Examples *Any Lie algebra is a Malcev algebra. *Any alternative algebra may be made into a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ruth Moufang
Ruth Moufang (10 January 1905 – 26 November 1977) was a German mathematician. Biography Born to German chemist Eduard Moufang and Else Fecht Moufang. Eduard Moufang was the son of Friedrich Carl Moufang (1848-1885) from Mainz, and Elisabeth von Moers from Mainz. Ruth Moufang's mother was Else Fecht, who was the daughter of Alexander Fecht (1848-1913) from Kehl and Ella Scholtz (1847-1921). Ruth was the younger of her parents' two daughters, having an elder sister named Erica. Education and career She studied mathematics at the University of Frankfurt. In 1931 she received her Ph.D. on projective geometry under the direction of Max Dehn, and in 1932 spent a fellowship year in Rome. After her year in Rome, she returned to Germany to lecture at the University of Königsberg and the University of Frankfurt. Denied permission to teach by the minister of education of Nazi Germany, she worked in private industry at the Krupps Research Institute, where she became the firs ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sophus Lie
Marius Sophus Lie ( ; ; 17 December 1842 – 18 February 1899) was a Norwegian mathematician. He largely created the theory of continuous symmetry and applied it to the study of geometry and differential equations. Life and career Marius Sophus Lie was born on 17 December 1842 in the small town of Nordfjordeid. He was the youngest of six children born to a Lutheran pastor named Johann Herman Lie, and his wife who came from a well-known Trondheim family. He had his primary education in the south-eastern coast of Moss, before attending high school at Oslo (known then as Christiania). After graduating from high school, his ambition towards a military career was dashed when the army rejected him due to his poor eyesight. It was then that he decided to enrol at the University of Christiania. Sophus Lie's first mathematical work, ''Repräsentation der Imaginären der Plangeometrie'', was published in 1869 by the Academy of Sciences in Christiania and also by '' Crelle's Journal''. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (mathematics)
In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers do. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as fields of rational functions, algebraic function fields, algebraic number fields, and ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many elements. The relation of two fields is expressed by the notion of a field extension. Galois theory, initiated by Évariste Galois in the 1830s, is devoted to understanding the symmetries of field extensions. Among other res ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nonassociative Algebra
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 n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Anatoly Maltsev
Anatoly Ivanovich Maltsev (also: Malcev, Mal'cev; Russian: Анато́лий Ива́нович Ма́льцев; 27 November N.S./14 November O.S. 1909, Moscow Governorate – 7 June 1967, Novosibirsk) was born in Misheronsky, near Moscow, and died in Novosibirsk, USSR. He was a mathematician noted for his work on the decidability of various algebraic groups. Malcev algebras (generalisations of Lie algebras), as well as Malcev Lie algebras are named after him. Biography At school, Maltsev demonstrated an aptitude for mathematics, and when he left school in 1927, he went to Moscow State University to study Mathematics. While he was there, he started teaching in a secondary school in Moscow. After graduating in 1931, he continued his teaching career and in 1932 was appointed as an assistant at the Ivanovo Pedagogical Institute located in Ivanovo, near Moscow. Whilst teaching at Ivanovo, Maltsev made frequent trips to Moscow to discuss his research with Kolmogorov. Mal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moufang Loop
Moufang is the family name of the following people: * Christoph Moufang (1817–1890), a Roman Catholic cleric * Ruth Moufang (1905–1977), a German mathematician, after whom several concepts in mathematics are named: ** Moufang–Lie algebra ** Moufang loop ** Moufang polygon ** Moufang plane * David Moufang (born 1966), German ambient techno musician {{surname ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Algebras
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] |
Group (mathematics)
In mathematics, a group is a set and an operation that combines any two elements of the set to produce a third element of the set, in such a way that the operation is associative, an identity element exists and every element has an inverse. These three axioms hold for number systems and many other mathematical structures. For example, the integers together with the addition operation form a group. The concept of a group and the axioms that define it were elaborated for handling, in a unified way, essential structural properties of very different mathematical entities such as numbers, geometric shapes and polynomial roots. Because the concept of groups is ubiquitous in numerous areas both within and outside mathematics, some authors consider it as a central organizing principle of contemporary mathematics. In geometry groups arise naturally in the study of symmetries and geometric transformations: The symmetries of an object form a group, called the symmetry group of th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (division), or equivalently, the concept of addition and the taking of inverses (subtraction). Combining these two ideas, one obtains a continuous group where multiplying points and their inverses are continuous. If the multiplication and taking of inverses are smooth (differentiable) as well, one obtains a Lie group. Lie groups provide a natural model for the concept of continuous symmetry, a celebrated example of which is the rotational symmetry in three dimensions (given by the special orthogonal group \text(3)). Lie groups are widely used in many parts of modern mathematics and physics. ... [...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 operation called the Lie bracket, an 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 ,y/math>. The vector space \mathfrak g together with this operation is a non-associative algebra, meaning that the Lie bracket is not necessarily associative. Lie algebras are closely related to Lie groups, which are 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 Lie group unique up to finite coverings ( Lie's third theorem). This correspondence allows one to study the structure and classification of Lie groups in terms of Lie algebras. In physics, Lie groups appear as symmetry groups ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alternative Algebra
In abstract algebra, an alternative algebra is an algebra in which multiplication need not be associative, only 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. The associator is a trilinear map given by : ,y,z= (xy)z - x(yz). By definition, a multilinear map is alternating if it vanishes whenever two of its arguments are equal. The left and right alternative identities for an algebra are equivalent toSchafer (1995) p. 27 : ,x,y= 0 : ,x,x= 0. Both of these identities together imply that : ,y,x= , x, x+ , y, x- , x+y, x+y= , x+y, -y= , x, -y- , y, y= 0 for all x and y. This is equivalent to the '' flexible identity''Schafer (1995) p. 28 :(xy)x = x(yx). The associator of an alte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
