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 with $n$ operations is an ordered tuple:

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

where:

$S$ is a set
$\circ_1, \circ_2, \ldots, \circ_n$ are $n$ binary operations which are defined on all the elements of $S \times S$.