Academic literature on the topic 'Homomorfismos'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Homomorfismos.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Homomorfismos"
1
Espinoza, Jesús, and Bernardo Uribe. "Topological properties of spaces of projective unitary representations." Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales 40, no. 155 (July 3, 2016): 337. http://dx.doi.org/10.18257/raccefyn.317.
Full textAbstract:
<div data-canvas-width="10.602647058244418">Sea G un grupo de Lie compacto y conexo y PU(H) el grupo de operadores proyectivos e unitarios en un espacio de Hilbert separable e infinito dimensional H, provisto de la topología fuerte de operadores. Estudiamos el espacio homst(G,PU(H)) de homomorfismos continuos desde G a PU (H) que son estables, es decir homomorfismos cuyas representaciones inducidas contienen cada representación irreducible un número infinito de veces. Demostramos que las componentes conexas del espacio homst(G,PU(H)) están parametrizadas por las clases de isomorfía de extensiones centrales de</div><div>G por el grupo S1, y que cada componente conexa tiene por grupo fundamental al grupo hom(G,S1) y sus grupos de homotopía superiores son triviales. Estudiamos la aplicación conjugación PU(H)→homst(G,PU(H)),F→FαF−1 , demostramos que no tiene secciones locales y demostramos que para cualquier aplicación continua B→homst(G,PU(H)) con B paracompacto de dimensión paracompacta finita, los levantamientos locales a PU (H) sí existen. © Acad. Colomb. Cienc. Ex. Fis. Nat. 2016.</div>
2
Aprilisa, Meza, Nova Noliza Bakar, and Yanita Yanita. "SIFAT-SIFAT K-ALJABAR." Jurnal Matematika UNAND 8, no. 2 (July 15, 2019): 93. http://dx.doi.org/10.25077/jmu.8.2.93-100.2019.
Full textAbstract:
Pada struktur aljabar, yang biasa dikenal adalah grup dan ring. Selain grup dan ring, juga terdapat struktur aljabar yang disebut K-aljabar. K-Aljabar merupakan suatu struktur aljabar yang diperkenalkan oleh K.H. Dar dan M.Akram pada tahun 2006. Dari suatu K-Aljabar, dapat dibentuk satu atau lebih himpunan bagian yang juga memiliki sifat K-Aljabar terhadap operasi biner yang sama yang kemudian himpunan bagian tersebut dapat dinamakan K-Subaljabar. Sebagaimana halnya pada grup yang terdapat konsep homomorfisma grup, pada K-Aljabar juga terdapat konsep homomorfisma yang dinamakan K-Homomorfisma. Pada tulisan ini dibahas mengenai sifat-sifat yang terkait dengan K-Aljabar, K-Subaljabar dan K-Homomorfisma.Kata Kunci: K-Aljabar, K-Subaljabar, K-Homomorfisma, grup, subgrup, homomorfisma
3
Windy, Putri May, I. Made Arnawa, and Yanita Yanita. "Semidirect Products." Jurnal Matematika UNAND 8, no. 1 (July 5, 2019): 255. http://dx.doi.org/10.25077/jmu.8.1.255-259.2019.
Full textAbstract:
Misalkan G adalah grup perkalian, dan X adalah grup Abelian terhadap operasi penjumlahan. Misalkan µ : G → Aut(X) adalah homomorfisma grup. ”Semidirect products” dari X dan G relatif ke µ didefinisikan sebagai X oµ G = {(x, a) | x ∈ X, a ∈ G}, dengan operasi (x1, a1)(x2, a2) = (x1 +µ(a1)[x2], a1a2), untuk x1, x2 ∈ X dan a1, a2 ∈ G. Tulisan ini membahas bagaimana hubungan semidirect products dengan homomorfisma grup dan sifat-sifat semidirect products.Kata Kunci: Grup, Subgrup, Subgrup Normal, Homomorfisma, Isomorfisma, Semidirect Products
4
Azura, Raisa, Nova Noliza Bakar, and Monika Rianti Helmi. "Q-ALJABAR." Jurnal Matematika UNAND 8, no. 4 (December 13, 2019): 23. http://dx.doi.org/10.25077/jmu.8.4.23-30.2019.
Full textAbstract:
Pada tahun 2001 diperkenalkan suatu gagasan baru dalam struktur aljabar yang disebut sebagai Q-aljabar. Q-aljabar ini dibangun dari suatu himpunan tak kosong X dengan menggunakan suatu operasi biner ∗ dan memuat konstanta 0 yang memenuhi aksioma-aksioma tertentu. Pada tulisan ini dikaji sifat-sifat yang terkait dengan Q-aljabar, diantaranya grup, bagian-G, p-radical, p-semisimple, ideal, dan juga homomorfisma pada Q-aljabar. Dalam konsep homomorfisma pada Q-aljabar juga terdapat konsep kernel.Kata kunci : Q-Aljabar, grup, bagian-G, p-radical, p-semisimple, ideal, homomorfisma, kernel, image.
5
Abdurrahman, Saman. "Image (Pre-image) Homomorfisme Interior Subgrup Fuzzy." Jurnal Fourier 8, no. 1 (April 30, 2019): 15–18. http://dx.doi.org/10.14421/fourier.2019.81.15-18.
Full textAbstract:
Dalam makalah ini, akan diperkenalkan notasi image (pre-image) di bawah homomorfisma grup, dan akan dibuktikan image (pre-image) interior subgrup fuzzy (interior subgrup) di bawah homomorfisma grup selalu interior subgrup fuzzy (interior subgrup).
[In this paper, we will introduce the image (pre-image) under the group homomorphism, and we will prove the image (pre-image) of the interior of the fuzzy subgroup (the interior of the subgroup) under the group homomorphism is always the interior of the fuzzy subgroup (the interior of the subgroup).]
6
Pratama, Dian. "STRUKTUR IMAGE DAN PRE-IMAGE HOMOMORFISMA PADA TRANSLASI RING FUZZY INTUITIONISTIK." Jurnal Ilmiah Matematika dan Pendidikan Matematika 11, no. 1 (May 18, 2020): 59. http://dx.doi.org/10.20884/1.jmp.2020.12.1.1937.
Full textAbstract:
A set that is characterized by membership function and a non-membership function with the sum of both at intervals of 0 to 1 is called intuitionistik fuzzy set.. When it’s applied in ring’s theory, it will called intuitionistic fuzzy ring. In this research,if the topics is membership fuction and non-membership function then there are translates operator. This operator only changes the values of the membership and non-membership function while the properties are fixed. This journal discussed the structure of image ad pre-image homomorphism of translates on intuitionistic fuzzy rings. The result obtained that the structure of image and pre-image is also intuitionistic fuzzy rings.
Full Article
7
Patty, Henry W. "HASIL KALI LANGSUNG S-NEAR-RING DAN S-NEAR-RING BEBAS." BAREKENG: Jurnal Ilmu Matematika dan Terapan 8, no. 2 (December 1, 2014): 1–7. http://dx.doi.org/10.30598/barekengvol8iss2pp1-7.
Full textAbstract:
Hasil kali langsung near-ring Smarandache i I X Ni dikembangkan dari hasil kali langsung near-ring dengan kondisi khusus jika paling sedikit terdapat satu anggota dari 𝑁𝑖 merupakan near ring Smarandache (S-near-ring). Sedangkan near-ring Smarandache bebas didefinisikan dengan bantuan homomorfisma near-ring Smarandache.
8
Afifa, Khusnul, and Abdussakir Abdussakir. "Keterkaitan Antara Modul Bebas Dengan Modul Dilihat Dari Sifat-Sifat Homomorfisme Modul." CAUCHY 3, no. 3 (November 15, 2014): 152. http://dx.doi.org/10.18860/ca.v3i3.2941.
Full textAbstract:
Dalam artikel ini akan dibahas tentang cara untuk mengetahui suatu R-modul adalah modul bebas atau bukan dengan memanfaatkan suatu modul bebas sebagai R-modul melalui media homomorfisma modul. Penelitian ini menggunakan metode kajian kepustakaan (library research), yaitu melakukan penelitian untuk memperoleh data-data dan informasi serta objek yang digunakan dalam pembahasan masalah tersebut. Berdasarkan pembahasan dapat diperoleh bahwa suatu R-modul merupakan modul bebas jika R-modul tersebut isomorfik dengan suatu modul bebas sebagai R-modul. Artinya, suatu R-modul merupakan modul bebas jika terdapat suatu isomorfisma dari R-modul tersebut ke suatu modul bebas yang juga merupakan suatu R-modul. Lebih jauh lagi, jika suatu R-modul adalah modul bebas, maka R-modul tersebut isomorfik dengan R^n, dimana n adalah kardinalitas dari basis bagi R-modul tersebut.
9
Patty, Henry W. M., Elvinus R. Persulessy, and RUDY W. Matakupan. "KARAKTERISASI ELEMEN IDEMPOTEN CENTRAL." BAREKENG: Jurnal Ilmu Matematika dan Terapan 5, no. 1 (March 5, 2011): 33–39. http://dx.doi.org/10.30598/barekengvol5iss1pp33-39.
Full textAbstract:
Elemen idempoten e dalam suatu ring R dengan elemen satuan disebut idempotent central jika untuk sebarang rR berlaku er re . Selanjutnya dibentuk ring eRe yang merupakan subring dengan elemen satuan e. Dimotivasi dari struktur ring eRe akan diselidiki sifat-sifat dalam ring dan modul diantaranya, indecomposable, homomorfisma dan radikal Jacobson,dalam kaitannya dengan elemen idempotent central. Dalam tulisan ini akan dipelajari karakterisasi
10
Luisa Hura, Orien, Yanita Yanita, and Nova Noliza Bakar. "Teorema Pembagian Pada Ring Polinomial R[X]." Jurnal Matematika UNAND 8, no. 1 (July 5, 2019): 249. http://dx.doi.org/10.25077/jmu.8.1.249-254.2019.
Full textAbstract:
Teorema pembagian terdapat pada himpunan bilangan bulat Z dan dapat diperluas pada ring polinomial R[X]. Dengan R yang suatu ring komutatif, R[X] = {anXn+an−1Xn−1+· · ·+a1X+a0 | ai ∈ R, n adalah bilangan bulat non-negatif } merupakan himpunan yang memuat semua polinomial atas R dalam variabel tak tentu X. Pada penelitian ini dikaji Teorema pembagian pada ring polinomial R[X] dan bagaimana suatu polinomial pada ring polinomial R[X] terevaluasi di r ∈ R.Kata kunci : ring, polinomial, ring polinomial R[X], evaluasi, homomorfisma.
Dissertations / Theses on the topic "Homomorfismos"
1
Sato, Cristiane Maria. "Homomorfismos de grafos." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-07082008-105246/.
Full textAbstract:
Homomorfismos de grafos são funções do conjunto de vértices de um grafo no conjunto de vértices de outro grafo que preservam adjacências. O estudo de homomorfismos de grafos é bastante abrangente, existindo muitas linhas de pesquisa sobre esse tópico. Nesta dissertação, apresentaremos resultados sobre homomorfismos de grafos relacionados a pseudo-aleatoriedade, convergência de seqüência de grafos e matrizes de conexão de invariantes de grafos. Esta linha tem se mostrado muito rica, não apenas pelos seus resultados, como também pelas técnicas utilizadas nas demonstrações. Em especial, destacamos a diversidade das ferramentas matemáticas que são usadas, que incluem resultados clássicos de álgebra, probabilidade e análise.Graph homomorphisms are functions from the vertex set of a graph to the vertex set of another graph that preserve adjacencies. The study of graph homomorphisms is very broad, and there are several lines of research about this topic. In this dissertation, we present results about graph homomorphisms related to convergence of graph sequences and connection matrices of graph parameters. This line of research has been proved to be very rich, not only for its results, but also for the proof techniques. In particular, we highlight the diversity of mathematical tools used, including classical results from Algebra, Probability and Analysis.
2
Guimarães, Bruno Formiga. "Extensões de Homomorfismos de Subgrupos a Endomorfismos do Grupo." Universidade Federal da Paraíba, 2010. http://tede.biblioteca.ufpb.br:8080/handle/tede/7463.
Full textAbstract:
Made available in DSpace on 2015-05-15T11:46:25Z (GMT). No. of bitstreams: 1
arquivototal.pdf: 450936 bytes, checksum: 7e53189000f5416171ee58a4623b8aa6 (MD5)
Previous issue date: 2010-02-09Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
Bertholf and Walls provided a characterization for the class of groups quasi-injective finite. Furthermore, Juriaans, Bastos Azevedo and give a rating for the injective type groups, which are a distinct class of the former despite being quite close.
Bertholf e Walls forneceram uma caracterização para a classe de grupos quasi-injetivos finitos. Além disso, Juriaans, Bastos e Azevedo dão uma classificação para os grupos do tipo injetivo, os quais são uma classe distinta da anterior apesar de serem bastante próximas.
3
Roggia, Karina Girardi. "Categoria de grafos parciais com homomorfismos totais teoria e aplicações." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2005. http://hdl.handle.net/10183/5616.
Full textAbstract:
O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.
4
Benedito, Cintya Wink de Oliveira [UNESP]. "Famílias de reticulados algébricos e reticulados ideais." Universidade Estadual Paulista (UNESP), 2010. http://hdl.handle.net/11449/94238.
Full textAbstract:
Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0
Previous issue date: 2010-02-26Bitstream added on 2014-06-13T19:26:01Z : No. of bitstreams: 1
benedito_cwo_me_sjrp.pdf: 1004485 bytes, checksum: fd9cc4cec014a6fbfc619f640e7f98b5 (MD5)Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Neste trabalho é feito um estudo sobre famílias de reticulados algébricos e reticulados ideais. Nosso principal objetivo é a construção de reticulados que são versões rotacioanadas de reticulados já conhecidos na literatura. Deste modo, apresentamos construções obtidas via polinômios, via perturbações do homomorfismo canônico e, também, construções ciclotômicas a partir fo reticulado Zn.
This work presents a study of algebraic and families of ideal lattices. Our main goal is the construction of lattices which are rotated versions of known lattices in the literature. In this way, we present constructions obtained via polynomials, via pertubations of the canonical homomorphism, and also cyclotomic construction from the lattice Zn.
5
Romero, Orth Miguel. "Aproximaciones eficientes de consultas conjuntivas." Tesis, Universidad de Chile, 2012. http://repositorio.uchile.cl/handle/2250/110949.
Full textAbstract:
Cuando encontrar la respuesta exacta a una consulta sobre una base de datos muy grande es intratable, es natural aproximar la consulta por otra más eficiente que pertenezca a una clase con buenas cotas en la complejidad de evaluación de consultas. En esta tesis estudiamos tales aproximaciones para consultas conjuntivas. Estas consultas son de especial interés en base de datos, y además sabemos muy bien qué clases de consultas admiten una evaluación eficiente, como las consultas acíclicas, o las de (hyper)treewidth acotado.
Definimos una aproximación a una consulta Q como una consulta de una de esas clases que discrepa con Q lo menos posible. Nos concentramos en aproximaciones que siempre entregan respuestas correctas. Probamos que para las clases tratables de consultas conjuntivas mencionadas anteriormente, siempre existen aproximaciones y sus tamaños son a lo más polinomiales en el tamaño de la consulta original. Esto se sigue de resultados generales obtenidos que relacionan propiedades de clausura de clases de consultas conjuntivas con la existencia
de aproximaciones. Además, probamos que en muchos casos el tamaño de la aproximación es a lo más el tamaño de la consulta original. Presentamos una serie de resultados sobre cómo ciertas propiedades combinatoriales de las consultas afectan a sus aproximaciones y estudiamos cotas en la cantidad de aproximaciones, al igual que la complejidad de encontrar e identificar aproximaciones. Finalmente, consideramos aproximaciones que entregan todas
las respuestas correctas y estudiamos sus propiedades.
6
Garcia, Tosti Naísa Camila. "Corpos abelianos reais e forma quadrática /." São José do Rio Preto, 2017. http://hdl.handle.net/11449/148875.
Full textAbstract:
Orientador: Trajano Pires da Nóbrega NetoBanca: Antonio Aparecido de Andrade
Banca: Jos'e Valter Lopes Nunes
Resumo: O propósito deste trabalho é estudar alguns corpos abelianos, mais especificamente, as extensões reais maximais contidas nos corpos ciclotômicos de grau 8 e, os subcorpos dos corpos ciclotômicos Q(ζ_7) e Q(ζ_17). Em tais corpos, determinamos base integral, discriminante, grupo de Galois e construimos submódulos de posto máximo do anel dos inteiros algébricos com sua respectiva representação geométrica. Além disso, calculamos a densidade de centro destes reticulados
Abstract: The purpose of this work is to investigate some Abelian Number Fields, especifically the maximal extension contained in the cyclotomic fields of degree 8, and the subfields of the cyclotomic fields Q(ζ7) and Q(ζ17). In such fields, we compute: integral bases, discriminant, Galois group and submoduli with maximal rank in the ring of algebraic integers, its geometrical realization with the respective center density
Mestre
7
Isokääntä, H. (Henna). "Tekijäryhmät ja homomorfismit." Bachelor's thesis, University of Oulu, 2019. http://jultika.oulu.fi/Record/nbnfioulu-201905071610.
Full text
8
Silva, Junior Danton Pereira da. "Aplicações das bases de Groebner." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1999. http://hdl.handle.net/10183/127103.
Full textAbstract:
Neste trabalho estudamos os homomorfismos entre anéis de polinômios do ponto de vista da teoria de bases de Groebner. Em particular, determinamos o núcleo de um tal homomorfismo e desenvolvemos um método para determinar quando este é sobrejetivo. Estes resultados são então generalizados para anéis quocientes. O estudo de tais homomorfismos nos permite determinar os polinômos minimais de elementos em extensões de corpos, bem como encontrar soluções para um problema de programação inteira.In this work we study the homomorphisms between polynomial rings as an application of the Groebner basis theory. In particular, we determine generators for the kemel of such a homomorphism and we give a method to determine whether it is onto. We then generalize these results to the case of quocient rings. The study of these homomorphisms allows us to determine mini mal polynomials of elements in field extensions, as well as to find solutions to an integer programming problem.
9
Benedito, Cintya Wink de Oliveira. "Famílias de reticulados algébricos e reticulados ideais /." São José do Rio Preto : [s.n.], 2010. http://hdl.handle.net/11449/94238.
Full textAbstract:
Orientador: Antonio Aparecido de AndradeBanca: Edson Donizete de Carvalho
Banca: Jéfferson Luiz Rocha Bastos
Resumo: Neste trabalho é feito um estudo sobre famílias de reticulados algébricos e reticulados ideais. Nosso principal objetivo é a construção de reticulados que são versões rotacioanadas de reticulados já conhecidos na literatura. Deste modo, apresentamos construções obtidas via polinômios, via perturbações do homomorfismo canônico e, também, construções ciclotômicas a partir fo reticulado Zn.
Abstract: This work presents a study of algebraic and families of ideal lattices. Our main goal is the construction of lattices which are rotated versions of known lattices in the literature. In this way, we present constructions obtained via polynomials, via pertubations of the canonical homomorphism, and also cyclotomic construction from the lattice Zn.
Mestre
10
Delboni, Bruno de Assis. "Unificação assimétrica módulo operadores nilpotentes com homomorfismo." reponame:Repositório Institucional da UnB, 2017. http://repositorio.unb.br/handle/10482/24161.
Full textAbstract:
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2017.Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2017-06-20T21:15:09Z No. of bitstreams: 1 2017_BrunodeAssisDelboni.pdf: 1000608 bytes, checksum: 0c7c86de2221eca903edd2ffda11ee2c (MD5)
Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2017-08-17T15:39:39Z (GMT) No. of bitstreams: 1 2017_BrunodeAssisDelboni.pdf: 1000608 bytes, checksum: 0c7c86de2221eca903edd2ffda11ee2c (MD5)
Made available in DSpace on 2017-08-17T15:39:39Z (GMT). No. of bitstreams: 1 2017_BrunodeAssisDelboni.pdf: 1000608 bytes, checksum: 0c7c86de2221eca903edd2ffda11ee2c (MD5) Previous issue date: 2017-08-17
Esta dissertação tem como foco o estudo do problema de unificação módulo uma teoria equacional cuja assinatura contém um operador binário que satisfaz as identidades Associatividade, Comutatividade, Unidade e Nilpotência (ACUN), e que pode ou não conter um operador unário que satisfaz a identidade de homomorfismo (ACUNh), que é a teoria equacional do operador , amplamente utilizado em diversas ferramentas criptográficas, como MAUDE-NPA[10] que utiliza uma encriptação de grupos abelianos, incluindo ( ou exclusivo ), exponenciação e encriptação homomórfica. Primeiro apresentaremos alguns critérios para existência de soluções para problemas de ACUN(h)-unificação elementar com constantes que consiste em associar o problema de unificação à um sistema de equações lineares cujos coeficientes são elementos de ou , dependendo se o homomorfismo é ou não considerado. Segundo, apresentaremos um algoritmo para resolver problemas de ACUN(h)- unificação geral que retorna sempre um conjunto completo de unificadores. Finalmente, apresentaremos o estudo de um novo paradigma de unificação, a dizer, \emph{unificação assimétrica}, que consiste de obter unificadores de um problema de unificação com a propriedade de preservar formas normais do lado direito de cada equação de com relação a um sistema de reescrita convergente e coerente módulo uma teoria equacional . No caso particular da teoria equacional ACUN construiremos um algoritmo de conversão de ACUN-unificadores para ACUN-unificadores assimétricos.
This dissertation focuses on the study of unification problems modulo an equational theory whose signature contains a binary operator , which satisfies the identities of Associativity, Commutativity, Unity and Nilpotence (ACUN), and which may or not contain a unary operator satisfying the homomorphism identity (ACUNh), which is the equational theory for the operator XOR, Widely used on many cryptographic tools, like MAUDE[10], which uses group encryption, including XOR ( exclusive or ), exponentiation and homomorphic encryption. First we will present some criteria to the existence of solutions for elementary with constants ACUN(h)-unification problems which consist of associating a unification problem to a linear equation system whose coefficients are elements of or , depending one we are considering homomorphism or not. Second, we will present an algorithm to solve general ACUNh-unification problems which always returns a complete set of most general unifiers. Finally, we will present the study of a new unification paradigm, to say so, asymmetric unification, which consist of obtaining unifiers from the unification problem , with the property of preserving the normal form from of the right hand side of each equation in , considering a convergent and coherent rewriting system. In the particular case of the equational theory ACUN, we will also present an algorithm which takes as input ACUN-unifiers and outputs ACUN-asymmetric unifiers.
Book chapters on the topic "Homomorfismos"
1
"Homomorfismos." In Álgebra lineal, 55–84. Editorial Universidad del Norte, 2017. http://dx.doi.org/10.2307/j.ctvdf0kq2.6.
Full text
2
"HOMOMORFISMOS DE ANILLOS." In Anillos y Cuerpos, 31–44. Editorial Universidad del Norte, 2019. http://dx.doi.org/10.2307/j.ctvh9w1bv.5.
Full text
3
"ISOMORFISMOS Y HOMOMORFISMOS LINEALES." In De los grupos abelianos al álgebra lineal abstracta, 311–50. Universidad Pedagógica Nacional, 2018. http://dx.doi.org/10.2307/j.ctvt9k277.15.
Full text