Isomorphisms in EQ-Algebras

In this paper we investigate some isomorphism theorems in EQ-algebras. After establishing some basic results we give the Fundamental Homomorphism Theorem and by using it we state and prove some other isomorphism theorems. We also state and prove a correspondence theorem. Next, using some results of...

Full description

Bibliographic Details
Main Authors: Bakhshi M., Khavari M.R., Nazifi M.
Format: Article
Language:English
Published: University of Zielona Góra 2020-12-01
Series:Discussiones Mathematicae - General Algebra and Applications
Subjects:
Online Access:https://doi.org/10.7151/dmgaa.1334
_version_ 1827842664920252416
author Bakhshi M.
Khavari M.R.
Nazifi M.
author_facet Bakhshi M.
Khavari M.R.
Nazifi M.
author_sort Bakhshi M.
collection DOAJ
description In this paper we investigate some isomorphism theorems in EQ-algebras. After establishing some basic results we give the Fundamental Homomorphism Theorem and by using it we state and prove some other isomorphism theorems. We also state and prove a correspondence theorem. Next, using some results of the theory of universal algebra we characterize subdirectly irreducible EQ-algebras.
first_indexed 2024-03-12T08:12:57Z
format Article
id doaj.art-81f1e1c5e7d947e3b0f7fb3b03897c58
institution Directory Open Access Journal
issn 2084-0373
language English
last_indexed 2024-03-12T08:12:57Z
publishDate 2020-12-01
publisher University of Zielona Góra
record_format Article
series Discussiones Mathematicae - General Algebra and Applications
spelling doaj.art-81f1e1c5e7d947e3b0f7fb3b03897c582023-09-02T19:04:35ZengUniversity of Zielona GóraDiscussiones Mathematicae - General Algebra and Applications2084-03732020-12-0140226727410.7151/dmgaa.1334dmgaa.1334Isomorphisms in EQ-AlgebrasBakhshi M.0Khavari M.R.1Nazifi M.2University of Bojnord, Department of Mathematics, Bojnord, IranUniversity of Bojnord, Department of Mathematics, Bojnord, IranUniversity of Bojnord, Department of Mathematics, Bojnord, IranIn this paper we investigate some isomorphism theorems in EQ-algebras. After establishing some basic results we give the Fundamental Homomorphism Theorem and by using it we state and prove some other isomorphism theorems. We also state and prove a correspondence theorem. Next, using some results of the theory of universal algebra we characterize subdirectly irreducible EQ-algebras.https://doi.org/10.7151/dmgaa.1334many-valued logicsfuzzy type theoryeq-algebrahomomorphism theorems03b1508a72
spellingShingle Bakhshi M.
Khavari M.R.
Nazifi M.
Isomorphisms in EQ-Algebras
Discussiones Mathematicae - General Algebra and Applications
many-valued logics
fuzzy type theory
eq-algebra
homomorphism theorems
03b15
08a72
title Isomorphisms in EQ-Algebras
title_full Isomorphisms in EQ-Algebras
title_fullStr Isomorphisms in EQ-Algebras
title_full_unstemmed Isomorphisms in EQ-Algebras
title_short Isomorphisms in EQ-Algebras
title_sort isomorphisms in eq algebras
topic many-valued logics
fuzzy type theory
eq-algebra
homomorphism theorems
03b15
08a72
url https://doi.org/10.7151/dmgaa.1334
work_keys_str_mv AT bakhshim isomorphismsineqalgebras
AT khavarimr isomorphismsineqalgebras
AT nazifim isomorphismsineqalgebras