Category:Algebraic Structures

From ProofWiki
Jump to navigation Jump to search

This category contains results about Algebraic Structures.
Definitions specific to this category can be found in Definitions/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.


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




Pages in category "Algebraic Structures"

This category contains only the following page.