The gauge transformation for a non-abelian gauge field is given in (4.24).
(a) Verify that (4.24) reduces to (4.26) for small ∣βi∣.
(b) Verify the transformation (4.22) for a matter field.
(c) Use (4.24) to prove (4.30) for all β (i.e., not just small ∣βi∣). This implies that LKEA is invariant.
(d) Rederive (4.30) by the simpler method of first proving igFμν⋅L=[Dμ,Dν], with Dμ from (4.17), and then showing that UDμU−1=Dμ′≡∂μ+igAμ′⋅L.