En este trabajo estudiamos a la lógica que preserva grados de verdad asociada a la clase de las álgebras de Stone involutivas (denotada por S). Estas álgebras fueron introducidas por Cignoli y Sagastume ([12, 13]) en conexión con la teoría de las álgebras de Lukasiewicz{Moisil n{valuadas. Existen diferentes maneras de relacionar una lógica con una clase dada de álgebras (cf.[35]). El estudio de las lógicas que preservan grados de verdad se remonta a Wójcicki en su libro de 1988 [49], en el contexto de la lógica de Lukasiewicz, y luego extendido en [5, 21, 22, 23] entre otros. Esto sigue un patrón muy general que puede ser considerado para cualquier clase de estructura de valores de verdad con un orden definido sobre ellos. El objetivo es explotar la multiplicidad de valores, considerando una relación de consecuencia que preserve cotas inferiores en lugar de solo preservar el último elemento del orden (el valor 1). En el Capítulo 1, repasamos todas las nociones y resultados conocidos de álgebra universal y dualidades topológicas (de Priestley) que son necesarias para el desarrollo posterior. También, repasamos nociones básicas de la teoría de las lógicas paraconsistentes, exhibimos un ejemplo importante y demostramos resultados conocidos. En el Capítulo 2, introducimos la noción de álgebra de Stone involutiva. Probamos que ésta es una clase ecuacional de álgebras, es decir, S es una variedad. Exhibimos la relación de éstas con otras clases de álgebras como los retículos pseudocomplementados y las álgebras de Lukasiewicz trivalentes. Mostramos ejemplos importantes como también exhibimos un método para obtener álgebras de Stone involutivas de conjuntos. Además, repasamos la dualidad topológica estilo Priestley para las S-álgebras, dada por Cignoli y Sagastume en [13], y sus aplicaciones. Finalmente, en el Capítulo 3, introducimos la lógica que preserva grados de verdad asociada a las álgebras de Stone involutivas denominada Six. Mostramos que ésta es una lógica multivaluada (con seis valores de verdad) y que queda determinada por un número finito de matrices finitas (cuatro matrices). Probamos, además, que Six es una lógica paraconsistente en la que es posible definir un operador de consistencia y, por lo tanto, Six resulta ser una Lógica de la Inconsistencia Formal (LFI)(ver [7]). Para finalizar este capítulo, estudiamos la teoría de prueba de Six proveyendo un cálculo estilo Gentzen (cálculo de secuentes) y probando los correspondientes teoremas de correctitud, completitud y principio de inversión. Todos los resultados de este capítulo son originales y fueron aceptados para su publicación en L. Cantú y M. Figallo, On the logic that preserves degrees of truth associated to involutive Stone algebras. Por aparecer en Logic Journal of the IGPL. https://doi.org/10.1093/jigpal/jzy071 / In this thesis, we study the logic that preserves degrees of truth associated to the class of involutive Stone algebras (denoted by S). These algebras were introduced by Cignoli and Sagastume (see [12, 13]) in connection with the theory of n{valued Lukasiewicz{Moisil algebras. There are different ways of relating a logic to a given class of algebras (cf.[35]). The study of logics that preserves degrees of truth goes back to Wójcicki in his book of 1988 [49], in the context of the Lukasiewicz logic, and then extended in [5, 21, 22, 23] among others. This approach follows a very general pattern that can be considered for any class of truth structure endowed with an ordering relation; and which intend to exploit manyvaluedness focusing on the notion of inference that results from preserving lower bounds of truth values, and hence not only preserving the greatest element of the order (the value 1). In Chapter 1, we recall all the notions of universal algebra, theory of topological dualities (Priestley) which are necessary for what follows. Also, we recall basic notions of the theory of paraconsistent logics, we exhibit examples and show well-known results of the theory . In Chapter 2, we introduce the notion of involutive Stone algebra. We prove that it is an equational class, that is, S is a variety. We exhibit the relation of these algebras with other well- known algebraic structures such as pseudocomplemented lattices and three-valued Lukasiewicz algebras. We show important examples of involutive Stone algebras and describe a method for constructing involutive Stone algebras of sets. Besides, we recall the Priestley{style topological duality for the S-algebras, given by Cignoli and Sagastume in [13], and its applications. Finally, in Chapter 3, we introduce the logic that preserves degrees of truth associated to involutive Stone algebras named Six. We prove that this is a multy{valued logic (with six truth values) and that it can be determined by a finite number of finite matrices (four matrices). We show that Six is a paraconsistent logic in which it is possible to define a consistency operator and, therefore, Six turns out to be a Logic of Formal Inconsistency (LFI)(see [7]). To end this chapter, we study the theory of truth of Six by providing a Gentzen style calculus (sequent calculus) for it and by proving the corresponding soundness, completeness and inversion principle theorems. All these results are original and were accepted for publication in L. Cantú and M. Figallo, On the logic that preserves degrees of truth associated to involutive Stone algebras. To appear in Logic Journal of the IGPL. https://doi.org/10.1093/jigpal/jzy071

Para un álgebra de artin A, definimos y estudiamos la noción de sistema coestratificante propio que es una generalización de los llamados módulos propios coestándar al contexto de sistemas estratificantes. Los módulos propios coestándar fueron definidos por V. Dlab en su estudio de las álgebras quasi-hereditarias (ver [D1]). Probamos que la categoría de los módulos filtrados por un sistema coestratificante propio es dual a la categoría de los módulos filtrados por los módulos propios coestándar sobre cierta álgebra estándarmente estra-tificada. Además, damos condiciones suficientes para la existencia de sistemas coestratificantes propios, e investiga-mos la relacion entre tales sistemas y los sistemas estratifi-cantes definidos por K. Erdmann y C. Saenz en [ES]. Para una K-álgebra A de dimensión finita sobre un cuerpo algebrai-camente cerrado K y para un A-módulo básico M, estudiamos a M con su estructura natural de módulo sobre el anillo de endomorfismos EndA(M). En particular, conocido el carcaj ordinario de A y sus relaciones, y dada la representación asociada al A-módulo M, hallamos la representación asociada a M como módulo sobre EnA(M). / For an artin algebra A, we define and study the notion of a proper costratifying system, which is a generalization of the so-called proper costandard modules to the context of stra-tifying systems. The proper costandard modules were defined by V. Dlab in his study of quasi-hereditary algebras (see [D1]). We prove that the category of modules filtered by a proper costratifying system is dual to the category of modules filtered by the proper costandard modules over a certain standardly stratified algebra. In addition, we give sufficient conditions for their existence, and investigate the relation between such systems and the stratifying systems defined by K. Erdmann and C. Sánz in [ES]. For a finite dimensional K-algebra A over an algebraically closed field K and for a basic A-module M, we study M with its natural structure as a module over the endomorphism ring EndA(M). In particular, given the ordinary quiver of A and its relations, and given the represen-tation associated with the A-module M, we find the represen-tation associated with M as a module over End(M).

Sejam K um corpo algebricamente fechado, A uma K-álgebra básica conexa de dimensão finita sobre K e ê=(e_1,e_2,... ,e_n) um conjunto completo de idempotentes ortogonais, primitivos e ordenados de A. O conjunto dos módulos estandares é o conjunto Delta ={ D_1, ..., D_n }, onde D_i é o quociente maximal do A-módulo projetivo P_i com fatores de composição simples S_j, com j\\leq i, F(Delta) é a subcategoria plena de mod A dos módulos têm uma Delta-filtração. Se A_A esta em F(Delta) diz-se que A é uma álgebra estandarmente estratificada. Se, além disso, para cada elemento em Delta vale que End_A(D_i) é isomorfo a K diz-se que A é uma álgebra álgebra quase-hereditária. Nesta dissertação estudamos as propriedades de F(Delta), especialmente quando A é estandarmente estratificada, e algumas condições necessárias e suficientes para que A seja quase-hereditária. / Let K be an algebraically closed field, A a basic, connected, finite dimensional K-algebra and ê=(e_1,e_2,...,e_n) a complete set of ordered primitive orthogonal idempotents of A. The set of standard modules is the set Delta={D_1, ..., D_n}, where D_i is the maximal factor submodule of P_i whose composition factors are isomorphic to S_j, for j\\leq i. We denote by F(Delta) the full subcategory of mod A containing the modules which are filtered by modules in Delta. If iA_A is in F(Delta) we say that A is standardly stratified. Moreover, if End_A(D_i) is isomorphic with K, for each element in Delta we say that A is quasi hereditary. In this work we study the properties of the category F(Delta), especially when A is stardardly stratified, and some necessary and sufficient conditions to A be quasi hereditary.

Esta dissertação oferece uma introdução às já conhecidas álgebras de Krichever-Novikov se restringindo aos exemplos abordados previamente em Bremner (1995), Cox (2013), Cox e Jurisich (2013), Cox, Futorny e Martins (2014), Bueno, Cox e Furtony (2009), e as definições de estruturas que podem auxiliar a estudar estes espaços, incluindo álgebras de Lie afins, álgebras de loop e módulos de Verma. Considerando K uma álgebra de Krichever-Novikov do tipo 4-ponto, 3-ponto, elíptica ou DJKM e suas respectivas subálgebras de Heisenberg K\' = K hK , onde hK é a subálgebra de Cartan de K , nos Teoremas 3.2.3, 3.4.3, 3.6.3 e 3.8.3 são apresentados critérios explícitos de irredutibilidade para K\'-módulos do tipo -Verma. / This work gives an introduction to the already known Krichever-Novikov algebras limited only to the examples approached before in Bremner (1995), Cox (2013), Cox e Jurisich (2013), Cox, Futorny and Martins (2014), Bueno, Cox and Furtony (2009), and the structures definitions that could help us to study these spaces, including affine Lie algebras, loop algebras and Verma modules. Let K be a 4-point, 3-point, elliptic or DJKM Krichever-Novikov algebra and its respective Heisenberg subalgebras K\' = K hK , where hK is the K Cartan subalgebra. In the Theorems 3.2.3, 3.4.3, 3.6.3 and 3.8.3 we will give a explicit irreducibility criteria for -Verma K\'-modules.

Esta dissertação oferece uma introdução às já conhecidas álgebras de Krichever-Novikov se restringindo aos exemplos abordados previamente em Bremner (1995), Cox (2013), Cox e Jurisich (2013), Cox, Futorny e Martins (2014), Bueno, Cox e Furtony (2009), e as definições de estruturas que podem auxiliar a estudar estes espaços, incluindo álgebras de Lie afins, álgebras de loop e módulos de Verma. Considerando K uma álgebra de Krichever-Novikov do tipo 4-ponto, 3-ponto, elíptica ou DJKM e suas respectivas subálgebras de Heisenberg K\' = K hK , onde hK é a subálgebra de Cartan de K , nos Teoremas 3.2.3, 3.4.3, 3.6.3 e 3.8.3 são apresentados critérios explícitos de irredutibilidade para K\'-módulos do tipo -Verma. / This work gives an introduction to the already known Krichever-Novikov algebras limited only to the examples approached before in Bremner (1995), Cox (2013), Cox e Jurisich (2013), Cox, Futorny and Martins (2014), Bueno, Cox and Furtony (2009), and the structures definitions that could help us to study these spaces, including affine Lie algebras, loop algebras and Verma modules. Let K be a 4-point, 3-point, elliptic or DJKM Krichever-Novikov algebra and its respective Heisenberg subalgebras K\' = K hK , where hK is the K Cartan subalgebra. In the Theorems 3.2.3, 3.4.3, 3.6.3 and 3.8.3 we will give a explicit irreducibility criteria for -Verma K\'-modules.

Orientador: Prof. Dr. Roldão da Rocha jr. / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Matemática , 2014. / Clifford algebras in Hilbert spaces are studied, along with the possible defnitions of spinors when the classical Clifford algebra is equipped with an additional structure of algebra C. The groups associated with the Clifford algebras, such as the Clifford-Lipschtz groups, Pin and Spin groups, are introduced together with unitary structures and trace operators in Clifford algebras in Hilbert spaces as well. Von-Neumann algebras are studied and the Bogoliubov automorphism is used to generalize the twisted Clifford-Lipschtz groups, using the graduation in Clifford algebra with the additional structure of algebra C. Fock representations and Hilbert-Schmidt operators are going to be introduced in the exterior algebra underlying the Clifford algebras in Hilbert spaces. In addition, twisted Clifford-Lipschitz groups can be constructed with the Bogoliubov automorphism, when it is an inner automorphism. This defines the Pin and Spin groups in the Clifford algebra with the additional structure of algebra C.

Sejam K um corpo algebricamente fechado, A uma K-álgebra básica conexa de dimensão finita sobre K e ê=(e_1,e_2,... ,e_n) um conjunto completo de idempotentes ortogonais, primitivos e ordenados de A. O conjunto dos módulos estandares é o conjunto Delta ={ D_1, ..., D_n }, onde D_i é o quociente maximal do A-módulo projetivo P_i com fatores de composição simples S_j, com j\\leq i, F(Delta) é a subcategoria plena de mod A dos módulos têm uma Delta-filtração. Se A_A esta em F(Delta) diz-se que A é uma álgebra estandarmente estratificada. Se, além disso, para cada elemento em Delta vale que End_A(D_i) é isomorfo a K diz-se que A é uma álgebra álgebra quase-hereditária. Nesta dissertação estudamos as propriedades de F(Delta), especialmente quando A é estandarmente estratificada, e algumas condições necessárias e suficientes para que A seja quase-hereditária. / Let K be an algebraically closed field, A a basic, connected, finite dimensional K-algebra and ê=(e_1,e_2,...,e_n) a complete set of ordered primitive orthogonal idempotents of A. The set of standard modules is the set Delta={D_1, ..., D_n}, where D_i is the maximal factor submodule of P_i whose composition factors are isomorphic to S_j, for j\\leq i. We denote by F(Delta) the full subcategory of mod A containing the modules which are filtered by modules in Delta. If iA_A is in F(Delta) we say that A is standardly stratified. Moreover, if End_A(D_i) is isomorphic with K, for each element in Delta we say that A is quasi hereditary. In this work we study the properties of the category F(Delta), especially when A is stardardly stratified, and some necessary and sufficient conditions to A be quasi hereditary.

Seja d:= \'\\partial\'/\'\\partial IND.x\'+ \'beta\\partial\'/\'partial IND.y\'uma derivação simples de K[x,y], onde K é um corpo de característica zero. Doering, Lequain e Ripoll ([1]) provaram que exite um \'gama\'\'PERTENCE A\' K[x,y] tal que o operador S = \'\\partial\'/\'\\partial x\'+\'beta\\partial\'/\'\\partial y\'+\'gama\'\'PERTENCE A\'\'A IND.2\'\':= K[x,y]\' < \'\\partial\'/partial IND.x\', \'\\partial\'/\'partial\'/\'partial IND y\'\'>\'gera um ideal à esquerda maximal principal de \'A IND.2\'. Desta maneira mostraram, para n=2, que a seguinte conjectura é verdadeira: Seja d:=\'\\partial\'/ \'\\partial IND.x\"IND.1\"+\"alfa\'IND.2\'\'\\partial\'/\'\\partial\'IND.x\'\'IND.2\"+...+ alfa IND.n\"\\partial\'/\'\\partial IND.x\'\'IND.n\" uma derivaçào simples de K[\'x IND.1\'...\'x IND n\']. Então, A IND.n\'(d+\'gama\') é um ideal à esquerda maximal principal de Á IND.n\', para algum \'gama\'\'PERTENCE A\'K[\'x IND.1\',...\'x IND.n\']. Nós mostramos que esta conjectura é verdadeira em alguns casos particulares / Let d: =\'\\partial/\'/\'\\partial IND.x\'+ \'beta\\partial IND.y\' be a simple derivation of K[x,y], where K is a field of characteristic zero. Doering, Lequain e Ripol ([1]) proved that there exists a polynomial um \'gama\'\'IT BELONGS\' K[x,y] such that the operador S =\'\\partial\'/\'\\partial x\'+\'beta\\partial\'/\'\\partial y\'\'gama\'\'IT BELONGS\'\' á ind.2\':= K[x,y]\' < \'\\partial\'/\'partial IND.x\',\'partial\'/\'partial\'/\'partial IND y\'> \'generates a principal maximal left ideal of A IND.2\'. In this way, they showed that, for n=2, the following conjectures is tru: Let d:=\'\\partial\'/\'\\partial IND.x\"+\"alfaÍND.2\"\\partial\'/ \"\\partial\' IND.x\'IND.2\"+ álfa IND.n\"\\partial IND.xÍND.n\"be a simple derivation of K[\'x IND.1\',...,\'x IND n\']. Then, \'A IND.n\'(d+\'gama\') is a principal maximal left ideal of \'A IND.n\',for some \'gama\"IT BELONGS\'K[x IND.1\',...,\'x IND.n\']. We show that this conjecture is true in some cases

Orientador: Lucio Centrone / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-27T16:21:21Z (GMT). No. of bitstreams: 1 Lobo_MiqueiasdeMelo_M.pdf: 612489 bytes, checksum: 4f5b408cbd8a473c143ee07e289ce4fb (MD5) Previous issue date: 2015 / Resumo: Neste trabalho estudamos álgebras com identidades polinomiais. Mais especificamente, estudamos os principais teoremas de estrutura das PI-álgebras graduadas e entre eles a versão graduada do teorema de Posner, obtida por Balaba em 2005, que abriu o caminho para diversas aplicações importantes nos últimos anos / Abstract: In this work we study algebras with polynomial identities. More specifically, we study the main structure theorems for graded PI-algebras and including the graded version of Posner's theorem, obtained by Balaba in 2005, which paved the way for several important applications in recent years / Mestrado / Matematica / Mestre em Matemática

Seja d:= \'\\partial\'/\'\\partial IND.x\'+ \'beta\\partial\'/\'partial IND.y\'uma derivação simples de K[x,y], onde K é um corpo de característica zero. Doering, Lequain e Ripoll ([1]) provaram que exite um \'gama\'\'PERTENCE A\' K[x,y] tal que o operador S = \'\\partial\'/\'\\partial x\'+\'beta\\partial\'/\'\\partial y\'+\'gama\'\'PERTENCE A\'\'A IND.2\'\':= K[x,y]\' < \'\\partial\'/partial IND.x\', \'\\partial\'/\'partial\'/\'partial IND y\'\'>\'gera um ideal à esquerda maximal principal de \'A IND.2\'. Desta maneira mostraram, para n=2, que a seguinte conjectura é verdadeira: Seja d:=\'\\partial\'/ \'\\partial IND.x\"IND.1\"+\"alfa\'IND.2\'\'\\partial\'/\'\\partial\'IND.x\'\'IND.2\"+...+ alfa IND.n\"\\partial\'/\'\\partial IND.x\'\'IND.n\" uma derivaçào simples de K[\'x IND.1\'...\'x IND n\']. Então, A IND.n\'(d+\'gama\') é um ideal à esquerda maximal principal de Á IND.n\', para algum \'gama\'\'PERTENCE A\'K[\'x IND.1\',...\'x IND.n\']. Nós mostramos que esta conjectura é verdadeira em alguns casos particulares / Let d: =\'\\partial/\'/\'\\partial IND.x\'+ \'beta\\partial IND.y\' be a simple derivation of K[x,y], where K is a field of characteristic zero. Doering, Lequain e Ripol ([1]) proved that there exists a polynomial um \'gama\'\'IT BELONGS\' K[x,y] such that the operador S =\'\\partial\'/\'\\partial x\'+\'beta\\partial\'/\'\\partial y\'\'gama\'\'IT BELONGS\'\' á ind.2\':= K[x,y]\' < \'\\partial\'/\'partial IND.x\',\'partial\'/\'partial\'/\'partial IND y\'> \'generates a principal maximal left ideal of A IND.2\'. In this way, they showed that, for n=2, the following conjectures is tru: Let d:=\'\\partial\'/\'\\partial IND.x\"+\"alfaÍND.2\"\\partial\'/ \"\\partial\' IND.x\'IND.2\"+ álfa IND.n\"\\partial IND.xÍND.n\"be a simple derivation of K[\'x IND.1\',...,\'x IND n\']. Then, \'A IND.n\'(d+\'gama\') is a principal maximal left ideal of \'A IND.n\',for some \'gama\"IT BELONGS\'K[x IND.1\',...,\'x IND.n\']. We show that this conjecture is true in some cases