- Abstract algebra
- >
- Fields of abstract algebra
- >
- Category theory
- >
- Free algebraic structures

- Fields of mathematics
- >
- Fields of abstract algebra
- >
- Category theory
- >
- Free algebraic structures

- Mathematical analysis
- >
- Functions and mappings
- >
- Category theory
- >
- Free algebraic structures

- Mathematical concepts
- >
- Mathematical structures
- >
- Category theory
- >
- Free algebraic structures

- Mathematical objects
- >
- Functions and mappings
- >
- Category theory
- >
- Free algebraic structures

- Mathematical objects
- >
- Mathematical structures
- >
- Category theory
- >
- Free algebraic structures

- Mathematical relations
- >
- Functions and mappings
- >
- Category theory
- >
- Free algebraic structures

Free Boolean algebra

In mathematics, a free Boolean algebra is a Boolean algebra with a distinguished set of elements, called generators, such that: 1.
* Each element of the Boolean algebra can be expressed as a finite c

Trace monoid

In computer science, a trace is a set of strings, wherein certain letters in the string are allowed to commute, but others are not. It generalizes the concept of a string, by not forcing the letters t

Free half group

No description available.

Free product

In mathematics, specifically group theory, the free product is an operation that takes two groups G and H and constructs a new group G ∗ H. The result contains both G and H as subgroups, is generated

Free Lie algebra

In mathematics, a free Lie algebra over a field K is a Lie algebra generated by a set X, without any imposed relations other than the defining relations of alternating K-bilinearity and the Jacobi ide

Free strict monoidal category

No description available.

Free object

In mathematics, the idea of a free object is one of the basic concepts of abstract algebra. Informally, a free object over a set A can be thought of as being a "generic" algebraic structure over A: th

Free group

In mathematics, the free group FS over a given set S consists of all words that can be built from members of S, considering two words to be different unless their equality follows from the group axiom

Free independence

In the mathematical theory of free probability, the notion of free independence was introduced by Dan Voiculescu. The definition of free independence is parallel to the classical definition of indepen

Polynomial ring

In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (which is also a commutative algebra) formed from the set of polynomials in one or more indetermin

Free Heyting algebra

No description available.

History monoid

In mathematics and computer science, a history monoid is a way of representing the histories of concurrently running computer processes as a collection of strings, each string representing the individ

Term algebra

In universal algebra and mathematical logic, a term algebra is a freely generated algebraic structure over a given signature. For example, in a signature consisting of a single binary operation, the t

Free module

In mathematics, a free module is a module that has a basis – that is, a generating set consisting of linearly independent elements. Every vector space is a free module, but, if the ring of the coeffic

Involutive monoid

No description available.

Free abelian group

In mathematics, a free abelian group is an abelian group with a basis. Being an abelian group means that it is a set with an addition operation that is associative, commutative, and invertible. A basi

Free lattice

In mathematics, in the area of order theory, a free lattice is the free object corresponding to a lattice. As free objects, they have the universal property.

Free monoid

In abstract algebra, the free monoid on a set is the monoid whose elements are all the finite sequences (or strings) of zero or more elements from that set, with string concatenation as the monoid ope

Stably free module

In mathematics, a stably free module is a module which is close to being free.

Free algebra

In mathematics, especially in the area of abstract algebra known as ring theory, a free algebra is the noncommutative analogue of a polynomial ring since its elements may be described as "polynomials"

Simplex category

In mathematics, the simplex category (or simplicial category or nonempty finite ordinal category) is the category of non-empty finite ordinals and order-preserving maps. It is used to define simplicia

Free convolution

Free convolution is the free probability analog of the classical notion of convolution of probability measures. Due to the non-commutative nature of free probability theory, one has to talk separately

Free partially commutative group

No description available.

Free category

In mathematics, the free category or path category generated by a directed graph or quiver is the category that results from freely concatenating arrows together, whenever the target of one arrow is t

Free theory

No description available.

© 2023 Useful Links.