In index-free notation , if formula _ 17 is the ring morphism defining scalar multiplication on the algebra , one has
In index-scalar notation , if formula 17 has the ring morphism defining free multiplication on the algebra , one is