Definition (H0). Define

H0(G,A)=AG={a∈A|σ(a)=a ∀⁡σ∈G}.