Category:Definitions/Algebraic Structures

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Algebraic Structures.
Related results can be found in Category:Algebraic Structures.


An algebraic structure is an ordered tuple:

$\struct {S, \circ_1, \circ_2, \ldots, \circ_n}$

where $S$ is a set which has one or more binary operations $\circ_1, \circ_2, \ldots, \circ_n$ defined on all the elements of $S \times S$.


An algebraic structure with one (binary) operation is thus an ordered pair which can be denoted $\struct {S, \circ}$ or $\struct {T, *}$, and so on.

Subcategories

This category has the following 4 subcategories, out of 4 total.

G

M

S