Lemma of the day

Let (An) be an inverse system of abelian groups. The following are equivalent

  1. (An) is zero as a pro-object,
  2. lim An = 0 and R1lim An = 0 and the same holds for ⨁ i ∈ N (An).

See Tag 091C.