41 relations: Abelian group, Absorbing element, Addition, Additive identity, Algebraic structure, Cartesian product, Category (mathematics), Category of groups, Coproduct, Empty set, Empty sum, Euclidean vector, Field (mathematics), Function composition, Greatest and least elements, Ideal (ring theory), Identity element, Initial and terminal objects, Integer, Lattice (order), Linear algebra, Linear map, Mathematics, Matrix (mathematics), Module (mathematics), Multiplication, Partially ordered set, Pointwise, Principal ideal, Product (category theory), Ring (mathematics), Semigroup, Semiring, Tensor, Tensor product, Trivial group, Union (set theory), Zero element, Zero morphism, Zero of a function, 0.
In abstract algebra, 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 the order in which they are written.
In mathematics, an absorbing element is a special type of element of a set with respect to a binary operation on that set.
Addition (often signified by the plus symbol "+") is one of the four basic operations of arithmetic; the others are subtraction, multiplication and division.
In mathematics the additive identity of a set which is equipped with the operation of addition is an element which, when added to any element x in the set, yields x. One of the most familiar additive identities is the number 0 from elementary mathematics, but additive identities occur in other mathematical structures where addition is defined, such as in groups and rings.
In mathematics, and more specifically in abstract algebra, an algebraic structure on a set A (called carrier set or underlying set) is a collection of finitary operations on A; the set A with this structure is also called an algebra.
In set theory (and, usually, in other parts of mathematics), a Cartesian product is a mathematical operation that returns a set (or product set or simply product) from multiple sets.
In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is an algebraic structure similar to a group but without requiring inverse or closure properties.
In mathematics, the category Grp has the class of all groups for objects and group homomorphisms for morphisms.
In category theory, the coproduct, or categorical sum, is a category-theoretic construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces.
In mathematics, and more specifically set theory, the empty set or null set is the unique set having no elements; its size or cardinality (count of elements in a set) is zero.
In mathematics, an empty sum, or nullary sum, is a summation where the number of terms is zero.
In mathematics, physics, and engineering, a Euclidean vector (sometimes called a geometric or spatial vector, or—as here—simply a vector) is a geometric object that has magnitude (or length) and direction.
In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined, and behave as when they are applied to rational and real numbers.
In mathematics, function composition is the pointwise application of one function to the result of another to produce a third function.
In mathematics, especially in order theory, the greatest element of a subset S of a partially ordered set (poset) is an element of S that is greater than every other element of S. The term least element is defined dually, that is, it is an element of S that is smaller than every other element of S. Formally, given a partially ordered set (P, ≤), an element g of a subset S of P is the greatest element of S if Hence, the greatest element of S is an upper bound of S that is contained within this subset.
In ring theory, a branch of abstract algebra, an ideal is a special subset of a ring.
In mathematics, an identity element or neutral element is a special type of element of a set with respect to a binary operation on that set, which leaves other elements unchanged when combined with them.
In category theory, a branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C, there exists precisely one morphism I → X. The dual notion is that of a terminal object (also called terminal element): T is terminal if for every object X in C there exists a single morphism X → T. Initial objects are also called coterminal or universal, and terminal objects are also called final.
An integer (from the Latin ''integer'' meaning "whole")Integer 's first literal meaning in Latin is "untouched", from in ("not") plus tangere ("to touch").
A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra.
Linear algebra is the branch of mathematics concerning linear equations such as linear functions such as and their representations through matrices and vector spaces.
In mathematics, a linear map (also called a linear mapping, linear transformation or, in some contexts, linear function) is a mapping between two modules (including vector spaces) that preserves (in the sense defined below) the operations of addition and scalar multiplication.
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
In mathematics, a matrix (plural: matrices) is a rectangular array of numbers, symbols, or expressions, arranged in rows and columns.
In mathematics, a module is one of the fundamental algebraic structures used in abstract algebra.
Multiplication (often denoted by the cross symbol "×", by a point "⋅", by juxtaposition, or, on computers, by an asterisk "∗") is one of the four elementary mathematical operations of arithmetic; with the others being addition, subtraction and division.
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set.
In mathematics, the qualifier pointwise is used to indicate that a certain property is defined by considering each value f(x) of some function f. An important class of pointwise concepts are the pointwise operations — operations defined on functions by applying the operations to function values separately for each point in the domain of definition.
In the mathematical field of ring theory, a principal ideal is an ideal I in a ring R that is generated by a single element a of R through multiplication by every element of R. The term also has another, similar meaning in order theory, where it refers to an (order) ideal in a poset P generated by a single element x of P, which is to say the set of all elements less than or equal to x in P. The remainder of this article addresses the ring-theoretic concept.
In category theory, the product of two (or more) objects in a category is a notion designed to capture the essence behind constructions in other areas of mathematics such as the cartesian product of sets, the direct product of groups, the direct product of rings and the product of topological spaces.
In mathematics, a ring is one of the fundamental algebraic structures used in abstract algebra.
In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative binary operation.
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.
In mathematics, tensors are geometric objects that describe linear relations between geometric vectors, scalars, and other tensors.
In mathematics, the tensor product of two vector spaces and (over the same field) is itself a vector space, together with an operation of bilinear composition, denoted by, from ordered pairs in the Cartesian product into, in a way that generalizes the outer product.
In mathematics, a trivial group is a group consisting of a single element.
In set theory, the union (denoted by ∪) of a collection of sets is the set of all elements in the collection.
In mathematics, a zero element is one of several generalizations of the number zero to other algebraic structures.
In category theory, a branch of mathematics, a zero morphism is a special kind of morphism exhibiting properties like the morphisms to and from a zero object.
In mathematics, a zero, also sometimes called a root, of a real-, complex- or generally vector-valued function f is a member x of the domain of f such that f(x) vanishes at x; that is, x is a solution of the equation f(x).
0 (zero) is both a number and the numerical digit used to represent that number in numerals.