Lesson plan

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 v and w have the form av+bw where a , b\in H . In right vector spaces, linear compositions of vectors v and w have the form va+wb . Similar to vector spaces over a field, if a quaternionic vector space has finite dimension n , then it is isomorphic to the direct sum H^n of n copies of the quaternion algebra H . In this case we can use a standard basis which has the form : e_1=(1,0,\ldots,0) : \ldots : e_n=(0,\ldots,0,1) In a left quaternionic vector space H^n we use componentwise sum of vectors and product of vectors over scalars : (p_1, \ldots, p_n)+(r_1, \ldots, r_n) = (p_1+ r_1, \ldots, p_n+ r_n) : q (r_1, \ldots, r_n) = (q r_1, \ldots, q r_n) In a right quaternionic vector space H^n we also use componentwise sum of vectors and product of vectors over scalars : (p_1, \ldots, p_n)+(r_1, \ldots, r_n) = (p_1+ r_1, \ldots, p_n+ r_n) : (r_1, \ldots, r_n)q = ( r_1q, \ldots, r_nq)

Back to article

Article summary

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 v and w have the form av+bw where a , b\in H . In right vector spaces, linear compositions of vectors v and w have the form va+wb . Similar to vector spaces over a field, if a quaternionic vector space has finite dimension n , then it is isomorphic to the direct sum H^n of n copies of the quaternion algebra H . In this case we can use a standard basis which has the form : e_1=(1,0,\ldots,0) : \ldots : e_n=(0,\ldots,0,1) In a left quaternionic vector space H^n we use componentwise sum of vectors and product of vectors over scalars : (p_1, \ldots, p_n)+(r_1, \ldots, r_n) = (p_1+ r_1, \ldots, p_n+ r_n) : q (r_1, \ldots, r_n) = (q r_1, \ldots, q r_n) In a right quaternionic vector space H^n we also use componentwise sum of vectors and product of vectors over scalars : (p_1, \ldots, p_n)+(r_1, \ldots, r_n) = (p_1+ r_1, \ldots, p_n+ r_n) : (r_1, \ldots, r_n)q = ( r_1q, \ldots, r_nq)

Key claims

No claims recorded.

Discussion questions

  1. Summarise the article in your own words. Which single claim would you verify first, and why?
  2. Which claim in this article is most likely to be revised as the sources update? How would you check its current status?
  3. If two sources disagreed about one of these facts, what would you need in order to trust one over the other?

Bibliography

No sources recorded.

Key claims and bibliography are generated from the same tracked claims and sources as the article page.