Category:R-Algebraic Structures

From ProofWiki
Jump to navigation Jump to search

This category contains results about R-Algebraic Structures.
Definitions specific to this category can be found in Definitions/R-Algebraic Structures.

Let $\struct {R, +_R, \times_R}$ be a ring.

Let $\struct {S, \ast_1, \ast_2, \ldots, \ast_n}$ be an algebraic structure with $n$ operations.

Let $\circ: R \times S \to S$ be a binary operation.


Then $\struct {S, \ast_1, \ast_2, \ldots, \ast_n, \circ}_R$ is an $R$-algebraic structure with $n$ operations.

Subcategories

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