Share This
table started by
Freebase Staff for the Mathematics Base
Topic is one of the core types in Freebase. Topics contain a set of default properties that are generally useful when describing a topic: display name, alias, article, image and webpage.
Most types in Freebase carry these topic properties by default. If an item in Freebase is typed 'topic' it...
more
Add More Topics
Save this view to a base, or just for yourself.
about 64 Topic topics matching:
Filter this Collection|
|
||||
|---|---|---|---|---|
| x name | x image | x Also known as | x article | x Subjects |
| Albert Einstein |
|
Albert Einstein (pronounced /ˈælbərt ˈaɪnstaɪn/; German: [ˈalbɐt ˈaɪ̯nʃtaɪ̯n] ( listen); 14 March 1879–18 April 1955) was a theoretical physicist. His many contributions to physics include the special and general theories of relativity, the...
|
||
| Andrew Wiles |
|
Sir Andrew John Wiles KBE FRS (born 11 April 1953) is a British mathematician and a professor at Princeton University, specializing in number theory. He is most famous for proving Fermat's Last Theorem.
Andrew Wiles's father was Maurice Frank Wiles ...
|
||
| Associative algebra |
In mathematics, an associative algebra is a module which also allows the multiplication of vectors in a distributive and associative manner. They are thus a special case of algebras over commutative rings.
Let R be a fixed commutative ring. An...
|
|||
| Abelian group |
An abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on their order (the axiom of commutativity). Abelian groups generalize the arithmetic of addition...
|
|||
| Boolean algebra |
In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice. This type of algebraic structure captures essential properties of both set operations and logic operations. A Boolean algebra can be seen as a...
|
|||
| Division ring |
In abstract algebra, a division ring, also called a skew field, is a ring in which division is possible. More formally, a ring with 0 ≠ 1 is a division ring if every non-zero element a has a multiplicative inverse (i.e. an element x with ax = xa = 1...
|
|||
| Euclidean domain |
In mathematics, more specifically in abstract algebra and ring theory, a Euclidean domain is a ring that can be endowed with a certain structure – namely a Euclidean function, to be described in detail below – which allows a suitable generalization...
|
|||
| Field |
|
In abstract algebra, a field is an algebraic structure with notions of addition, subtraction, multiplication, and division, satisfying certain axioms. The most commonly used fields are the field of real numbers, the field of complex numbers, and the...
|
||
| Geometric algebra |
In mathematical physics, a geometric algebra is a multilinear algebra described technically as a Clifford algebra over a real vector space equipped with a non-degenerate quadratic form. Informally, a geometric algebra is a Clifford algebra that...
|
|||
| Integral domain |
In abstract algebra, an integral domain is a commutative ring without zero divisors and with a multiplicative identity 1 not equal to 0, the additive identity. Integral domains are generalizations of the integers and provide a natural setting for...
|
|||
| Lie algebra |
|
In mathematics, a Lie algebra (pronounced /ˈliː/ ("lee"), not /ˈlaɪ/ ("lye")) is an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds. Lie algebras were introduced to study the...
|
||
| Linear algebra |
|
Linear algebra is a branch of mathematics concerned with the study of vectors, vector spaces (also called linear spaces), linear maps (also called linear transformations), and systems of linear equations. Vector spaces are a central theme in modern...
|
||
| Group |
In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines any two of its elements to form a third element. To qualify as a group, the set and the operation must satisfy a few conditions called...
|
|||
| Monoid |
In abstract algebra, a branch of mathematics, a monoid is an algebraic structure with a single associative binary operation and an identity element. Monoids are studied in semigroup theory as they are naturally semigroups with identity. Monoids...
|
|||
| Ordered field |
In mathematics, an ordered field is a field together with a total ordering of its elements that agrees in a certain sense with the field operations. This concept was introduced by Emil Artin in 1927.
There are two equivalent definitions, depending...
|
|||
| Quasigroup |
In mathematics, especially in abstract algebra, a quasigroup is an algebraic structure resembling a group in the sense that "division" is always possible. Quasigroups differ from groups mainly in that they need not be associative. A quasigroup with...
|
|||
| Set |
A set is a collection of distinct objects, considered as an object in its own right. Sets are one of the most fundamental concepts in mathematics. Although it was invented at the end of the 19th century, set theory is now a ubiquitous part of...
|
|||
| Semigroup |
In mathematics, a semigroup is an algebraic structure consisting of a nonempty set S together with an associative binary operation. In other words, a semigroup is an associative magma. The terminology is derived from the anterior notion of a group....
|
|||
| Vector space |
|
A vector space is a mathematical structure formed by a collection of vectors: objects that may be added together and multiplied ("scaled") by numbers, called scalars in this context. Scalars are often taken to be real numbers, but one may also...
|
||
| Clifford algebra |
|
In mathematics, Clifford algebras are a type of associative algebra. They can be thought of as one of the possible generalizations of the complex numbers and quaternions. The theory of Clifford algebras is intimately connected with the theory of...
|
||
| Ring |
|
In mathematics, a ring is an algebraic structure consisting of a set together with two binary operations (usually called addition and multiplication), where each operation combines two elements to form a third element. To qualify as a ring, the set...
|
||
| Boolean ring |
|
In mathematics, a Boolean ring R is a ring (with identity) for which x = x for all x in R; that is, R consists only of idempotent elements.
Boolean rings are automatically commutative and of characteristic 2 (see below for proof). A Boolean ring is...
|
||
| Commutative ring |
|
In ring theory, a branch of abstract algebra, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra.
Some specific kinds of commutative rings are given with...
|
||
| Graded algebra |
In mathematics, in particular abstract algebra, a graded algebra is an algebra over a field (or commutative ring) with an extra piece of structure, known as a gradation (or grading).
A graded ring A is a ring that has a direct sum decomposition into...
|
|||
| Magma |
|
In abstract algebra, a magma (or groupoid; not to be confused with groupoids in category theory) is a basic kind of algebraic structure. Specifically, a magma consists of a set M equipped with a single binary operation M × M → M. A binary operation...
|
||
| Kleene algebra |
In mathematics, a Kleene algebra (named after Stephen Cole Kleene, pronounced /ˈkleɪni/ KLAY-nee) is either of two different things:
Various inequivalent definitions of Kleene algebras and related structures have been given in the literature. See [1...
|
|||
| Exterior algebra |
|
In mathematics, the exterior product or wedge product of vectors is an algebraic construction generalizing certain features of the cross product to higher dimensions. Like the cross product, and the scalar triple product, the exterior product of...
|
||
| Commutative algebra |
Commutative algebra is the branch of abstract algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative...
|
|||
| Module |
In abstract algebra, the concept of a module over a ring is a generalization of the notion of vector space, where instead of requiring the scalars to lie in a field, the "scalars" may lie in an arbitrary ring. Modules also generalize the notion of...
|
|||
| Heyting algebra |
In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded...
|
|||
| Distributive lattice |
|
In mathematics, distributive lattices are lattices for which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set union...
|
||
| Semiring |
In abstract algebra, a semiring is an algebraic structure similar to a ring, but without the requirement that each element must have an additive inverse. The term rig is also used occasionally—this originated as a joke, suggesting that rigs are...
|
|||
| Simple ring |
In abstract algebra, a simple ring is a non-zero ring that has no ideal besides the zero ideal and itself. A simple ring can always be considered as a simple algebra.
According to the Artin–Wedderburn theorem, every simple ring that is left or right...
|
|||
| Lattice |
In mathematics, a lattice is a partially ordered set (also called a poset) in which any two elements have a unique supremum (the elements' least upper bound; called their join) and an infimum (greatest lower bound; called their meet). Lattices can...
|
|||
| Artinian ring |
In abstract algebra, an Artinian ring is a ring that satisfies the descending chain condition on ideals. They are also called Artin rings and are named after Emil Artin, who first discovered that the descending chain condition for ideals...
|
|||
| Weyl algebra |
In abstract algebra, the Weyl algebra is the ring of differential operators with polynomial coefficients (in one variable),
More precisely, let F be a field, and let F[X] be the ring of polynomials in one variable, X, with coefficients in F. Then...
|
|||
| Symmetric algebra |
In mathematics, the symmetric algebra S(V) (also denoted Sym(V)) on a vector space V over a field K is the free commutative unital associative K-algebra containing V.
It corresponds to polynomials with indeterminates in V, without choosing...
|
|||
| Complemented lattice |
In the mathematical discipline of order theory, a complemented lattice is a bounded lattice in which every element a has a complement, i.e. an element b satisfying a ∨ b = 1 and a ∧ b = 0. A relatively complemented lattice is a lattice such that...
|
|||
| 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 Ruth Moufang.
A Moufang loop is a loop Q that satisfies any one of the...
|
|||
| Semilattice |
In mathematics, a join-semilattice is a partially ordered set which has a join (a least upper bound) for any finite subset. Dually, a meet-semilattice is a partially ordered set which has a meet (or greatest lower bound) for any finite subset. Every...
|
|||
| Sidónio Pais |
|
Sidonio Pais |
Sidónio Bernardino Cardoso da Silva Pais (Portuguese pronunciation: [siˈdɔniu ˈpaiʃ]; Caminha, Caminha, May 1, 1872–Lisbon, December 14, 1918) was a Portuguese politician and diplomat, 4th President in 1918. He was known as the President-King.
He...
|
|
| Jordan algebra |
In abstract algebra, a Jordan algebra is an (not necessarily associative) algebra over a field whose multiplication satisfies the following axioms:
The product of two elements x and y in a Jordan algebra is also denoted x ∘ y, particularly to avoid...
|
|||
| Interior algebra |
In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and...
|
|||
| Formally real field |
In mathematics, a formally real field in field theory is a field that shares certain algebraic properties with the real number field. A formally real field F may be characterized in any of the following equivalent ways:
The equivalence of the first...
|
|||
| Pointed set |
In mathematics, a pointed set is a set X with a distinguished basepoint . Maps of pointed sets (based maps) are functions preserving basepoints, i.e. a map such that f(x0) = y0. This is usually denoted
Pointed sets may be regarded as a rather...
|
|||
| Rng |
In abstract algebra, a rng (also called a pseudo-ring or non-unital ring) is an algebraic structure satisfying the same properties as a ring, except that multiplication need not have an identity element. The term "rng" (pronounced rung) is meant to...
|
|||
| Guerino Mazzola |
|
Guerino Mazzola (born 1947) is a Swiss mathematician, musicologist, jazz pianist as well as book writer.
He graduated at the University of Zürich in Mathematics, Theoretical Physics and Crystallography and completed his PhD in Mathematics in 1971....
|
||
| Duarte Leite |
|
Duarte Leite Pereira da Silva, GCC (Porto, 11 August 1864 - Porto, 29 September 1950; Portuguese pronunciation: [duˈaɾt(ɨ) ˈlɐit(ɨ)], was a Portuguese historian, mathematician, journalist, diplomat and politician. He graduated in Mathematics at the...
|
||
| Benedict Gross |
Benedict Gross (born June 22, 1950) is a professor of mathematics at Harvard University and former Dean of Harvard College.
In 1971 he graduated Phi Beta Kappa from Harvard University. He then received an M.Sc. from Oxford University in 1974 before...
|
|||
| Relation algebra |
In mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra equipped with an involution called "converse". The motivating example of a relation algebra is the algebra 2 of all binary relations on a set X, with R•S...
|
|||
| Grassmann-Cayley algebra |
Grassmann–Cayley algebra, also known as double algebra, is a form of modeling algebra for use in projective geometry. The technique is based on work by German mathematician Hermann Grassmann on exterior algebra, and subsequently by British...
|
|||
| David Sharp |
David Sharp (15 February 1972 – 15 May 2006) was an English mountaineer who died near the summit of Mount Everest. His death caused controversy and debate, because he was passed by a number of other climbers heading to and returning from the summit...
|
|||
| Band |
In mathematics, a band (also called idempotent semigroup) is a semigroup in which every element is idempotent (in other words equal to its own square). The lattice of varieties of bands was described independently by Birjukov, Fennemore and Gerhard....
|
|||
| Tom Lehrer | Tom Lehrer Orchestra |
Thomas Andrew "Tom" Lehrer (born April 9, 1928) is an American singer-songwriter, satirist, pianist, and mathematician. He has lectured on mathematics and musical theater. Lehrer is best known for the pithy, humorous songs he recorded in the 1950s...
|
||
| Lehrer Tom | ||||
| Charles Lutwidge Dodgson |
|
Lewis Carroll |
Charles Lutwidge Dodgson (pronounced /ˈdɒdsən/) (27 January 1832 – 14 January 1898), better known by the pen name Lewis Carroll (/ˈkærəl/), was an English author, mathematician, logician, Anglican deacon and photographer. His most famous writings...
|
|
| Modular lattice |
In the branch of mathematics called order theory, a modular lattice is a lattice that satisfies the following self-dual condition:
Modular lattices arise naturally in algebra and in many other areas of mathematics. For example, the subspaces of a...
|
|||
| Unary system | ||||
| Pointed unary system | ||||
| Steiner magma | ||||
| Squag | ||||
