Deje $B=\oplus_{i\geq0}B_i$ sea un anillo graduado con $B_d=B_1^d$ para cada $d\geq1$ . Supongamos que $B_1$ es una $A$ -para algún anillo $A$ . Entonces, es $B$ un $A$ -de alguna manera canónica?
En Geometría Algebraica y Curvas Aritméticas de Qing Liu, Ex.2.3.11(b), dijo en la configuración anterior el esquema $Proj(B)$ era un proyectivo $A$ -scheme, me preguntaba si se trata de un error de impresión, debe reemplazar $A$ por $B_0$ ?
