# Definition:R-Algebraic Structure

Jump to navigation
Jump to search

## Definition

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**.

If the number of operations in $S$ is either understood or general, it is just called an **$R$-algebraic structure**, and the structure can be denoted $\struct {S, \circ}_R$.

## Also known as

An **$R$-algebraic structure** is also known as an **algebraic structure over (the ring) $R$**, but this terminology is not as clear, and so is discouraged on $\mathsf{Pr} \infty \mathsf{fWiki}$.

This definition needs to be completed.In particular: Extract the following into its own definition page: Definition:R-Algebraic Structure/R-Action with its perm redir Definition:R-ActionYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding or completing the definition.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{DefinitionWanted}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

The operation $\circ$ is also known as an **$R$-action** by some authors.

## Also see

## Sources

- 1965: Seth Warner:
*Modern Algebra*... (previous) ... (next): Chapter $\text {V}$: Vector Spaces: $\S 26$. Vector Spaces and Modules