Section 8.1 has many parallels to the material previously seen in Hungerford’s book. Union of cosets (Theorem 8.4) and the notation used in Lagrange’s Theorem (|G|=|K|[G:K]) are new. These two are also some of the most difficult concepts. What does this new notation mean?