Quaternionic vector space

In noncommutative algebra, a branch of mathematics, a quaternionic vector space is a module over the quaternions. Since the quaternion algebra is division ring, these modules are referred to as "vector spaces". However, the quaternion algebra is noncommutative so we must distinguish left and right vector spaces. In left vector spaces, linear compositions of vectors ${\displaystyle v}$ and ${\displaystyle w}$ have the form ${\displaystyle av+bw}$ where ${\displaystyle a}$, ${\displaystyle b\in H}$. In right vector spaces, linear compositions of vectors ${\displaystyle v}$ and ${\displaystyle w}$ have the form ${\displaystyle va+wb}$.

Similar to vector spaces over a field, if a quaternionic vector space has finite dimension ${\displaystyle n}$, then it is isomorphic to the direct sum ${\displaystyle H^{n}}$ of ${\displaystyle n}$ copies of the quaternion algebra ${\displaystyle H}$. In this case we can use a standard basis which has the form

${\displaystyle e_{1}=(1,0,\ldots ,0)}$

${\displaystyle \ldots }$

${\displaystyle e_{n}=(0,\ldots ,0,1)}$

In a left quaternionic vector space ${\displaystyle H^{n}}$ we use componentwise sum of vectors and product of vectors over scalars

${\displaystyle (p_{1},\ldots ,p_{n})+(r_{1},\ldots ,r_{n})=(p_{1}+r_{1},\ldots ,p_{n}+r_{n})}$

${\displaystyle q(r_{1},\ldots ,r_{n})=(qr_{1},\ldots ,qr_{n})}$

In a right quaternionic vector space ${\displaystyle H^{n}}$ we also use componentwise sum of vectors and product of vectors over scalars

${\displaystyle (p_{1},\ldots ,p_{n})+(r_{1},\ldots ,r_{n})=(p_{1}+r_{1},\ldots ,p_{n}+r_{n})}$

${\displaystyle (r_{1},\ldots ,r_{n})q=(r_{1}q,\ldots ,r_{n}q)}$