Category:Module on Cartesian Product

From ProofWiki
Jump to navigation Jump to search

This category contains results about Module on Cartesian Product.

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

Let $n \in \N_{>0}$.

Let $+: R^n \times R^n \to R^n$ be defined as:

$\tuple {\alpha_1, \ldots, \alpha_n} + \tuple {\beta_1, \ldots, \beta_n} = \tuple {\alpha_1 +_R \beta_1, \ldots, \alpha_n +_R \beta_n}$

Let $\times: R \times R^n \to R^n$ be defined as:

$\lambda \times \tuple {\alpha_1, \ldots, \alpha_n} = \tuple {\lambda \times_R \alpha_1, \ldots, \lambda \times_R \alpha_n}$

Then $\struct {R^n, +, \times}_R$ is the $R$-module $R^n$.


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