En geometría algebraica, el teorema de reconstrucción de Gabriel-Rosenberg , introducido en Gabriel (1962), establece que un esquema cuasi separado se puede recuperar a partir de la categoría de haces cuasi coherentes . [1] El teorema se toma como punto de partida para la geometría algebraica no conmutativa, ya que el teorema dice (en cierto sentido) trabajar con cosas en un espacio es equivalente a trabajar con el espacio mismo. Lleva el nombre de Pierre Gabriel y Alexander L. Rosenberg .