O espectro vibracional do monofluoracetileno (HCCF) e do monocloroacetileno (HCCCl) são calculados por meio de técnicas algébricas sob a hipótese de que eles resultam de uma simetria u(4) dada pela cadeia u(4) ⊃ so(4) ⊃ so(3). Os resultados são comparados com as 170 linhas vibracionais experimentais disponíveis para o HCCF e com as 23 disponíveis para o HCCCL. Os desvios médios encontrados de 7 cm-1 e 4 cm-1, respectivamente, estabelecem estes sistemas como os melhores exemplos de simetria dinâmica em Física Molecular até o momento. Numa outra aplicação de técnicas algébricas, tendo em mente aplicações que requerem a manipulação de diferentes representações irredutíveis, nós calculamos fórmulas fechadas e analíticas para os elementos de matriz dos geradores da álgebra simplética sp(4,C) atuando numa representação irredutível arbitrária da cadeia sp(4,C) ⊃ sp(2,C) ⊕sp(2, C), a qual está sendo utilizada no estudo do código genético. A base utilizada é ortogonal e é análoga à base de Gel\'fand- Tsetlin para as álgebras unitárias. / The vibrational spectrum of monofluoroacetylene (HCCF) and of monochloroacetylene (HCCCl) are calculated by means of algebraic techniques under the hypothesis that they result from a U(4) symmetry through the chain U(4) symmetry through the chain U(4) ⊃ O(4) ⊃ O(3). The results are compared with the 170 experimentally available vibrational lines for the HCCF and with the 23 experimentally available vibrational lines for the HCCCl. The mean square deviation is founded to be 7 cm-1 and 4 cm-1, respectivelly, establishing these spectra as the best examples of a dynamical symmetry reported in Molecular Physics so far. In another application of algebraic techniques, having in mind applications in which the algebraic handling of several different irreducible representations are necessary, we provide closed formulas for the matrix elements of the symplectic sp(4,C) Lie algebra on an arbitrary irreducible representation on the chain sp(4,C) ⊃ sp(2,C) ⊕ sp(2,C), which is being used in the study of the genetic code by Lie algebras. The used basis is orthogonal and analogous to the Gel\'fand- Tsetlin basis of unitary algebras.

Este trabalho tem como objetivo principal estudar módulos irredutíveis sobre as álgebras de Kac-Moody afim, conforme [7]. Em particular, a técnica de localização foi aplicada aos módulos de Verma imaginários sobre a álgebra de Lie afim A(1)1, com o objetivo de obter novos módulos irredutíveis sobre essa álgebra. Conforme [8] e [6], é o mesmo que aplicar a técnica de localização à primeira realização de campos livres de A(1)1 .Para cumprir o objetivo, introduzimos as álgebras de Kac-Moody, tendo como foco principal as álgebras de Kac-Moody do tipo afim, conforme [14]. Em seguida, definimos os módulos de Verma,destacando os módulos de Verma imaginários sobre a álgebra de Lie afim A(1)1, conforme [8]. / The main purpose of this work is to study the irreducible modules of affine Kac-Moody algebras,according to [7].In particular, the localization technique was applied to the imaginary Verma modules of affine Lie algebra A(1)1, with the purpose to obtain new irreducible modules of this algebra. According to[8] and [6], it is the same as to apply the localization technique to the first realization of free fields of A(1)1.To achieve the purpose, we introduced the Kac-Moody algebras, having the main focus the af-fine Kac-Moody algebras, according to [14]. Following, we defined the Verma modules, highlighting imaginary Verma modules of affine Lie algebra A(1)1, according to [8].

Em [12] J.T. Stafford demonstrou que todo ideal à esquerda ou à direita da álgebra de Weyl \'A IND. n\' (K) = K \'[ \'x IND. 1\', ...,\'x IND. n\' ] \' partial IND. 1\', ... \'partial IND. n\' (K um corpo de característica zero) é gerado por dois elementos. Consideremos o anel \'D IND. n\' := K [[\'x IND.1\', ...\'x IND. n\']] de operadores diferenciais sobre o anel de séries de potências formais K[[\'x IND. 1\';...\' xI ND. n\']]. Uma pergunta natural é se todo ideal à esquerda ou à direita de\' D IND. n\'(K) pode ser gerado por dois elementos. Neste trabalho provaremos que todo ideal à esquerda ou à direita do anel \'E IND. n\'(K) := K((\'x IND. 1\' ... \'x IND. n\'))(\' partial IND. 1, ...\'partial IND. n\') de operadores diferenciais sobre o corpo das séries de Laurent K((\'x IND. 1\', ...\'x IND. n\')) é gerado por dois elementos. Nós provaremos também que todo ideal à esquerda ou à direita do anel \'S IND. n -1\'(K) := K((\'x IND. 1\', ...\'X ind. n - 1\"))[[\'x IND. n\']](\' partial IND. 1, ...\'partial IND. n\') é gerado por dois elementos e como corolário obtemos uma demonstração que todo ideal à esquerda ou à direita do anel \'D IND. 1\'(K) é gerado por dois elementos. Isto está de acordo com a conjectura que diz que todo ideal à esquerda ou à direita de um anel (não comutativo) Noetheriano simples é gerado por dois elementos / In [12] J.T. Stafford proved that every left or right ideal of the Weyl algebra \'A IND. n\'(K) = K[\'x IND. 1\', ...\'x IND. n\'](\' partial IND. 1, ...\'partial IND. n\')(K a field of characteristic zero) is generated by two elements. Consider the ring \'D IND. n\' := K[[\'x IND. 1\', ...\'x IND.n\']](\'partial IND. 1\", ...\'partial IND. n) of differential operators over the ring of formal power series K[[\'x IND. 1\', ... \'x IND. n\']]: A natural question is that if every left or right ideal of \'D IND. n\'(K) can be generated by two elements. In this work we will prove that every left or right ideal of the ring \'E IND. n\' (K) := K((\'x IND. 1\', ... \'x IND. n\'))(\'partial IND. 1,...\'partial IND. n\') of differential operators over the field of formal Laurent series K((\'x IND. 1\', ...\'x IND. n\'))) is generated by two elements. We will prove also that every left or right ideal of the ring \'S IND. n -1\"(K) := K((\'x IND. 1\', ...\'x IND. n\'-1\'))[[\'x IND. n]](\'paertial IND. 1, ...\'partial IND. n\') is generated by two elements and as a corollary we obtain a proof of that every left or right ideal of the ring \'D IND. 1\'(K) is generated by two elements. This is in accordance with the conjecture that says that in a (noncommutative) Noetherian simple ring, every left or right ideal is generated by two elements

O objetivo deste trabalho é estudar a estrutura dos módulos sobre uma álgebra trivial de dimensão dois na variedade M das álgebras comutativas de potências associativas. Em particular classificamos os módulos irredutíveis. Estes resultados nos permitem compreender melhor a estrutura das nilálgebras comutativas de dimensão finita e nilíndice 4. Finalmente classificamos, sob isomorfismos, as nilálgebras comutativas de potências associativas de dimensão n e nilíndice n. / The aim of this work is to study the structure of the modules over a trivial algebra of dimension two in the variety M of commutative and power-associative algebras. In particular we classify the irreducible modules. These results enables us to understand better the structure of finite-dimensional power-associative nilalgebras of nilindex 4. Finally, we classify, up to isomorphism, commutative power associative nilalgebras of nilindex n and dimension n.

The objective of this work is the study of phase transitions on the context of Groupoids and their C*-Algebras. The main result of this dissertation is due to Klaus Thomsen in [Tho17], which investigates the connection between conformal measures in the classical formalism and KMS-states in the quantum formalism. The phase transition in the quantum setting is a consequence of this connection between both formalisms and the fact that on the classical setting it was known examples of continuous potentials that show the phenomena of phase transition. The potential used was introduced by Hofbauer [Hof77], an example that shows, dierently from potential of summable variations, potentials only continuous can exhibit phase transition. / O objetivo deste trabalho é o estudo do fenômeno de transição de fase no contexto de Grupóides e suas C*-álgebras. O resultado principal é devido a Klaus Thomsen em [Tho17], que explora a conexão entre medidas conformes no formalismo clássico e estados KMS do contexto quântico. A transição de fase no caso quântico é consequência desta ligação entre os dois formalismos e do fato de que no setting clássico eram conhecidos exemplos de potenciais contínuos que apresentam o fenômeno de transição de fase. O potencial utilizado é aquele introduzido por Hofbauer [Hof77], um exemplo que mostra que, diferentemente de potenciais de variação somável, potenciais apenas contínuos podem apresentar transição de fase.

Em [12] J.T. Stafford demonstrou que todo ideal à esquerda ou à direita da álgebra de Weyl \'A IND. n\' (K) = K \'[ \'x IND. 1\', ...,\'x IND. n\' ] \' partial IND. 1\', ... \'partial IND. n\' (K um corpo de característica zero) é gerado por dois elementos. Consideremos o anel \'D IND. n\' := K [[\'x IND.1\', ...\'x IND. n\']] de operadores diferenciais sobre o anel de séries de potências formais K[[\'x IND. 1\';...\' xI ND. n\']]. Uma pergunta natural é se todo ideal à esquerda ou à direita de\' D IND. n\'(K) pode ser gerado por dois elementos. Neste trabalho provaremos que todo ideal à esquerda ou à direita do anel \'E IND. n\'(K) := K((\'x IND. 1\' ... \'x IND. n\'))(\' partial IND. 1, ...\'partial IND. n\') de operadores diferenciais sobre o corpo das séries de Laurent K((\'x IND. 1\', ...\'x IND. n\')) é gerado por dois elementos. Nós provaremos também que todo ideal à esquerda ou à direita do anel \'S IND. n -1\'(K) := K((\'x IND. 1\', ...\'X ind. n - 1\"))[[\'x IND. n\']](\' partial IND. 1, ...\'partial IND. n\') é gerado por dois elementos e como corolário obtemos uma demonstração que todo ideal à esquerda ou à direita do anel \'D IND. 1\'(K) é gerado por dois elementos. Isto está de acordo com a conjectura que diz que todo ideal à esquerda ou à direita de um anel (não comutativo) Noetheriano simples é gerado por dois elementos / In [12] J.T. Stafford proved that every left or right ideal of the Weyl algebra \'A IND. n\'(K) = K[\'x IND. 1\', ...\'x IND. n\'](\' partial IND. 1, ...\'partial IND. n\')(K a field of characteristic zero) is generated by two elements. Consider the ring \'D IND. n\' := K[[\'x IND. 1\', ...\'x IND.n\']](\'partial IND. 1\", ...\'partial IND. n) of differential operators over the ring of formal power series K[[\'x IND. 1\', ... \'x IND. n\']]: A natural question is that if every left or right ideal of \'D IND. n\'(K) can be generated by two elements. In this work we will prove that every left or right ideal of the ring \'E IND. n\' (K) := K((\'x IND. 1\', ... \'x IND. n\'))(\'partial IND. 1,...\'partial IND. n\') of differential operators over the field of formal Laurent series K((\'x IND. 1\', ...\'x IND. n\'))) is generated by two elements. We will prove also that every left or right ideal of the ring \'S IND. n -1\"(K) := K((\'x IND. 1\', ...\'x IND. n\'-1\'))[[\'x IND. n]](\'paertial IND. 1, ...\'partial IND. n\') is generated by two elements and as a corollary we obtain a proof of that every left or right ideal of the ring \'D IND. 1\'(K) is generated by two elements. This is in accordance with the conjecture that says that in a (noncommutative) Noetherian simple ring, every left or right ideal is generated by two elements

Nesta tese vamos apresentar dois resultados a respeito de K-teoria de álgebras C^{*} de classes de operadores pseudodiferenciais que são globalmente definidos em \\mathbb^. O primeiro resultado é a prova da regularidade da função \\eta para operadores clássicos com símbolos de Shubin. Vamos mostrar que a álgebra de operadores pseudodiferenciais em \\mathbb^ com símbolos de Shubin permite a construção de potências complexas e um tipo de traço de Kontsevich-Vishik numa forma muito similar àquela feita para variedades compactas, com definições até mais simples. Mostraremos, então, que podemos definir as funções \\zeta e \\eta também para esses símbolos. Finalmente mostraremos como o conhecimento de fatos simples sobre a sua K-teoria permitem a prova da regularidade da função \\eta. Para variedades compactas, esse resultado tem muitas implicações. Acreditamos assim que ele também possa ser interessante para os estudos de operadores globais em \\mathbb^. O segundo resultado é o cálculo da K-teoria de operadores limitados gerados por operadores de Boutet de Monvel SG de ordem (0,0) e tipo zero em \\mathbb_{+}^. Boutet de Monvel introduziu a álgebra que leva o seu nome para estudar o índice de operadores elípticos de fronteira em variedades compactas com bordo. Mais recentemente uma nova abordagem foi proposta por Melo, Nest, Schrohe e Schick para obter resultados sobre o índice de Fredholm usando a K-teoria de álgebras C^{*}, uma ferramenta que não era disponível ainda quando Boutet de Monvel desenvolveu sua álgebra. Nossa ideia foi, então, mostrar como calcular a K-teoria de álgebras de Boutet de Monvel com símbolos SG em \\mathbb_{+}^, em que os símbolos SG são uma classe de símbolos globalmente definidos em \\mathbb^. Acreditamos que isso possa ser útil também ao estudo de problemas elípticos de fronteira para operadores de Boutet de Monvel com símbolos SG em certas classes de variedades não compactas. / We are going to present two results concerning K-theory of C^{*} algebras of classes of pseudodifferential operators that are globally defined in \\mathbb^. The first result is the proof of the regularity of the \\eta function for classical operators with Shubin symbols. We are going to show that the algebra of classical pseudodifferential operators in \\mathbb^ with Shubin symbols allows the construction of complex powers and a kind of Kontsevich-Vishik trace in a very similar way as on compact manifolds, with even easier definitions. Then we show that we can define the \\zeta and \\eta functions also for these symbols. Finally we will show how the knowledge of simple facts about the K-theory of pseudodifferential operators with Shubin\'s symbols allows the proof of the regularity of the \\eta function at 0. For compact manifolds, this regularity is a result that has many implications. Therefore it may also be interesting for global operators in \\mathbb^. The second result is the evaluation of the K-theory of bounded operators generated by SG Boutet de Monvel operators of order (0,0) and type 0 in \\mathbb_^. Boutet de Monvel introduced his algebra to study the index of elliptic boundary value problems on compact manifolds. More recently a new approach was proposed by Melo, Nest, Schrohe and Schick to obtain results about the index of Fredholm operators using the K-theory of C^ algebras, a tool which was not well known when Boutet de Monvel published his work. The idea here is to show how one can evaluate the K-theory of the Boutet de Monvel operators with SG symbols in \\mathbb_^, where SG symbols is a class of symbols globally defined in \\mathbb^. We believe that this can be useful to the study of index of Fredholm problems also in the case of Boutet de Monvel operators with SG symbols in some classes of non-compact manifolds.

Made available in DSpace on 2016-04-27T16:57:27Z (GMT). No. of bitstreams: 1 Jailma Ferreira Guimaraes.pdf: 3322182 bytes, checksum: 49d85192d85fd9d00189a9a241df7ee7 (MD5) Previous issue date: 2013-10-22 / This study it has the objective to apply and to analyze four activities sequences have being contemplated block-type divided content of the Mathematics presented by the National Curricular Parameters of Basic Teaching PCNEF articulated to the four conceptions of Algebra proposals by Usiskin as arithmetical generalized, study of procedures to decide certain types of problems, study of the relations between largeness s and study of the structures. For in such a way we choose as the Theory of the Registers of Representation arrives in a port theoretical described Semiotics for Raymond Duval. The citizens of the research had been five students of 6º grade to the teach school Basic of the Public school in the Bahia to Ibicaraí city. The analyses of the productions carried through for the students in set with the transcriptions of the recorded interviews during the activities sequences application had pointed that it had difficulty in making the conversion this graphical register in the register of departure for the numerical register, of the register of the natural language with respect to the algebraic register. The story of the participants contributed to understand the strategies and procedures of the resolutions used for the students. The difficulties related to education and learning of Algebra become to obvious. The activities disclose and analyze on difficulties in the understanding and basic slight knowledge the Algebra s conceptions. The PCNEF affirm that to guarantee the development of the algebraic thought the students must be in activities that interrelate the different conceptions of Algebra. After the analyses of the results we conclude that the activities sequences application was an efficient strategy to guarantee our objectives considered initially / Este estudo tem como objetivo desenvolver sequências de atividades, articulando os quatro blocos de conteúdos de matemática apresentados pelos Parâmetros Curriculares Nacionais do Ensino Fundamental - PCNEF com as concepções da álgebra propostas por Usiskin como aritmética generalizada, estudo de procedimentos para resolver tipos de problemas, estudo das relações entre grandezas e estudo das estruturas. Para tanto, escolhemos como aporte teórico a Teoria dos Registros de Representação Semiótica descrita por Raymond Duval. Os sujeitos da pesquisa foram cinco estudantes do 6º Ano do Ensino Fundamental de uma escola da rede municipal da Bahia no município de Ibicaraí. As análises das produções realizadas pelos estudantes em conjunto com as transcrições das entrevistas gravadas durante a aplicação das sequências das atividades apontaram que houve dificuldade de alguns alunos em fazer a conversão do registro gráfico para o registro numérico, do registro da língua natural para o registro algébrico. O relato dos participantes contribuiu para entendermos as estratégias e procedimentos empregados nas resoluções. Percebemos que alguns desses alunos não tinham domínio nas operações fundamentais, além de apresentarem certa dificuldade em interpretação. Notamos que no contato com a primeira atividade eles estavam ansiosos em dar uma resposta exata. No decorrer da resolução das atividades eles foram evoluindo, buscaram fazer a leitura, interpretação, estratégias de soluções e argumentação do que realizaram e como realizaram através das entrevistas. Considerando a nossa prática, ao realizar esta pesquisa percebemos o quanto é difícil elaborar uma sequência de atividade e planejar estratégias de como aplicar estabelecendo objetivos. Identificamos que o importante não é ter materiais, livros didáticos em que os exercícios aparecem prontos, mas sim o que pode contribuir para a aprendizagem. É necessário e de fundamental importância que o professor saiba escolher ou elaborar situações-problema que possibilitem aos alunos investigar, elaborar estratégias de resolução e assim tornar possível a generalização e abstração do conhecimento

Les comportement épistémiques, mobiles et spatiaux sont omniprésent dans les systèmes distribués aujourd’hui. La nature intrinsèque épistémique de ces types de systèmes provient des interactions des éleménts qui en font parties. La plupart des gens sont familiarisés avec des systèmes numériques où les utilisateurs peuvent partager ses croyances, opinions et même des mensonges intentionnels (des canulars). Aussi, les modèles de ces systèmes doivent tenir compte des interactions avec d’autres de même que leur nature distribués. Ces comportements spatiaux et mobiles font part d’applications où les données se déplacent dans des espaces (peut-être imbriqués) qui sont définis par, par exemple, cercles d’amis, des groupes, ou des dossiers partagés. Nous pensons donc qu’une solide compréhension des notion d’espaces, de mobilité spatial ainsi que le flux d’information épistémique est cruciale dans la plupart des modèles de systèmes distribués de nos jours.Les systèmes de contrainte (sc) fournissent les domaines et les opérations de base pour les fondements sémantiques de la famille de modèles déclaratifs formels de la théorie de la concurrence connu sous le nom de programmation concurrent par contraintes (pcc). Les systèmes des contraintes spatiales (scs) représentent des structures algébriques qui étendent sc pour raisonner sur les comportement spatiaux et épistémiques de base tel que croyance et l’extrusion. Les assertions spatiales et épistémiques peuvent être vues comme des modalités spécifiques. D’autres modalités peuvent être utilisées pour les assertions concernant le temps, les connaissances et même pour l’analyse des groupes entre autres concepts utilisés dans la spécification et la vérification des systèmes concurrents.Dans cette thèse nous étudions l’expressivité des systèmes de contraintes spatiales dans la perspective générale du comportement modal et épistémique. Nous montrerons que les systèmes de contraintes spatiales sont assez robustes pour capturer des modalités inverses et pour obtenir de nouveaux résultats pour les logiques modales. Également, nous montrerons que nous pouvons utiliser les scs pour exprimer un comportement épistémique fondamental comme connaissance. Finalement, nous donnerons une caractérisation algébrique de la notion de l’information distribuée au moyen de constructions sur scs. / Epistemic, mobile and spatial behaviour are common place in today’s distributed systems. The intrinsic epistemic nature of these systems arises from the interactions of the elements taking part of them. Most people are familiar with digital systems where users share their beliefs, opinions and even intentional lies (hoaxes). Models of those systems must take into account the interactions with others as well as the distributed quality these systems present. Spatial and mobile behaviour are exhibited by applications and data moving across (possibly nested) spaces defined by, for example, friend circles, groups, and shared folders. We therefore believe that a solid understanding of the notion of space and spatial mobility as well as the flow of epistemic information is relevant in many models of today’s distributed systems.Constraint systems (cs’s) provide the basic domains and opera- tions for the semantic foundations of the family of formal declarative models from concurrency theory known as concurrent constraint programming (ccp). Spatial constraint systems (scs’s) are algebraic structures that extend cs’s for reasoning about basic spatial and epistemic behaviour such as belief and extrusion. Both spatial and epistemic assertions can be viewed as specific modalities. Other modalities can be used for assertions about time, knowledge and even the analysis of groups among other concepts used in the specification and verification of concurrent systems.In this thesis we study the expressiveness of spatial constraint systems in the broader perspective of modal and epistemic behaviour. We shall show that spatial constraint systems are sufficiently robust to capture inverse modalities and to derive new results for modal logics. We shall show that we can use scs’s to express a fundamental epistemic behaviour such as knowledge. Finally we shall give an algebraic characterization of the notion of distributed information by means of constructors over scs’s.

O objetivo do trabalho é apresentar alguns resultados acerca de anéis de grupos e aplicações, segundo o que foi estudado em livros e artigos sobre o assunto. Inicialmente, apresentaremos alguns fatos básicos sobre anéis de grupos, que podem ser encontrados em [5], e em seguida, apresentaremos os resultados principais, mais recentes, que foram estudados em dois artigos diferentes. No primeiro artigo [4], apresentou-se uma forma de calcular o número de componentes simples de certas álgebras de grupos abelianos finitos, bem como também foi apresentada uma forma de calcular geradores idempotentes de códigos abelianos minimais, suas dimensões e seus pesos. No segundo artigo [2], encontra-se uma descrição feita dos idempotentes centrais primitivos da álgebra de grupo racional de grupos nilpotentes finitos. / Our goal in this project is to present some results about group rings and its applications, as presented in books and articles about this subject. First of all we are going to establish some basic fact about group rings, which can be found mainly in [5], and then we will present the main results, which are more recent, and have been studied in two different articles. In [4], the authors presented a way of evaluating the number of simple components of some finite group algebras, as well presented a way of evaluating idempotent generators of some minimal abelian codes, their dimension and their weights. In [2] there is a complete description of all the primitive central idempotents of the rational group algebra of finite nilpotent groups.