• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 273
  • 129
  • 99
  • 33
  • 21
  • 18
  • 16
  • 15
  • 9
  • 8
  • 5
  • 5
  • 4
  • 4
  • 4
  • Tagged with
  • 712
  • 125
  • 80
  • 75
  • 72
  • 54
  • 54
  • 53
  • 52
  • 50
  • 47
  • 46
  • 43
  • 41
  • 37
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
481

Homologia de André-Quillen para Álgebras Comutativas

Silva, Ricardo Bruno Alves da 27 April 2017 (has links)
Submitted by Leonardo Cavalcante (leo.ocavalcante@gmail.com) on 2018-05-02T14:09:22Z No. of bitstreams: 1 Arquivototal.pdf: 978771 bytes, checksum: bf0c05c8da5e986a77b6215a2235ab5e (MD5) / Made available in DSpace on 2018-05-02T14:09:22Z (GMT). No. of bitstreams: 1 Arquivototal.pdf: 978771 bytes, checksum: bf0c05c8da5e986a77b6215a2235ab5e (MD5) Previous issue date: 2017-04-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / At the end of the 60s, Andr e and Quillen introduced a cohomology theory for commutative algebras, which today is called Andr e-Quillen's cohomology. In this work, we will study K ahler di erential functor, which is here seen as a derived functor (in a nonabelian context), which connects the categories: simpli ed R-algebras and simpli ed R-modules. In the rst, through simplicial resolutions, we will notice that they characterize certain objects and diagrams of this model category, which in turn, are preserved by K ahler di erential functor. In addition, we will approach the complex cotangent of a R-algebra, and through it, de ne the homology and cohomology of Andr e-Quilen, and of course, expose some properties of these. / No nal da década de 60, André e Quillen introduziram uma teoria de cohomologia para álgebras comutativas, que hoje recebe o nome de cohomologia de André-Quillen. Neste trabalho, estudaremos o funtor de diferenciais de K ahler, que aqui é visto como funtor derivado (em um contexto não abeliano), que conecta as categorias: R-álgebras simpliciais e R-m odulos simpliciais. Na primeira, atrav es das resolu c~oes simpliciais, notaremos que estas caracterizam certos objetos e diagramas desta categoria modelo, que por sua vez, s~ao preservados pelo funtor de diferenciais de K ahler. Al em disso, abordaremos o complexo cotangente de uma R- algebra, e atrav es dele, de nir a homologia e cohomologia de André-Quillen, e naturalmente, expor algumas propriedades destas.
482

Extensões essenciais cíclicas de modulos simples sobre anéis de operadores diferenciais

Vinciguerra, Robson Willians January 2017 (has links)
Um anel noetheriano S satisfaz a propriedade ( ) se todas as extens~oes essenciais c clicas de S-m odulos simples s~ao artinianas. An eis noetherianos com esta propriedade veri cam a Conjectura de Jacobson, que e um famoso problema em aberto em teoria de an eis. Neste trabalho investigamos esta propriedade em an eis de operadores diferenciais R[ ; ], onde R e um anel comutativo noetheriano e uma deriva c~ao de R. Mais especi camente, estudamos condi c~oes necess arias e su cientes para que R[ ; ] satisfa ca ( ), quando R e um anel -simples e, tamb em, no caso em que este e um anel -primitivo. Al em disso, caracterizamos os an eis de operadores diferenciais C[x; y][ ; ] que satisfazem ( ). / A Noetherian ring S satis es the property ( ) if any cyclic essential extension of simple S-modules are Artinian. Noetherian rings with this property verify Jacobson's Conjecture, which is a famous open problem in ring theory. In this work we investigate this property in di erential operators rings R[ ; ], where R is a commutative Noetherian ring and is a derivation of R. More precisely, we study necessary and su cient conditions for R[ ; ] to satisfy property ( ) whenever R is a -simple ring and also for the case where it is a -primitive ring. Furthermore, we characterize the di erential operator rings C[x; y][ ; ] satisfying ( ).
483

Análise do comportamento de uma associação em série de diferentes módulos fotovoltaicos em um sistema conectado à rede

Ospina Hincapie, Camilo January 2015 (has links)
O objetivo principal deste trabalho é avaliar a efetividade da previsão de geração de energia elétrica realizada por meio de simulação de um sistema fotovoltaico integrado por módulos de diferentes características, dispostos em série e conectados à rede de distribuição, sem inversor. Para isto foi utilizado o programa Crearray, desenvolvido no Laboratório de Energia Solar da UFRGS, que permite determinar o ponto de polarização do arranjo e comparar com dados medidos experimentalmente. Foi montado um arranjo fotovoltaico integrado com módulos de diferentes características conectados à rede de distribuição por meio de um inversor. A curva característica de cada um dos módulos foi determinada por ensaio em um simulador. Os dados da curva permitiram determinar os parâmetros dos modelos utilizados no programa Crearray. Para avaliar o funcionamento do programa os dados de tensão em corrente contínua foram inseridos no software e as respectivas correntes foram calculadas. Os valores de corrente calculados e os valores medidos mostraram a eficiência do programa em calcular a curva característica para diferentes condições de irradiância e de temperatura. Utilizando o mesmo programa encontrou-se o ponto de polarização do arranjo ao longo do tempo para o ponto de máxima potência e, desta forma, também a corrente e a potência máxima do lado de corrente contínua do sistema. Na comparação desta potência máxima teórica com a potência efetivamente medida no lado de corrente contínua do sistema, pôde-se constatar que nem sempre o inversor consegue determinar a tensão exata para estabelecer a potência máxima. Na comparação dos dados medidos e simulados observa-se concordância. Da comparação dos valores em horários sem interferência de sombras, foi obtida uma medição da eficiência do seguidor de máxima potência do inversor, em modo dinâmico. Observando os dados adquiridos também foi estimada a eficiência dinâmica de conversão do inversor para um dia. / The main objective of this dissertation is to confirm the forecast of electricity production through the simulation of a photovoltaic system. Such system is composed by modules with different characteristics, arranged in series and connected to the distribution network. The simulation was performed with the help of Crearray, a computer program developed at the Solar Energy Laboratory of UFRGS, which determines the bias point of the array and compares it with experimentally measured data. A photovoltaic array, constituted by modules with different characteristics, was assembled and connected to the distribution network through an inverter. The characteristic curve of each module was previously determined in a solar simulator test. The curve data was used to evaluate the parameters of the curve models used by Crearray software. To verify the correct operation of the program, the DC voltage data was entered to the software and the related current was calculated. The comparison between calculated and measured current values showed the Crearray ability to calculate the characteristic curve for different conditions of irradiance and temperature. Furthermore, the program was used to calculate the maximum power point of the array along the time and thus the delivered DC power. Comparing this theoretical maximum power with the power actually measured at the DC side of the system, it was verified that the inverter sometimes was not able to determine the correct bias voltage to extract the maximum power. Comparison of measured and simulated data showed an excellent concordance, except for certain times when there was shading on the reference cell. Comparing the values over periods without the interference of shadows, it was possible to estimate the MPPT efficiency of the inverter under dynamic mode. Analyzing the acquired data was also possible to estimate the inverter dynamic conversion efficiency for a day.
484

Dependence of Toxicity Test Results on Sample Removal Methods of PV Modules

January 2018 (has links)
abstract: The volume of end-of-life photovoltaic (PV) modules is increasing as the global PV market increases, and the global PV waste streams are expected to reach 250,000 metric tons by the end of 2020. If the recycling processes are not in place, there would be 60 million tons of end-of-life PV modules lying in the landfills by 2050, that may not become a not-so-sustainable way of sourcing energy since all PV modules could contain certain amount of toxic substances. Currently in the United States, PV modules are categorized as general waste and can be disposed in landfills. However, potential leaching of toxic chemicals and materials, if any, from broken end-of-life modules may pose health or environmental risks. There is no standard procedure to remove samples from PV modules for chemical toxicity testing in the Toxicity Characteristic Leaching Procedure (TCLP) laboratories as per EPA 1311 standard. The main objective of this thesis is to develop an unbiased sampling approach for the TCLP testing of PV modules. The TCLP testing was concentrated only for the laminate part of the modules, as they are already existing recycling technologies for the frame and junction box components of PV modules. Four different sample removal methods have been applied to the laminates of five different module manufacturers: coring approach, cell-cut approach, strip-cut approach, and hybrid approach. These removed samples were sent to two different TCLP laboratories, and TCLP results were tested for repeatability within a lab and reproducibility between the labs. The pros and cons of each sample removal method have been explored and the influence of sample removal methods on the variability of TCLP results has been discussed. To reduce the variability of TCLP results to an acceptable level, additional improvements in the coring approach, the best of the four tested options, are still needed. / Dissertation/Thesis / Masters Thesis Engineering 2018
485

Considerações sobre a fabricação nacional de módulos fotovoltaicos / Considerations about Brazilian domestic photovoltaics modules manufacturing

Daniel Nascimento Vivacqua 26 September 2016 (has links)
Este trabalho buscou entender a situação da atividade de fabricação de módulos fotovoltaicos no Brasil com o objetivo de avaliar a possibilidade de estimular a indústria nacional e o uso dessa fonte alternativa mais acentuadamente. Para tanto, foi necessário analisar os benefícios energéticos e econômicos da cadeia de produção, além de entender o estado da arte atual de todo o processo. É um ramo industrial que está sendo implantado no Brasil e este estudo teve como objetivo obter informações relevantes dos problemas e facilidades que os empreendedores enfrentam, e quais são os custos e benefícios à sociedade em geral, inclusive para obtenção dos sistemas fotovoltaicos pelo consumidor final. O trabalho contém uma avaliação do estado da produção e utilização dos sistemas de energia solar fotovoltaica no mundo e o que ocorre no Brasil. Buscou-se conhecer as possíveis, e/ou mais relevantes, ações regulatórias e iniciativas da área privada para viabilizar este ramo industrial. São considerados os impactos da atividade em pauta, procurando mostrar as relações de custo-benefício em projetos de geração centralizada (Leilões de Energia de Reserva) e de geração distribuída. / This study aims to understand the status of the manufacturing activity of photovoltaic modules in Brazil to evaluate the possibility of stimulating the local production and its widespread use. It was necessary to evaluate the energetic and economic benefits of the production chain. In addition, the study focused the understanding of the current state of the art of the whole process. Photovoltaic solar energy is an industrial branch recently receiving impulse in Brazil. This study aims to obtain relevant information about the difficulties faced by the entrepreneurs and the benefits and costs to the society. The study assess the state of the production and use of solar PV systems in the world and what happens in Brazil. At this study, we sought to understand what are the possible, and/or more relevant, regulatory actions and private area initiatives to enable this industrial branch and its diffusion to the final consumers. The impacts of the related activity are considered, trying to show the cost-benefit relationship in centralized generation projects (Reserve Energy Auctions) and distributed generation.
486

Análise do padrão de expressão de BhC4-1-GFP em linhagens transgênicas de Drosophila melanogaster / Analysis of the pattern of BhC4-1-GFP expression in Drosophila melanogaster transgenic lines

Vitor Trinca 07 May 2018 (has links)
Nosso laboratório investiga os mecanismos moleculares que promovem o estabelecimento de padrões de expressão gênica regulados no desenvolvimento em eucariotos superiores. Como modelo, utilizamos o gene de pufe de DNA BhC4-1, que é amplificado e expresso de modo regulado na glândula salivar e na glândula protorácica no final do quarto estadio larval de B. hygida. Estudos funcionais em D. melanogaster resultaram na identificação de módulos cis-reguladores (MCRs) na região promotora do gene BhC4-1. O MCR de glândula anelar de 67 bp (-253/-187), promove a expressão de BhC4-1-lacZ na glândula anelar a partir do final do desenvolvimento embrionário. O MCR de glândula salivar de 129 bp (-186/-58), dirige a expressão do transgene nas glândulas salivares de prépupas. A glândula anelar é o principal órgão endócrino larval e em D. melanogaster é o resultado da fusão das glândulas protorácicas (responsáveis pela síntese de hormônios esteroides), corpus allatum (síntese de hormônio juvenil) e corpus cardiacum (glândula neuroendócrina). Neste trabalho foram obtidas 12 linhagens independentes transformadas com uma construção que contém o fragmento (-253/+40) do promotor do gene de pufe de DNA BhC4-1 clonado à montante do gene repórter GFP. O genótipo destas linhagens foi validado utilizando-se Southern blots. Inicialmente as 12 linhagens obtidas foram analisadas quanto ao padrão de expressão de GFP em larvas de terceiro estadio e em prépupas 2 horas. Em conjunto, esta análise revelou que o padrão de expressão de GFP é bastante variável nestas linhagens. A análise do padrão de expressão da proteína repórter foi estendida em duas linhagens representativas da série (- 253/+40)/GFP. Nestas linhagens a expressão de GFP é inicialmente detectada na glândula salivar durante o estágio de prépupa e na glândula anelar a partir do terceiro estadio larval. Diferentemente do anteriormente observado em linhagens (-253/+40)/lacZ, nestas linhagens não detectamos a expressão de GFP em tempos do desenvolvimento anteriores ao terceiro estadio larval. Experimentos de interação gênica revelaram que na ausência do fator de transcrição br, a expressão de GFP é mantida na glândula anelar e abolida na glândula salivar de larvas de terceiro estadio. Os resultados dos experimentos de interação gênica corroboram dados anteriores que indicavam que o conjunto de fatores de transcrição que regulam a expressão de BhC4-1-lacZ na glândula anelar é distinto daquele que promove a expressão do gene na glândula salivar. As linhagens obtidas neste trabalho constituem uma ferramenta a ser utilizada na caracterização de fatores de transcrição tecido-específicos que regulam o gene BhC4-1 na glândula anelar e/ou na glândula salivar a partir do final do desenvolvimento larval. / Our laboratory investigates the molecular mechanisms that promote the establishment of developmentally regulated gene expression patterns in metazoans. As a model, we employ the BhC4-1 DNA puff gene, which is amplified and expressed in a regulated manner in the salivary gland and in the prothoracic gland at the end of the fourth larval instar in B. hygida. Functional studies in D. melanogaster resulted in the identification of cis-regulatory modules (CRMs) in the BhC4-1 promoter region. The 67 bp (-253/-187) ring gland CRM drives BhC4-1-lacZ expression in the ring gland from late embryonic development. The 129 bp (-186/-58) CRM salivary gland drives transgene expression in the prepupal salivary glands. The ring gland is the major endocrine organ, and comprises the prothoracic glands (synthesis of ecdysteroid hormones), corpus allatum (synthesis of juvenile hormone) and corpus cardiacum (neuroendocrine gland). In this work, 12 independent lines transformed with a construct containing the BhC4-1 promoter fragment (- 253/+40) cloned upstream of the reporter gene GFP were obtained. The genotype of each line was validated using Southern blots. Initially, the 12 obtained lines were analyzed to investigate the pattern of GFP expression in the third instar larvae and in the 2 hours prepupae. This initial screening revealed that the pattern of GFP expression is highly variable in these lines. The developmental pattern of GFP expression was extended in two representative (- 253/+40)/GFP lines. In these lines, GFP expression is initially detected in the larval and prepupal salivary glands and in ring gland third instar. Differently from previously observed in (-253/+40)/lacZ lines, in these lines we did not detect GFP expression at developmental times prior to the third larval instar. Gene interaction experiments revealed that in the absence of the br transcription factor, GFP expression is maintained in the ring gland and abolished in the salivary gland of third instar larvae. The results of gene interaction experiments corroborate previous data indicating the set of transcription factors that regulate BhC4-1-lacZ expression in the ring gland is distinct from that which promotes gene expression in salivary glands. The lines obtained in this work constitute a tool to characterize the tissue-specific transcription factors that regulate BhC4-1 gene in the ring gland and/or in the salivary gland from the end of the larval development.
487

Uma contribuição à modelagem e geração automática de conteúdos educacionais / A contribution to modeling and automatic generation of educational content

Vanessa Araujo Borges 05 May 2010 (has links)
Ambientes e sistemas de apoio ao ensino e aprendizado estão sendo adotados como mecanismos facilitadores no processo de ensino e aprendizado. No entanto, uma limitação comum à maioria desses ambientes está relacionada ao fato de concentrarem-se apenas na criação da estrutura, armazenamento e controle de acesso ao material didático, sem oferecer qualquer tipo de suporte à atividade de modelagem do conteúdo. Nesse contexto, em trabalhos anteriores foi proposta a abordagem AIM-CID - uma abordagem integrada para modelagem de conteúdos educacionais. Dando continuidade às pesquisas já realizadas, este trabalho aborda o estudo de mecanismos de apoio à modelagem de conteúdos educacionais, propondo extensões às etapas de modelagem conceitual e instrucional da abordagem AIM-CID. A ideia é incorporar à abordagem aspectos relacionados ao reuso e compartilhamento de conteúdos educacionais. Além disso, também foi considerado no escopo deste trabalho o projeto e o desenvolvimento da AIM-Tool - uma ferramenta Web, de apoio à modelagem e geração automática de conteúdos educacionais, com ênfase na construção distribuída dos modelos estendidos da abordagem AIM-CID. A ferramenta fornece mecanismos para a geração automática dos conteúdos modelados em diferentes formatos, além de tratar aspectos relacionados ao compartilhamento do material gerado, por meio da adoção do padrão LOM / Learning environments and systems has been investigated in order to facilitate the learning processes in general. However, one common limitation of most of these environments is related to the fact that they focus only on the creation of the structure, storage and learning material access control, with no support to the content modeling activity in the educational process. In this regard, in a previous work we proposed the IMA-CID - an integrated approach for modeling educational content. Motivated by this scenario, in this work we investigate supporting mechanisms for educational content modeling, proposing extensions to the conceptual model and instructional model of the IMA-CID approach. The idea is to incorporate aspects of sharing and reuse for educational content creation. Moreover, we have also considered the development of IMA-Tool - aWeb tool that supports the modeling and automatic generation of educational content, emphasizing the distributed construction of the extended models of the IMA-CID approach. This tool provides mechanisms for the automatic generation in various formats, besides considering aspects related to content sharing through the adoption of the LOM pattern
488

Análise do comportamento de uma associação em série de diferentes módulos fotovoltaicos em um sistema conectado à rede

Ospina Hincapie, Camilo January 2015 (has links)
O objetivo principal deste trabalho é avaliar a efetividade da previsão de geração de energia elétrica realizada por meio de simulação de um sistema fotovoltaico integrado por módulos de diferentes características, dispostos em série e conectados à rede de distribuição, sem inversor. Para isto foi utilizado o programa Crearray, desenvolvido no Laboratório de Energia Solar da UFRGS, que permite determinar o ponto de polarização do arranjo e comparar com dados medidos experimentalmente. Foi montado um arranjo fotovoltaico integrado com módulos de diferentes características conectados à rede de distribuição por meio de um inversor. A curva característica de cada um dos módulos foi determinada por ensaio em um simulador. Os dados da curva permitiram determinar os parâmetros dos modelos utilizados no programa Crearray. Para avaliar o funcionamento do programa os dados de tensão em corrente contínua foram inseridos no software e as respectivas correntes foram calculadas. Os valores de corrente calculados e os valores medidos mostraram a eficiência do programa em calcular a curva característica para diferentes condições de irradiância e de temperatura. Utilizando o mesmo programa encontrou-se o ponto de polarização do arranjo ao longo do tempo para o ponto de máxima potência e, desta forma, também a corrente e a potência máxima do lado de corrente contínua do sistema. Na comparação desta potência máxima teórica com a potência efetivamente medida no lado de corrente contínua do sistema, pôde-se constatar que nem sempre o inversor consegue determinar a tensão exata para estabelecer a potência máxima. Na comparação dos dados medidos e simulados observa-se concordância. Da comparação dos valores em horários sem interferência de sombras, foi obtida uma medição da eficiência do seguidor de máxima potência do inversor, em modo dinâmico. Observando os dados adquiridos também foi estimada a eficiência dinâmica de conversão do inversor para um dia. / The main objective of this dissertation is to confirm the forecast of electricity production through the simulation of a photovoltaic system. Such system is composed by modules with different characteristics, arranged in series and connected to the distribution network. The simulation was performed with the help of Crearray, a computer program developed at the Solar Energy Laboratory of UFRGS, which determines the bias point of the array and compares it with experimentally measured data. A photovoltaic array, constituted by modules with different characteristics, was assembled and connected to the distribution network through an inverter. The characteristic curve of each module was previously determined in a solar simulator test. The curve data was used to evaluate the parameters of the curve models used by Crearray software. To verify the correct operation of the program, the DC voltage data was entered to the software and the related current was calculated. The comparison between calculated and measured current values showed the Crearray ability to calculate the characteristic curve for different conditions of irradiance and temperature. Furthermore, the program was used to calculate the maximum power point of the array along the time and thus the delivered DC power. Comparing this theoretical maximum power with the power actually measured at the DC side of the system, it was verified that the inverter sometimes was not able to determine the correct bias voltage to extract the maximum power. Comparison of measured and simulated data showed an excellent concordance, except for certain times when there was shading on the reference cell. Comparing the values over periods without the interference of shadows, it was possible to estimate the MPPT efficiency of the inverter under dynamic mode. Analyzing the acquired data was also possible to estimate the inverter dynamic conversion efficiency for a day.
489

A aljava de módulos inclinantes

Santiago, Danilo de Rezende 03 February 2017 (has links)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This dissertation aims to study the quiver of r-tilting modules over an algebra of Artin A to obtain information about the Hasse diagram of the partially ordered set ( A; ) of r-tilting modules, as done in [8], and on certain vertices and paths, as found in [9]. For this, we start by studying the inclination theory where we look generalizations of the de nition of tilting modules and some important theorems, given by Miyashita in [15]. Done that, following Riedtmann and Scho eld in [14], we will de ne a quiver of r-tilting modules ~KA and a partially ordered set ( A; ), where we will verify that the underlying graph KA of ~KA is the Hasse diagram of ( A; ). Finally, we will study the local structure of ~KA, according [9]. Keywords: / Esta dissertação tem por objetivo o estudo da aljava de módulos r-inclinantes sobre uma álgebra de Artin A para se obter informações sobre o diagrama de Hasse do conjunto parcialmente ordenado de módulos r-inclinantes como feito em [8], e sobre determinados vértices e caminhos, como encontrado em [9]. Para isso, começamos estudando a teoria de inclinação onde buscamos generalizações da definição de módulos inclinantes e de alguns teoremas importantes, dadas por Miyashita em [15]. Feito isso, seguindo Riedtmann e Schofield em [14], definiremos uma aljava de médulos r-inclinantes ~KA e um conjunto parcialmente ordenado ( A; ), onde verificaremos que o grafo subjacente KA de ~KA e o diagrama de Hasse de ( A; ). Por fim, faremos um estudo da estrutura local de ~KA, de acordo com [9].
490

O Lema do Diamante de Bergman e aplicações / The Lemma of Bergman's Diamond and applications

Solís, Victor Hugo López 19 March 2012 (has links)
Submitted by Erika Demachki (erikademachki@gmail.com) on 2015-03-11T19:37:56Z No. of bitstreams: 2 Dissertação - Victor Hugo López Solís - 2012.pdf: 755677 bytes, checksum: ab64efbb1cbb6b6d5b9683cad6f75d6e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Erika Demachki (erikademachki@gmail.com) on 2015-03-13T18:58:33Z (GMT) No. of bitstreams: 2 Dissertação - Victor Hugo López Solís - 2012.pdf: 755677 bytes, checksum: ab64efbb1cbb6b6d5b9683cad6f75d6e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-03-13T18:58:59Z (GMT). No. of bitstreams: 2 Dissertação - Victor Hugo López Solís - 2012.pdf: 755677 bytes, checksum: ab64efbb1cbb6b6d5b9683cad6f75d6e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2012-03-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Our work has as main objective, to establish conditions for a canonical form for elements of a ring, semigroup or algebraic structure similar. This result is obtained through the main Theorem 3.10 (The Lemma of Bergman’s Diamond) with applications. / O nosso trabalho tem como objetivo principal, estabelecer condições para obter uma forma canônica para os elementos de um anel, semigrupo ou estrutura algébrica similar. Isto é obtido através do resultado principal, o Teorema 3.10 (O Lema do Diamante de Bergman), com aplicações.

Page generated in 0.0667 seconds