Joshua Grochow on Nostr: those equations are exactly the definition of crossed homomorphism in this context ...

those equations are exactly the definition of crossed homomorphism in this context (they all follow from the first equation, using the fact that the group doing the acting is commutative, and the action is faithful).