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