quaternion_monoid_algebra
