Post #1815091

@hallasurvivor Suppose we define the algebra of quaternionic polynomials H as formal sums of terms like aqbqcqd... where a,b,c,d are quaternions and q is the variable. Real numbers commute with everything, so this forms an R-algebra. Recall that evaluation of real polynomials R[x] -> R^R is an injective homomorphism. It is however not true for quaternions H -> H^H. What kind of identities should we add to H to make it injective?