Sitting at the faraway restaurant, ... thinking of the Nobel Prize

 Show that

$PDer(G, A) \cong A/A^G$

PDer = F(G + 

$G/A = A/A^G $

$ G^{\square} = A^G $                ?

possibly $A^G = $

a + b + c + ...