He estado buscando una cohomología donde se sabe que los módulos únicamente divisibles tienen cohomología trivial. Pero en el caso de $\mathbb{Z}$ -módulos que conozco $\mathbb{Q}$ tiene cohomología trivial ya que es "únicamente divisible" pero $\mathbb{Q}/\mathbb{Z}$ no es cohomológicamente trivial pero ambos son grupos divisibles, así que ¿cuál es exactamente la definición de grupo divisible? Como quiero ver si $Hom(L,\mathbb{R})$ es únicamente divisible (L algún grupo abeliano) pero no estoy muy seguro de cómo hacerlo ya que no conozco una buena definición de únicamente divisible
Gracias
