Remarks on a Hopf algebra for defining motivic cohomology (Q1575078)

Let \(F\) be a field, and let \(A_n\) be a generalized scissors congruence group, i.e., the group of pairs of configuration of hyperplanes, subject to a set of relations, in the projective space \({\mathbb P}^n (F)\). From the Hodge theoretic point of view, the group \(A_n \otimes {\mathbb Q}\) should have a Hopf algebra structure. The author of this paper defines a comultiplication map of the Hopf algebra structure on the generic part of the generalized scissors congruence group, and proves that it is well defined and coassociative.