• The universal deformation ring is a formal power series if the obstructions vanish.
  • A representation of a pro-finite group is Lie-irreducible (e.g irreducible for any open subgroup) iff the connected component of the Zariski closure of the image of the representation is irreducible.