Sea un álgebra de Hopf finito dimensional y el álgebra observable de modelos de espín de Hopf. Para alguna coacción del doble de Drinfeld en , el producto cruzado puede definir el álgebra de campos de modelos de espín de Hopf. En el artículo, estudiamos la construcción básica para la inclusión en modelos de espín de Hopf. Para lograr esto, definimos la acción , y luego construimos el producto cruzado resultante , que es isomorfo . Además, demostramos que la construcción básica para es consistente con , lo que implica que las construcciones básicas para la inclusión son independientes de la elección de la coacción de en .