Let R be a finitary hereditary ring.
Recall: The Hall multiplication is given by:
There is a corresponding coassociative
comultiplication (here, aX = |Aut(X)|):
Claim: This is a ring homomorphism
provided we endow the tensor product with the "twisted multiplication":