Category:Definitions/Subalgebras

From ProofWiki
Jump to navigation Jump to search

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


Let $R$ be a commutative ring.

Let $\struct {A, *}$ be an algebra over $R$.


A subalgebra of $A$ is a submodule $B \subseteq A$ such that:

$\forall x, y \in B: x * y \in B$

That is, such that $B$ is closed under $*$.

Subcategories

This category has only the following subcategory.

Pages in category "Definitions/Subalgebras"

The following 2 pages are in this category, out of 2 total.