6037 Selecciones Matemáticas Sel.mat. 2411-1783 Universidad Nacional de Trujillo Perú selecmat@unitru.edu.pe 603774916032 https://doi.org/10.17268/sel.mat.2022.02.10 Articles Relativización de Tor para HH de Productos Cruzados Relativization of Tor for HH of crossed products https://orcid.org/0000-0002-9440-3569 Ccolque T. Felipe Clímaco ccolque@imca.edu.pe Facultad de Ciencias, UNI-IMCA, Calle los Biólogos, Urb San Cesar, La Molina, Lima, Perú. UNI-IMCA Perú Agosto-Diciembre 2022 9 02 336 356 01 05 2022 26 11 2022 2022 Selecciones Matematicas https://creativecommons.org/licenses/by/4.0/ Esta obra está bajo una Licencia Creative Commons Atribución 4.0 Internacional. Resumen

En este artículo se determinan algunas propiedades de homologías de Hochschild de productos cruzados de Hopf a partir de la relativización del funtor Tor. El funtor de homología de Hochschild de un producto cruzado satisface las propiedades de un satélite izquierdo relativo a una clase proyectiva asociada de epimorfismos de un funtor aditivo.

 Abstract

In this article, from the relativization of the functor Tor some properties of Hochschild homologies of crossed products of Hopf are determined. The Hochschild homology functor of a product crossed satisfies the properties of a left satellite relative to an associated projective class of epimorphisms of an additive functor.

 Keywords Derived functors natural equivalence of bifunctors relative projective resolution horseshoe lemma Hochschild homologies Palabras clave Funtores derivados equivalencia natural de bifuntores resolución proyectiva relativa lema de herradura homologías de Hochschild How to cite this article Ccolque FC. Relativization of Tor for HH of crossed products. Selecciones Matemáticas. 2022;9(2):336-356. http://dx.doi.org/10.17268/sel.mat.2022.02.10 <bold>1. Introducción</bold>

En 2010, G.Carboni, J.A.Guccione y J.J.Guccione, han obtenido en [1] un complejo mixto, más simple que el canónico que da homología de Hochschild, cíclica, negativa y periódica de un producto cruzado E = A # f H , donde H es una álgebra de Hopf arbitraria y f es un cociclo invertible por convolución con valores en una K−álgebra A. Según [1, página 849], la homología de Hochschild de E es la homología de E ⊗ E e ( X ∗ , d ∗ ) , donde ( X ∗ , d ∗ ) es una resolución proyectiva relativa de E.

Los bifuntores T o r y T o r se introdujeron en [2, III.8]. Se desea mostrar que la técnica utilizada para demostrar que los bifuntores E x t n y E x t n son naturalmente equivalentes (ver [2, IV.8]), es aplicable a los correspondientes bifuntores T o r para demostrar su equivalencia natural.

En la sección [2, IV.11] se describió brevemente el bifuntor T o r n Λ ( − , − ) para n = 0 , 1 , ⋯ , y se mencionó que T o r n Λ es balanceado. Dado γ : Λ → Λ ' un morfismo de anillos unitarios y C un Λ’-módulo derecho. En la sección [2, IX.4] se introdujo el símbolo T o r n γ ( C , − ) para denotar los funtores derivados izquierdos del funtor C ⊗ Λ ' ( − ) : m Λ ' → A b .

En el artículo [3, § 2] fueron tratados los funtores relativos Tor y Ext como análogos a los funtores “Tor” y “Ext” de Cartan-Eilenberg [4], a partir de un subanillo S de un anillo R utilizando resoluciones (R, S)-proyectivas (o inyectivas) de R-módulos.

El propósito de este artículo es establecer las propiedades de homologías de Hochschild de productos cruzados de Hopf a partir de las nociones del funtor derivado relativo Tor. Se establecen como resultados principales Teorema 4.1, Teorema 4.2, Teorema 5.1 y Teorema 5.2. La presentación de este trabajo se hace en cinco secciones.

En la segunda sección, usando clase proyectiva de epimorfismos se aborda los funtores derivados relativos izquierdos de un funtor aditivo, y el lema de herradura.

En la tercera sección, usando los Λ-módulos derechos proyectivos y los Λ-módulos izquierdos proyectivos se desarrolla la equivalencia natural de los bifuntores T o r n Λ y T o r n Λ .

En la cuarta sección, dado un morfismo de anillos unitarios γ: R→S se adapta una teoría relativa para la equivalencia natural de los bifuntores relativos T o r n γ y T o r ¯ n γ .

Algunas características de Tor relativo desarrolladas en [3] son reproducidas utilizando como herramienta principal la existencia de una clase proyectiva de epimorfismos en la categoría abeliana de S-módulos (Teorema 4.1) puesto que a un subanillo R de un anillo S se le puede asociar un morfismo de anillos unitarios γ: R→S tal que 1 ↦ 1 .

En la quinta sección, se determinan propiedades de homología de Hochschild de productos cruzados.

 <bold>2. Clase Proyectiva de Epimorfismos</bold>

Para abordar la relativización de la equivalencia natural necesitaremos algunas nociones de funtores derivados relativos izquierdos de un funtor aditivo de una categoría abeliana dotada de una clase proyectiva en una categoría abeliana.

Las ideas de las demostraciones del teorema, de la proposición y del lema de esta sección se puede encontrar en [5].

Funtores Derivados Izquierdos. Sean A una categoría abeliana y una clase de epimorfismos en A .

T eorema 2.1. [2, T IX. 1.3] Sean y dos complejos de cadenas en A . Si esproyectivo y esacíclico, entonces cada morfismo induce un morfismo de complejos de cadenas . Además, dos morfismos de complejos de cadenas inducidos por α son homotópicos.

Definición 2.1. Una clase cerrada de epimorfismos de A es proyectiva si para cada objeto A de A existe un epimorfismo ε: P→A en , donde P es proyectivo.

Proposición 2.1. Si es una clase proyectiva, entonces cada objeto de A posee una resolución proyectiva.

Definición 2.2. Sea un funtor covariante aditivo entre categorías abelianas, donde es una clase proyectiva en A . Dado A ∈, sea P una resolución proyectiva de A y

un complejo de cadenas sobre B . Se define

Definición 2.3. Dado y P’ una resolución proyectiva de A’, se define la aplicación por , donde φ : P→P’ es un morfismo de complejos de cadenas inducido por α .

El teorema 2.1 garantiza que están bien dadas las dos definiciones anteriores. Así, queda definido el n-ésimo funtor derivado izquierdo de T denotado por para n=0, 1, ... .

La herramienta para obtener una sucesión exacta larga que involucra los funtores derivados izquierdos es el resultado siguiente.

Lema 2.1 (Lema de Herradura). Sea una clase proyectiva en una categoría abeliana A y 0→A’→A→A’’ →0 una sucesión exacta corta en A .

Si y son resoluciones proyectivas de A’ y A’’, respectivamente; entonces existe una resolución proyectiva P de A tal que P’↣P↠P’’ es una sucesión exacta corta de complejos de cadenas donde P=P’⊕P’’ y tal que el diagrama siguiente es conmutativo

Proposición 2.2. Sea un funtor covariante aditivo entre categorías abelianas, donde es una clase proyectiva en A , entonces para n = 0,1,2, ... es un funtor covariante aditivo.

Demostración: Primero probemos que es un funtor covariante.

Dado un objeto A en, se obtiene un objeto en B .

Dado un morfismo α : A→A’ en , se obtiene un morfismo en B tal que .

Claramente satisface los dos axiomas de funtores:

FUN1. para todo A ∈ .

FUN 2. para todo los morfismos α: A→A’ y β: A’→A’’ en .

Finalmente probemos que el funtor es aditivo verificando la igualdad para A y B objetos de .

Por [2, P IX. 1.2] se sabe que 0→A→A⊕B→B→0 es una sucesión exacta corta en A . Aplicando Proposición 2.1 y Lema 2.1 se obtiene una resolución proyectiva P de A⊕B tal que P=P’⊕P’’.

Como el funtor T es aditivo TPn=TP’n⊕TP’’n para n≥0, modo que TP=TP’⊕TP’’.

Puesto que el n-ésimo funtor de Homología Hn es aditivo, se sigue que

3. Equivalencia Natural de Bifuntores

En esta sección, teniendo en cuenta [6, Corolario 1] se omite la demostración de algunas proposiciones ya que en la sección siguiente aparece ideas de la demostración o las demostraciones correspondientes usando la estructura homológica llamada clase proyectiva de epimorfismos en una categoría abeliana.

<bold>3.1. Los Bifuntores Tor<sup>Λ</sup> <sub>n</sub> </bold>

Usando los Λ-módulos derechos proyectivos es posible mostrar la existencia de los bifuntores T o r n Λ ( - , - ) : m Λ r × m Λ l → A b para n = 1,2,...; que son covariantes en la primera variable y covariantes en la segunda variable (ver [2, IV.11]).

Proposición 3.1. Si B es un Λ-módulo izquierdo, entonces ( - ) ⊕ Λ B : m Λ r → A b es un funtor covariante aditivo.

Proposición 3.2. Sea B un Λ-módulo izquierdo, entonces el funtor ( - ) ⊕ Λ B : m Λ r → A b es exacto derecho.

Demostración: Sea una sucesión exacta de Λ-módulos derechos, entonces debemos probar que

es una sucesión exacta.

La sucesión (3.1) es exacta en A’’ ⊗Λ B; es decir, g∗ es sobreyectiva.

La sucesión (3.1) es exacta en A ⊗Λ B; es decir, Im(f∗) = Ker(g∗) .

El hecho que g∗f∗ = (gf)∗ = 0 implica que Im(f∗) ⊆ Ker(g∗).

Ahora, podemos definir los funtores derivados izquierdos de (−) ⊗Λ B.

Definición 3.1. El funtor T o r n Λ ( - , B ) : m Λ r → A b se define como

Esto significa que el grupo abeliano T o r n Λ ( A , B ) es calculado eligiendo una resolución proyectiva P de A y tomando la n-ésima homología del complejo de cadenas P⊗ΛB.

Proposición 3.3. Si P es un Λ-módulo derecho proyectivo y Q es un Λ−módulo izquierdo proyectivo, entonces T o r n Λ ( P , B ) = 0 = T o r n Λ ( A , Q ) para n=1, 2, ..

Dado A un ∆-módulo derecho y B’↣B↠B’’ una sucesión exacta corta de Λ-módulos izquierdos, obtenemos la Tor-sucesión exacta larga en la segunda variable

Dada una sucesión exacta corta de complejos de cadenas de Λ-módulos. La definición de ωn : Hn(C) → Hn−1(A) se puede hacer explícitamente, como sigue:

Sea [c] ∈ Hn(C), luego c ∈ Zn(C) = Ker∂ ⊆ Cn

Como ψ es sobreyectiva, ψ(b) = c para algún b ∈ Bn.

Del hecho que c ∈ Ker∂ se tiene ψ∂b = ∂ψ(b) = ∂c = 0, así ∂b ∈ Kerψ = Im φ y φ a = ∂b para algún a ∈ An−1. Aplicando el operador ∂ a esta igualdad:

Luego φ (∂a) = 0, siendo φ monomorfismo ∂a = 0. Esto significa que a ∈ Zn−1(A) y por lo tanto determina [a] ∈ Hn−1(A), de manera que ωn es definido por ωn[c] = [a].

Proposición 3.4. Si damos un diagrama conmutativo de complejos de cadenas de Λ-módulos con filas sucesiones exactas cortas

entonces el diagrama de homologías

es conmutativo.

Demostración: Como el n-ésimo funtor de homología Hn(−) es covariante, basta verificar que el diagrama

conmuta.

Sea [c] ∈ Hn(C), entonces ωn[c] = [a], donde a ∈ Ker∂n−1, φ n−1a = ∂nb y ψnb = c.

Por otro lado, γ∗[c]∈ Hn(C’) y ω’n γ∗[c]= ω’[γnc].

Utilizando los diagramas conmutativos siguientes

se obtiene que γnc= ψ’n(βnb), βn-1 φ n-1a= φ ’n-1αn-1a. Pero φ n−1a = ∂nb, luego βn-1 φ n-1a= βn-1∂nb= ∂’nβnb. Así, φ ’n-1(αn-1a)= ∂’n(βnb). Puesto que αn-1a ∈ Ker∂’n-1, por definición ω’n[γnc]= [αn-1a]; de modo que ω’n γ∗[c]= [αn-1a]. Por lo tanto α∗ωn= ω’n γ∗.

La sucesión (3.2) es natural con respecto a la primera variable y a la sucesión exacta corta en la segunda variable.

Proposición 3.5. Sea α : A → A’ un morfismo de Λ-módulos derechos y sea

un diagrama conmutativo de Λ-módulos izquierdos con filas sucesiones exactas cortas. Entonces los diagramas siguientes son conmutativos:

La prueba de la proposición siguiente proviene de [2, P IV.5.5].

Proposición 3.6. Sea

una resolución proyectiva de un Λ-módulo derecho A, entonces la sucesión

Sean y categorías. Sea F: ×→ D un funtor de la categoría producto × en la categoría D . Entonces F se llama bifuntor.

Proposiciòn 3.7 . Sea F: × → D ; dado C1 ∈ ||, F determina un funtor F C 1 : → D ; dado C2 ∈ ||, F determina un funtor F C 2 :→ D . Si φ 1: C1→C’1, φ 2: C2→C’2 son morfismo, entonces el diagrama siguiente conmuta

Demostración:

Puesto que F es un bifuntor, se definen F C 1 ( C 2 ) = F ( C 1 , C 2 ) , F C 2 ( C 1 ) = F ( C 1 , C 2 ) , F C 1 ( φ 2 ) = F ( 1 C 1 , φ 2 ) y F C 2 ( φ 1 ) = F ( φ 1 , 1 C 2 ) . Entonces F C 1 y F C 2 son funtores determinados por F

El diagrama (3.7) conmuta pues F C 1 ' ( φ 2 ) F C 2 ( φ 1 ) = F ( φ 1 , φ 2 ) = F C 2 ' ( φ 1 ) F C 1 ( φ 2 ) .

Proposición 3.8. Si F C 1 : → D , F C 2 : → D son funtores cuyos subíndices son objetos de las categorías , , respectivamente, tales que F ( C 1 , C 2 ) = F C 1 ( C 2 ) = F C 2 ( C 1 ) y el diagrama (3.7) conmuta, entonces estas familias de funtores “determinan el bifuntor” (ver [2, E II.2.7]) G: ×→ D tal que G C 1 ( C 2 ) = F C 1 ( C 2 ) y G C 2 ( C 1 ) = F C 2 ( C 1 ) .

Proposición 3.9 . T o r n Λ ( - , - ) : m Λ r × m Λ l → A b es un bifuntor para n = 1,2,....

Demostración: Se deja al lector.

 <bold>3.2. Los Bifuntores Tor<sub>n</sub> <sup>Λ</sup> </bold>

Usando los Λ-módulos izquierdos proyectivos es posible mostrar la existencia de los bifuntores T o r n Λ ( - , - ) : m Λ r × m Λ l → A b para . n= 1,2,...; que son covariantes en la primera variable y covariantes en la segunda variable.

Proposición 3.10. Si A es un Λ-módulo derecho, entonces A ⊗ Λ ( - ) : m Λ l → A b es un funtor covariante aditivo.

Proposición 3.11. Sea A un Λ-módulo derecho, entonces el funtor A ⊗ Λ ( - ) : m Λ l → A b es exacto derecho.

Ahora, podemos definir los funtores derivados izquierdos de A ⊗Λ (−).

Definición 3.2. El funtor T o r n Λ ( A , - ) : m Λ l → A b se define como

Esto significa que el grupo abeliano T o r n Λ ( A , B ) es calculado eligiendo una resolución proyectiva Q de B y tomando la n-ésima homología del complejo de cadenas A⊗ΛQ.

Proposición 3.12. Si P es un Λ-módulo derecho proyectivo y Q es un Λ-módulo izquierdo proyectivo, entonces T o r n Λ ( A , Q ) = 0 = T o r n Λ ( P , B ) , para n = 1,2, ....

Dado A un Λ-módulo derecho y B’↣B↠B’’ una sucesión exacta corta de Λ-módulos izquierdos, obtenemos la T o r -sucesión exacta larga en la segunda variable

Proposición 3.13. Sea α: A→A’ un morfismo de Λ-módulos derechos y sea (3.4) un diagrama conmutativo de Λ-modulos izquierdos con filas sucesiones exactas cortas. Entonces los diagramas siguientes son conmutativos:

Proposición 3.14. T o r n Λ ( - , - ) : m Λ r × m Λ l → A b es un bifuntor para n = 1,2,....

Demostración: Se realiza como en Proposición 4.14.

Proposición 3.15. ( - ) ⊗ Λ ( - ) : m Λ r × m Λ l → A b es un bifuntor.

Demostración: Probaremos esta proposición con los cuatro siguientes ítems i), ii),iii) y iv) :

i) Sea F A : m Λ l → A b dado por FA = A⊗Λ(−), entonces por Proposición 3.10 FA es un funtor covariante tal que FA(B) = A ⊗ΛB.

ii) Sea F B : m Λ r → A b dado por FB = (−)⊗ΛB, entonces por Proposición 3.1 FB es un funtor covariante tal que FB(A) = A ⊗ΛB.

iii) Por i) y ii) resulta que FA(B) = FB(A).

Consideremos φ 1=α, φ 2=β, C1=A, C’1=A’, C2=B, C’2=B’, = m Λ r y = m Λ l y para obtener el diagrama (3.7)

iv) Claramente este diagrama conmuta.

Análogamente a la demostración del teorema 4.2; usando las proposiciones 3.3 y 3.12, la conmutatividad de los diagramas (3.5), (3.6), (3.9) y (3.10) se puede demostrar el teorema siguiente.

Teorema 3.1. Los bifuntores T o r n Λ ( - , - ) y T o r n Λ ( - , - ) : m Λ r × m Λ l → A b ; n = 0,1,2,... son naturalmente equivalentes.

 <bold>4. Relativización de la Equivalencia Natural</bold>

Dado un morfismo de anillos unitarios γ: R → S, entonces el funtor de cambio de anillos es U = U γ : m S l → m R l .

Abreviando la palabra epimorfismo escribiremos simplemente epi.

T eorema 4.1. [ 2, E IX.1.5] Sea ={ϵ’: B→C epi en m S l | Uε' : UB → UC se descompone en m R l }, entonces es una clase proyectiva.

Demostración: Sea A ' = m S l , A = m R l y la clase proyectiva de epimorfismos de R-módulos izquierdos que se descomponen. Puesto que el funtor U es fiel, tiene adjunto izquierdo y preserva epimorfismos, por [2, T IX.4.1] deducimos que = U-1() es una clase proyectiva.

Sean Rop, Sop anillos opuestos de los anillos R y S, respectivamente. El morfismo inducido de anillos unitarios γ : Rop → Sop tal que γ ( r ) = γ ( r ) , da origen al funtor de cambio de anillos U = U γ : m S o p l → m R o p l .

Sea ={ϵ’: B→C epi en m S o p l | U ϵ’: U B → U C se descompone en m R o p l }, entonces por el teorema anterior es una clase proyectiva.

Así, es una clase proyectiva de epimorfismos de S-módulos izquierdos que se descomponen como morfismos de R-módulos izquierdos, y es una clase proyectiva de epimorfismos de S-módulos derechos que se descomponen como morfismos de R-módulos derechos.

Para simplificar la notación, en lugar de y escribiremos y respectivamente.

El objetivo en esta sección es demostrar que los bifuntores T o r n γ n ( − , − ) y T o r n γ ( - , - ) : ( m S r ,) x ( m S l ,) → A b; n=0, 1, 2, … son naturalmente equivalentes.

Sea ψn: T o r n γ ( - , - ) → T o r n γ ( - , - ) , dado un objeto (A,B) ∈ | m S r × m S l | | debemos obtener un morfismo ψn A,B: T o r n γ ( A , B ) → T o r n γ ( A , B ) en A b; dado un morfismo (α,β) en m S r × m S l , donde α : A → A’, β : B → B’, debemos verificar que el diagrama siguiente

conmuta en A b, cuyas filas son isomorfismos (ver [2, II.4]).

4.1. Los Bifuntores Tor<sub>n</sub> <sup>γ</sup>

Usando los S-módulos derechos -proyectivos se garantiza la existencia de los bifuntores T o r n γ ( - , - ) : m S r × m S l → A b para n = 1,2,...; que son covariantes en la primera variable y covariantes en la segunda variable (ver [2, IX.4]).

Proposición 4.1. Si B es un S-módulo izquierdo, entonces (−) ⊗S B : mrS → Ab es un funtor covariante aditivo.

Proposición 4.2 . Sea B un S-módulo izquierdo, entonces el funtor (−)⊗S B : m S r → A b es -exacto derecho.

Demostración: Se realiza como en Proposición 4.9.

Puesto que (−) ⊗S B es un funtor covariante aditivo entre categorías abelianas cuyo dominio esta dotado de una clase proyectiva , podemos definir los funtores -derivados izquierdos de (−) ⊗S B

Definición 4.1. El funtor T o r n γ ( - , B ) : m S r → A b se define como

Esto significa que el grupo abeliano T o r n γ ( A , B ) es calculado eligiendo una resolución -proyectiva P de A y tomando la n-ésima homología del complejo de cadenas P ⊗S B.

En general,

donde ∂n∗ = ∂n ⊗S B.

Definición 4.2. Un S-módulo izquierdo Q es -plano si el funtor (−) ⊗S Q es -exacto.

Proposición 4.3. Si Q es un S-módulo izquierdo-proyectivo, entonces T o r n γ ( A , Q ) = 0 para n = 1,2,....

Dados un S-módulo derecho A y una sucesión -exacta corta de S-módulos izquierdos B’ ↣ B ↠ B’’. Sea P un S-módulo derecho -proyectivo, por un resultado análogo a [2, P III.7.4] P es un S-módulo -Plano. Así, por la Definición 4.4 la sucesión P⊗SB’ ↣ P⊗SB ↠ P⊗SB’’ es una sucesión exacta corta de grupos abelianos. Para cada S-módulo izquierdo B, el funtor (−) ⊗S B : m S r → A b es covariante y aditivo.

Las sucesiones de funtores aditivos y transformaciones naturales (−) ⊗S B’ → (−) ⊗S B → (−) ⊗S B’’ es exacta sobre -proyectivos. Si P es una resolución -proyectiva de A, entonces P⊗SB’ ↣ P⊗SB ↠ P⊗SB’’ es una sucesión exacta corta de complejos de cadenas. Aplicando [2, T IV.2.1] obtenemos la Tor-sucesión exacta larga en la segunda variable

Esta sucesión es natural con respecto a la primera variable y a la sucesión exacta corta en la segunda variable.

Proposición 4.4. Sea α: A → A’ un morfismo de S-módulos derechos y sea

un diagrama conmutativo de S-módulos izquierdos con filas -exactas cortas. Entonces los diagramas siguientes son conmutativos:

Demostración: Se realiza como en Proposición 4.12.

Dado B un S-módulo izquierdo y A’ ↣ A ↠ A’’ una sucesión -exacta corta de S-módulos derechos. Por el Lema 2.1 podemos considerar P’, P y P’’ como resoluciones -proyectivas de A’, A y A’’, respectivamente, donde P = P’ ⊕ P’’ tales que P’ ↣ P ↠ P’’ es una sucesión -exacta corta de complejos de cadenas. Del hecho que el funtor (−) ⊗S B es aditivo y covariante, sabemos que P’⊗SB ↣ P⊗SB ↠ P’’⊗SB es una sucesión exacta corta de complejos de cadenas. Aplicando [2, T IV.2.1] obtenemos la Tor-sucesión exacta larga en la primera variable

Esta sucesión es natural con respecto a la segunda variable y a la sucesión exacta corta en la primera variable.

Proposición 4.5. Sea β: B → B’ un morfismo de S-módulos izquierdos y sea (4.4) un diagrama conmutativo de S-módulos derechos con filas sucesiones -exactas cortas. Entonces los diagramas siguientes son conmutativos:

Demostración: Se realiza como en Proposición 4.11.

La prueba de la proposición siguiente se deja al lector,

Proposición 4.6. Sea

una resolución -proyectiva de un S-módulo derecho A, entonces la sucesión

es exacta para n ≥ 1.

Proposición 4.7. T o r n γ ( - , - ) : m S r × m S l → A b es un bifuntor para n = 1,2,....

Demostración: Se realiza como en Proposición 4.14.

 4.2. Los Bifuntores Tor<sub>n</sub> <sup>γ</sup>.

Usando los S-módulos izquierdos -proyectivos se garantiza la existencia de los bifuntores T o r n γ ( - , - ) : m S r × m S l → A b para n = 1,2,...; que son covariantes en la primera variable y covariantes en la segunda variable.

Proposición 4.8. Si A es un S-módulo derecho, entonces A ⊗ S ( - ) : m S l → A b es un funtor covariante aditivo.

La proposición siguiente es una versión relativa de la parte (ii) de [2, P III.7.3].

Proposición 4.9. Sea A un S-módulo derecho, entonces el funtor A ⊗ S ( - ) : m S l → A b es -exacto derecho.

Demostración: Sea B ' → f B → g B ' ' → 0 una sucesión -exacta de S-módulos izquierdos, entonces debemos probar que

es una sucesión exacta.

En efecto, el funtor A ⊗ S ( - ) : m S l → A b es adjunto izquierdo del funtor HomZ(A,−): A b → m S l (ver [2, P III.7.2]). Puesto que g ∈ , g es un epimorfismo de la categoría abeliana m S l .

Pero A ⊗S (−) tiene adjunto derecho, luego g∗ = A ⊗S g es un epimorfismo en A b . Si k = ker(g), coker(k) = coker(ker(g)) = g. Como A⊗S (−) tiene adjunto derecho, el morfismo A⊗S g es el conúcleo k∗ = A⊗S k. Esto equivale a que la sucesión A ⊗S Ker(g) → k * A ⊗S B → g * A ⊗S B’’ → 0 es exacta en A b .

Supongamos que en la categoría abeliana m S l , f = µε donde ε ∈ . Aplicando el funtor A ⊗S (−) obtenemos que A ⊗S f = (A ⊗S µ)(A ⊗S ε) donde A ⊗S ε es un epimorfismo. Como Im(f) = Ker(g), µ = k; de modo que Im(f∗) = Im(A ⊗S f) = Im(A ⊗S k) = Ker(g∗). Por lo tanto, la sucesión

es exacta.

Puesto que A ⊗S (−) es un funtor covariante aditivo entre categorías abelianas cuyo dominio está dotado de una clase proyectiva , podemos definir los funtores -derivados izquierdos de A ⊗S (−).

Definición 4.3. El funtor T o r n γ (A,−) : ( m S l ,) → A b se define como

Esto significa que el grupo abeliano T o r n γ (A, B) es calculado eligiendo una resolución -proyectiva Q de B y tomando la n-ésima homología del complejo de cadenas A ⊗S Q. Sea Q : ⋯ → Q n + 1 → ∂ n + 1 Q n → ∂ n Q n - 1 → ⋯ → Q 0 → 0 , entonces A ⊗ S Q : ⋯ → A ⊗ S Q n + 1 → ∂ n + 1 A ⊗ S Q n → ∂ n A ⊗ S Q n - 1 → ⋯ → A ⊗ S Q 0 → 0 es un complejo de cadenas.

Puesto que el funtor A ⊗S (−) es-exacto derecho y Q1 → Q0 → B → 0 es una sucesión - exacta, se sigue que A ⊗S Q1 → A ⊗S Q0 → A ⊗S B → 0 es una sucesión exacta.

Entonces T o r 0 γ (A, B)= A ⊗SB.

Consideremos las presentaciones -proyectivas de B; de K1 ; de K2 . Puesto que A ⊗S (−) es -exacto derecho, vemos que , y son sucesiones exactas, donde ∂1∗ = µ1∗ε1∗ y ∂2∗ = µ2∗ε2∗.

En general,

donde ∂n∗ = A ⊗S ∂n.

Definición 4.4. Un S-módulo derecho P es -plano si el funtor P ⊗S (−) es -exacto.

Proposición 4.10. Si Q es un S-módulo izquierdo -proyectivo, entonces

Demostración: Puesto que Q : ⋯ → Q 1 = 0 → ∂ 1 Q 0 → ∂ 0 0 donde Q0 = Q, es una resolución -proyectiva de Q, por (4.11) para n ≥ 1 y B = Q se sigue qué T o r n γ ( A , Q ) = K e r ∂ n * I m ∂ n + 1 * = 0 .

Sea A un S-módulo derecho y f: M → M' un morfismo de S-módulos izquierdos. Sean R y R' resoluciones -proyectivas de M y M', respectivamente. Por el teorema 2.1, existe una aplicación de cadenas f: R → R'. Puesto que A ⊗S (−) es un funtor covariante, A ⊗S f: A ⊗S R → A ⊗S R' es una aplicación de cadenas. Tomando la n-ésima homología obtenemos el morfismo

Dado A un S-módulo derecho y una sucesión -exacta corta de S-módulos izquierdos. Por el Lema 2.1 podemos considerar Q', Q y Q'' como resoluciones -proyectivas de B', B y B'', respectivamente, donde Q = Q' ⊕ Q'' y tal que es una sucesión -exacta corta de complejos de cadenas. Del hecho que el funtor A ⊗S (−) es aditivo y covariante, sabemos que es una sucesión exacta corta de complejos de cadenas. Aplicando [2, T IV.2.1] obtenemos la Tor-sucesión exacta larga en la segunda variable

La proposición siguiente afirma que sucesión (4.13) es natural con respecto a la primera variable y a la sucesión exacta corta en la segunda variable.

Proposición 4.11. Sea α: A → A’ un morfismo de S-módulos derechos y sea (3.4) un diagrama conmutativo de S-módulos izquierdos con filas sucesiones -exactas cortas. Entonces los diagramas siguientes son conmutativos:

Demostración: Sabemos que A ⊗S (−): m S l → A b es un funtor covariante para cada A ∈ m S r fijo. Sea α∗: A ⊗S (−) → A0 ⊗S (−) la transformación natural inducida por el morfismo α: A → A’.

Como es una sucesión -exacta corta de S-módulos izquierdos, por el Lema 2.1 podemos considerar que Q', Q y Q'' son resoluciones -proyectivas de B', B y B'', respectivamente, donde Q = Q' ⊕ Q'' y tal que es una sucesión -exacta corta de complejos de cadenas. Aplicando el funtor covariante aditivo A⊗S (−), obtenemos la sucesión exacta corta de complejos de cadenas para cada S-módulo derecho A. Puesto que α∗ es una transformación natural, el diagrama de complejos de cadenas siguiente es conmutativo y tiene filas sucesiones exactas cortas

Utilizando la proposición 3.4 obtenemos el diagrama conmutativo (4.14).

Por otro lado, del hecho que es una sucesión -exacta corta de S-módulos izquierdo, como antes podemos obtener una sucesión -exacta corta de complejos de cadenas donde R = R' ⊕R'' y tales que R', R y R'' son resoluciones -proyectivas de C', C y C'', respectivamente. Luego es una sucesión exacta corta de complejos de cadenas A partir del diagrama conmutativo (3.4) podemos obtener el diagrama conmutativo siguiente de complejos de cadenas

Pero A ⊗S (−) es un funtor covariante aditivo, luego

es un diagrama conmutativo de complejos de cadenas con filas sucesiones exactas cortas. Por Proposición 3.4 obtenemos el diagrama conmutativo (4.15).

Dado B un S-módulo izquierdo y una sucesión -exacta corta de S-módulos derechos. Sea Q un S-módulo izquierdo -proyectivo, por un resultado análogo a [2, P III.7.4] Q es un S-módulo -plano. Así, la sucesión es una sucesión exacta corta de grupos abelianos.

Para cada S-módulo derecho A, el funtor A ⊗S (−): m S l → A b es covariante aditivo.

La sucesión de funtores aditivos y transformaciones naturales es exacta sobre -proyectivos. Si Q es una resolución -proyectiva de B, entonces es una sucesión exacta corta de complejos de cadenas. Aplicando [2, T IV.2.1] obtenemos la Tor-sucesión exacta larga en la primera variable

Esta sucesión es natural respecto a la sucesión exacta corta en la primera variable y a la segunda variable.

Proposición 4.12. Sea β: B → B' un morfismo de S-módulos izquierdos y sea (4.4) un diagrama conmutativo de S-módulos derechos con filas sucesiones -exactas cortas. Entonces los diagramas siguientes son conmutativos:

Demostración: Sabemos que A ⊗S (−): m S l → A b es un funtor covariante para cada A ∈ m S r fijo.

Sean y transformaciones naturales inducidas por α' y α'', entonces por un resultado análogo a [2, P III.7.4] la sucesión es exacta corta para cada S-módulo izquierdo E-proyectivo Q.

Sean Q y Q' resoluciones -proyectivas de B y B', respectivamente. Entonces β: Q → Q' es la aplicación de cadenas inducida por β: B → B'. Utilizando los funtores covariantes A'⊗S(−), A⊗S(−) y A''⊗S(−) se obtiene las aplicaciones de cadenas A'⊗S Q → A'⊗S Q', A⊗S Q → A⊗S Q' y A''⊗S Q → A''⊗S Q'. Puesto que τ' y τ'' son transformaciones naturales, el diagrama de complejos de cadenas siguiente es conmutativo y tiene filas sucesiones exactas cortas

Aplicando a este diagrama la proposición 3.4 obtenemos el diagrama conmutativo (4.17).

A partir del diagrama conmutativo (4.4) podemos obtener

el cual es un diagrama conmutativo de funtores aditivos y transformaciones naturales tales que las filas son exactas sobre -proyectivos.

Puesto que Q es una resolución -proyectiva de B, el diagrama de complejos de cadenas siguiente es conmutativo con filas sucesiones exactas cortas

Por la proposición 3.4 obtenemos el diagrama conmutativo (4.18).

La prueba de la proposición siguiente se deja al lector

Proposición 4.13 . Sea

una resolución -proyectiva de un S-módulo izquierdo B, entonces la sucesión

es exacta para n ≥ 1.

Proposición 4.14 . es un bifuntor para n = 1,2,....

Demostración: Probaremos esta proposición con los cuatro ítems siguientes i), ii),iii) y iv) :

i) Sea FA : m S l → A b dado por , entonces por la Definición 4.3 FA es un funtor covariante para n = 1,2,... tal que

ii) Sea FB : m S r → A b dado por , entonces FB es un funtor covariante. Esta afirmación probaremos con los cuatro ítems siguientes:

(1) Dado por ser un subgrupo de un grupo abeliano.

(2) Dado es definido por . Utilizando la proposición 4.13 podemos obtener el diagrama conmutativo siguiente

Ahora, del hecho que . Pero , luego

(3) para todo .

En efecto, por (2) para f = 1A y A'=A:

(4) Si f: A → A', f': A' → A'' son morfismos de S-módulos derechos, entonces

En efecto, por (2) es tal que

iii) Por i) y (1) resulta que FA(B) = FB(A).

Consideremos y para obtener el diagrama (3.7).

iv) Afirmamos que este diagrama conmuta.

Sean Q y Q' resoluciones -proyectivas de B y B', respectivamente. Por el teorema 2.1 existe una aplicación de cadenas β: Q → Q' inducido por β. En virtud de la proposición 4.13 las sucesiones

son exactas, donde .

Observando el diagrama

y las igualdades ∂'β∂ = ∂'∂'β = 0, vemos que Ker∂n = Im∂n+1 ⊆ Ker(∂'β). Por lo tanto existe un único morfismo . Así, para . Considerando el diagrama

vemos que .

Por otro lado . Así, el diagrama (4.19) conmuta.

Teorema 4.2 . Los bifuntores ; n = 0,1,2,... son naturalmente equivalentes.

Demostración: Definamos inductivamente la equivalencia natural i) Si n = 0, probemos que es una equivalencia natural.

Recordemos que para todo Sea una presentación -proyectiva de B, entonces obtenemos de (4.3) y (4.13) las sucesiones exactas largas correspondientes:

Por lo tanto, Ψ 0 A , B : = 1 A ⊗ S B

Claramente Ψ0 es natural con respecto a la primera variable y a la segunda variable; en consecuencia, Ψ0 es una equivalencia natural.

Con (4.20) y (4.21), definimos Ψ 1 A , B exigiendo la conmutatividad del diagrama y morfismo núcleo

Por las proposiciones 4.3 y 4.10 sabemos que para n = 1,2... y para el -proyectivo P.

ii) Hipótesis de inducción. Supongamos que el teorema es cierto para n-1>0.

Con las sucesiones exactas largas (4.20) y (4.21) podemos construir el diagrama siguiente

Observando este diagrama deducimos que ω n , ω n son isomorfismos y por hipótesis de inducción, Ψ n - 1 A R es un isomorfismo, entonces definimos el isomorfismo Ψ n A B de manera que el diagrama sea conmutativo por

(a) Afirmamos que Ψ n es natural en B para n ≥ 1. Para ello consideramos un morfismo β: B → B', en m S l y un S-módulo derecho fijo A, y debemos verificar que el diagrama siguiente es conmutativo

(b) Afirmamos que Ψ n es natural en A para n ≥ 1. Para ello consideramos un morfismo α: A → A' en m S r y un S-módulo izquierdo fijo B, y debemos verificar que el diagrama siguiente es conmutativo

(c) Afirmamos que Ψ n no depende de la presentación -proyectiva elegida de B para n ≥ 1.

Para probar (a) y (c) consideremos el diagrama conmutativo

con el cual construimos el diagrama siguiente y debemos verificar que dicho diagrama es

Probamos la afirmación (a). Considerando (4.22) y, la conmutatividad de los diagramas (4.6) y (4.15) deducimos que su cara izquierda es conmutativa; es decir,

Haciendo β = 1B en la afirmación (a) probemos (c).

Para dos presentaciones -proyectivas de , haciendo β = 1B en la afirmación (a) obtenemos β∗Ψ n A B = Ψ n A B ' β∗, de modo que , donde . Por consiguiente, no depende de la presentación-proyectiva de B.

Probemos la afirmación (b), como sigue:

Del hecho que α: A→ A’ sabemos que . Considerando la presentación -proyectiva de , construimos el paralelogramo siguiente

Considerando (4.22) y, la conmutatividad de los diagramas (4.5) y (4.14) vemos que su cara izquierda es conmutativa.

Usando la conmutatividad de los diagramas (4.6) y (4.15) se puede demostrar la proposición siguiente.

Proposición 4.15 . Para cualquier S-módulo derecho A y cualquier sucesión -exacta corta de S-módulos izquierdos el diagrama siguiente es conmutativo

Usando la conmutatividad de los diagramas (4.9) y (4.18) se puede demostrar la proposición siguiente, que nos dice que Ψn es compatible con ω en la primera variable.

Proposición 4.16 . Para cualquier sucesión -exacta corta de S-módulos derechos y cualquier S-módulo izquierdo B el diagrama siguiente es conmutativo

Según el teorema 4.2, la proposición 4.15 y la proposición 4.16 usamos la notación Tor aún para calcular T o r n γ (A,B) vía resolución -proyectiva en la segunda variable cuando A es un S-módulo derecho (fijo). Así, en lugar de T o r n γ (A,−) escribiremos T o r n γ (A,−). Entonces, las propiedades básicas de los funtores son dadas en el resultado siguiente.

Teorema 4.3 . Existen grupos abelianos T o r n γ (A,B) para cada S-módulo izquierdo B, junto con los morfismos de conexión para cada sucesión -exacta corta

tales que se cumplen las propiedades siguientes:

(1) T o r n γ (A,B) = 0 para n < 0.

(2) T o r 0 γ (A,B) es naturalmente isomorfo a A ⊗S B.

(3) T o r n γ (A,B) = 0 para n > 0 si B es -proyectivo.

(4) La sucesión siguiente es exacta

Demostración: Se sigue de la definición 4.3, la proposición 4.10 y la sucesión exacta larga (4.13).

 <bold> 5. Propiedades de HH de Productos Cruzados de Hopf</bold>

Sea K un anillo conmutativo unitario. Un K-módulo A es una K-álgebra si A es un anillo y ∀α ∈ K, ∀a,b ∈ A se tiene α(ab) = (αa)b = a(αb). Un morfismo de K-álgebras f: A → B es un morfismo de K-módulos y a su vez morfismo de anillos.

Ejemplo 5.1. AlgK es una categoría, cuyos objetos son las K-álgebras, morfismos son morfismos de K-álgebras y el producto de estos morfismos es la composición de morfismos de K-álgebras. Se verifican los tres axiomas de categoría para AlgK como en el Ejemplo 5.3.

Definición 5.1 . Sea K un anillo conmutativo y A una K-álgebra. Se define el álgebra envolvente de A como Ae:= A ⊗K Aop, donde la multiplicación es dada por (a ⊗ b)(c ⊗ d) = ac ⊗ db.

Proposición 5.1 . Si A es una K-álgebra, entonces :

(1) A es Ae-módulo izquierdo.

(2) A es Ae-módulo derecho.

Demostración:

(1) Puesto que A tiene una estructura de grupo aditivo abeliano, definimos la multiplicación por un escalar mediante (r ⊗ s) · a = ras para r ∈ A, s ∈ A y r ⊗ s ∈ A ⊗ Aop = Ae.

Se cumplen los 4 axiomas de módulo izquierdo:

Por consiguiente, A es Ae-módulo izquierdo.

(2) Puesto que A tiene una estructura de grupo aditivo abeliano, definimos la multiplicación por un escalar mediante a · (r ⊗ s) = sar para r ∈ A, s ∈ A y r ⊗ s ∈ A ⊗ Aop = Ae.

Se cumplen los 4 axiomas de módulo derecho. Por lo tanto, A es Ae-módulo derecho.

Corolario 5.1 . Si M es un A-bimódulo, entonces M es un Ae-módulo izquierdo.

Ejemplo 5.2 . La aplicación γ : A → Ae dada por γ(r) = r ⊗ 1 es un morfismo de anillos.

Sea K un anillo conmutativo unitario. Sean A una K-álgebra y H una K-álgebra de Hopf.

Definición 5.2 . [8] Dadas una acción débil de H sobre A, σ: H×H → A una aplicación K-bilineal, el K-módulo A ⊗K H provisto de multiplicación dada por

se llama producto cruzado (de Hopf) de A por H, y se denota por A#σH, si la multiplicación es asociativa y tiene como elemento unitario 1A ⊗ 1H.

Definición 5.3 . Sean E = A#σH, E' = A'#σ'H'. Un morfismo de productos cruzados de Hopf φ : E → E' es una aplicación K-lineal φ = f ⊗ g: A ⊗ H → A' ⊗ H' tal que

φ (1A ⊗1H) = 1A' ⊗1H’, donde f: A → A’ es un morfismo de K-álgebras, g: H → H’ es un morfismo de K-álgebras de Hopf.

Definición 5.4 . Sean φ : E → E’, φ ': E' → E'' morfismos de productos cruzados. Se define la composición φ ' φ : E → E'' por φ ’ φ = f'f ⊗ g'g: A ⊗ H → A'' ⊗ H'', donde f'f: A → A'' es un morfismo de K-álgebras, g'g: H → H'' es un morfismo de K-álgebras de Hopf. Es claro que φ ’ φ preserva la multiplicación y el elemento unitario.

Ejemplo 5.3. Cp es una categoría, cuyos objetos son productos cruzados de Hopf, cuyos morfismos son morfismos de productos cruzados y el producto de sus morfismos es la composición de aplicaciones.

Se satisfacen los tres axiomas de categoría para Cp:

Sea E = A#σH un producto cruzado, entonces vemos que E es una K-álgebra y existe un morfismo de anillos unitarios γ: E → Ee. Sea la clase proyectiva de epimorfismos de Ee-módulos izquierdos que se descomponen como morfismos de E-módulos izquierdos (Teorema 4.1).

Recordando que es un funtor covariante aditivo entre categorías abelianas, podemos definir los funtores -derivados izquierdos de E ⊗Ee(−).

Por [1] la homología de Hochschild de un producto cruzado E es la homología de E⊗Ee (X∗,d∗), donde (X∗,d∗) es una resolución proyectiva relativa de E, considerando [2, p. 319] podemos dar la siguiente.

Definición 5.5 . Sea E un producto cruzado. El n-ésimo funtor de homología de Hochschild de E denotado por se define como

Si M es un Ee-módulo izquierdo (M es un E-bimódulo ), obtenemos que . Dado f: M → M' un morfismo de Ee-módulos izquierdos, por (4.12) Las propiedades del funtor de homología de Hochschild de un producto producto cruzado E, H∗(-, E), son dadas mediante el corolario y el teorema siguientes.

Corolario 5.2 . Dados E = A#σH un producto cruzado y N un Ee-módulo izquierdo. Existen grupos abelianos Hn(N,E), los morfismos de conección ωn: Hn(M'',E) → Hn−1(M',E) para cada sucesión -exacta corta en m E e l tales que se cumplen las propiedades siguientes:

(1) Hn(N,E) = 0 para n < 0.

(2) H0(N,E) es naturalmente isomorfo a E ⊗E e N.

(3) Hn(N,E) = 0 para n > 0 si N es -proyectivo.

(4) La sucesión siguiente es exacta

Demostración: Se sigue del teorema 4.3.

Teorema 5.1 . H∗(−,E) = {Hn(−,E)} es el -satélite izquierdo del funtor aditivo .

Demostración: Por la Definición 5.5, la Definición 4.3, la sucesión exacta larga (4.13), el diagrama conmutativo (4.15) y la proposición 2.2, resulta que {Hn(−,E)} es una sucesión -conectada de funtores de ( m E e l ,) en A b (ver [2, IX.3]).

Por otro lado, conforme a la proposición 4.9 el funtor es -exacto derecho. De [2, T IX.2.7] se sigue que los funtores son naturalmente equivalentes. Luego, podemos escribir .Para que H∗(-,E) sea el -satélite izquierdo de E ⊗E e(-) debe satisfacer la propiedad universal siguiente.

Para cada sucesión -conectada de funtores, T = {Tn}, de ( m E e l ,) en A b y cada transformación natural ψ: T0 → H0(-,E) existe un único morfismo de sucesiones E-conectadas denotado por Ψ = {ψn}: T → H∗(-,E) con ψ0 = ψ (ver [2, IX.3]).

Por el corolario 5.2 la transformación natural ψn = 0 para n < 0, ψ0 := ψ. Definimos inductivamente ψn : Tn → Hn(-,E) para n > 0. Supongamos que hemos definido de modo unico ψk para 0 ≤ k ≤ n-1, y conmuta con ωk como en

para toda sucesión -exacta corta . Procedemos a definir ψn.

Sea una presentación -proyectiva de M. Entonces tenemos el diagrama conmutativo

con fila inferior exacta. Esto produce un único morfismo ψnM: TnM → Hn(M,E) mediante ψnM = (ωn)−1ψn−1Kωn.

Debemos probar que ψn es una transformación natural, independiente de la elección de presentación -proyectiva de M (ver en la prueba del teorema 4.2 las partes (a) y (c)).

Consideremos el morfismo de presentaciones -proyectivas

Entonces el diagrama

conmuta.

En efecto, podemos incrustar el diagrama (5.4) en el cubo

Del hecho que las cinco caras del cubo conmutan, se deduce que la cara izquierda también conmuta. Tomando M = M', se ve que ψn no depende de la presentación -proyectiva de M.

Por la proposición 4.15 para la sucesión -exacta corta de Ee-módulos izquierdos el diagrama siguiente es conmutativo

Esto completa la prueba.

Dando la definición siguiente.

Definición 5.6 . Sea E un producto cruzado. El n-ésimo funtor de cohomología de Hochschild de E denotado por se define como

y denotando H∗(-,E) = {Hn(-,E)}, se puede demostrar el resultado siguiente.

Teorema 5.2 . H∗(-,E) es el -satélite derecho del funtor aditivo

Dado un morfismo de anillos unitarios γ: R → S. Si F: m S l → m R l es el funtor de cambio de anillos, por la prueba de [6, Teorema 4] sabemos que es una clase inyectiva de monomorfismos de S-módulos izquierdos que se descomponen como morfismos de R-módulos izquierdos. Denotando donde

obtenemos el siguiente.

Corolario 5.3 . es el -satelite derecho del funtor aditivo .

Lema 5.1 . [9, Lema 2.2.5] Sean g: A → A' un morfismo de K-álgebras asociativas y f: M→ M' un morfismo de A'-bimódulos. Estos inducen el diagrama conmutativo siguiente

Por lo tanto tenemos una aplicación de K-módulos graduado h∗: Hn(A,M)→ Hn(A’,M’)

Corolario 5.4 . [9, Corolario 2.2.8] HH∗ es un funtor covariante de la categoría de K-álgebras asociativas con unidad en la categoría de K-módulos graduados.

Considerando M = A, M' = A', g: A → A' y f = g en el lema anterior, vemos que HHn(g): HHn(A) → HHn(A') se define por

Dado A ∈ |AlgK|, haciendo g = 1A se ve que HHn(1A) = 1 H H n ( A ) .

Si g: A → B, g': B → C son morfismos de K-álgebras,

Por consiguiente, HHn(-): AlgK → m K l es un funtor covariante para n ≥ 0.

Recordando que un producto cruzado E es una K-álgebra. Por la proposición 5.1, E es un Ee-módulo derecho y E es un Ee-módulo izquierdo. Tomando M = E en la Definición 5.5

Conforme a Odabasi S. [tesis doctoral]-Universidad de Murcia (2014), la categoría de productos cruzados es una subcategoría de una categoría de K-álgebras ya que cada producto cruzado de Hopf es una K-álgebra, un morfismo de productos cruzados es un morfismo de K-álgebras y cada morfismo identidad de un producto cruzado es un morfismo identidad de la K-álgebra correspondiente.

Observación 5.1. Se tiene ; es decir, HH∗ de productos cruzados es un funtor covariante de la categoría de productos cruzados en la categoría de K-módulos graduados.

 <bold>6. Conclusiones</bold>

(1) La clase proyectiva de epimorfismos en m S r es importante en la equivalencia natural de los bifuntores .

(2) Las homologías de Hochschild de un producto cruzado vistas como funtores son los funtores derivados relativos izquierdos de un funtor aditivo.

(3) H∗(-, E) es el -satélite izquierdo del funtor aditivo E ⊗E e (-) ( Teorema 5.1 ).

(4) Si N es un módulo izquierdo sobre el producto cruzado E, entonces para n > 0 por la afirmación del teorema 4.1, [6, Proposición 14] y parte 3 del corolario 5.2.

 <bold>7. Agradecimientos</bold>

El presente trabajo surge del estudio de la homología de Hochschild de un producto cruzado de Hopf realizado en la tesis de doctorado de Matemática en IMCA-UNI. El autor agradece a la Universidad Nacional del Altiplano de Puno por la licencia otorgada para publicaciones en revistas indexadas; al Instituto de Matemática y Ciencias Afines por dar un espacio para hacer investigaciones en el doctorado de Matemática. Asimismo, el autor expresa su agradecimiento especial a Dr. Christian Valqui por orientarlo y por permitir participar en el grupo de investigacion “ Algebra y Geometría no conmutativa”.

 Referencias [1] Carboni G, Guccione JA, Guccione JJ. Cyclic Homology of Hopf Crossed Products. Advances in Mathematics. 2010; 223:840872. Carboni G Guccione JA Guccione JJ Cyclic Homology of Hopf Crossed Products Advances in Mathematics. 2010; 223:840872. 2010 [2] Hilton PJ, Stammbach U. A course in Homological Algebra. New York Heidelberg Berlin: Springer Verlag; 1971. Hilton PJ Stammbach U Springer Verlag 1971 [3] Hochschild G. Relative Homological Algebra. Trans. Amer. Math. Soc. 1956; 82:246-269. Hochschild G Relative Homological Algebra Trans. Amer. Math. Soc. 1956; 82:246-269 1956 [4] Cartan H, Eilenberg S. Homological Algebra. Princeton, New Jersey: Princeton University Press; 1956. Cartan H Eilenberg S Princeton, New Jersey: Princeton University Press 1956 [5] Ccolque Taipe FC. Sucesiones Espectrales, Homología de Complejos Filtrados y Derivación de Funtores Compuestos. [Tesis de maestría]. Lima: Facultad de Ciencias, Universidad Nacional de Ingeniería; 2009. Ccolque Taipe Lima: Facultad de Ciencias, Universidad Nacional de Ingeniería 2009 Sucesiones Espectrales, Homología de Complejos Filtrados y Derivación de Funtores Compuestos [6] Ccolque T FC. Caracterización de Proyectivos Relativos e Inyectivos Relativos. Selecciones Matemáticas. 2020; 7(2):276-288. Ccolque T Caracterización de Proyectivos Relativos e Inyectivos Relativos Selecciones Matemáticas. 2020; 7(2):276-288 2020 [7] De la Rosa Reyes JF. Categoría de Módulos. [Internet- Memoria]. San Cristóbal de la Laguna: sección de Matemáticas, Facultad de Ciencias, Universidad de la Laguna; 14 de julio de 2015. N.I.F. 54.111.182-W. Disponible en https://riull.ull.es/xmlui/bitstream/handle/915/1104/Categoria+de+Modulos. pdf;jsessionid=B145EFC3CEDF635926AAF5A392898C04?sequence=1 De la Rosa Reyes JF Categoría de Módulos San Cristóbal de la Laguna: sección de Matemáticas, Facultad de Ciencias, Universidad de la Laguna; 14 de julio de 2015. N.I.F. 54.111.182-W 2015 https://riull.ull.es/xmlui/bitstream/handle/915/1104/Categoria+de+Modulos. pdf;jsessionid=B145EFC3CEDF635926AAF5A392898C04?sequence=1 [8] Guccione JA, Guccione JJ. Hochschild (co)homology of Hopf crossed products. K-theory. 2002; 25(2):138-169. Guccione JA Guccione JJ Hochschild (co)homology of Hopf crossed products K-theory. 2002; 25(2):138-169 2002 [9] La Rosa Obando LB. Homología de Hochschild y Homología Cíclica. [Tesis de Licenciatura]. Lima: Facultad de Ciencias, Universidad Nacional de Ingeniería; 2010. La Rosa Obando LB Lima: Facultad de Ciencias, Universidad Nacional de Ingeniería; 2010 2010 Homología de Hochschild y Homología Cíclica