On ideal theory of hoops

Mona Aaly Kologani; Rajab Ali Borzooei

Mathematica Bohemica (2020)

  • Volume: 145, Issue: 2, page 141-162
  • ISSN: 0862-7959

Abstract

top
In this paper, we define and characterize the notions of (implicative, maximal, prime) ideals in hoops. Then we investigate the relation between them and prove that every maximal implicative ideal of a ∨ -hoop with double negation property is a prime one. Also, we define a congruence relation on hoops by ideals and study the quotient that is made by it. This notion helps us to show that an ideal is maximal if and only if the quotient hoop is a simple MV-algebra. Also, we investigate the relationship between ideals and filters by exploiting the set of complements.

How to cite

top

Aaly Kologani, Mona, and Borzooei, Rajab Ali. "On ideal theory of hoops." Mathematica Bohemica 145.2 (2020): 141-162. <http://eudml.org/doc/296985>.

@article{AalyKologani2020,
abstract = {In this paper, we define and characterize the notions of (implicative, maximal, prime) ideals in hoops. Then we investigate the relation between them and prove that every maximal implicative ideal of a $\vee $-hoop with double negation property is a prime one. Also, we define a congruence relation on hoops by ideals and study the quotient that is made by it. This notion helps us to show that an ideal is maximal if and only if the quotient hoop is a simple MV-algebra. Also, we investigate the relationship between ideals and filters by exploiting the set of complements.},
author = {Aaly Kologani, Mona, Borzooei, Rajab Ali},
journal = {Mathematica Bohemica},
keywords = {Hoop; (implicative; maximal; prime) ideal; MV-algebra; Boolean algebra},
language = {eng},
number = {2},
pages = {141-162},
publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},
title = {On ideal theory of hoops},
url = {http://eudml.org/doc/296985},
volume = {145},
year = {2020},
}

TY - JOUR
AU - Aaly Kologani, Mona
AU - Borzooei, Rajab Ali
TI - On ideal theory of hoops
JO - Mathematica Bohemica
PY - 2020
PB - Institute of Mathematics, Academy of Sciences of the Czech Republic
VL - 145
IS - 2
SP - 141
EP - 162
AB - In this paper, we define and characterize the notions of (implicative, maximal, prime) ideals in hoops. Then we investigate the relation between them and prove that every maximal implicative ideal of a $\vee $-hoop with double negation property is a prime one. Also, we define a congruence relation on hoops by ideals and study the quotient that is made by it. This notion helps us to show that an ideal is maximal if and only if the quotient hoop is a simple MV-algebra. Also, we investigate the relationship between ideals and filters by exploiting the set of complements.
LA - eng
KW - Hoop; (implicative; maximal; prime) ideal; MV-algebra; Boolean algebra
UR - http://eudml.org/doc/296985
ER -

References

top
  1. Alavi, S. Z., Borzooei, R. A., Kologani, M. Aaly, Filter theory of pseudo hoop-algebras, Ital. J. Pure Appl. Math. 37 (2017), 619-632. (2017) Zbl1388.06011MR3622960
  2. Saeid, A. Borumand, Motamed, S., 10.1002/malq.200910025, Math. Log. Q. 55 (2009), 649-658. (2009) Zbl1188.03047MR2582165DOI10.1002/malq.200910025
  3. Borzooei, R. A., Kologani, M. Aaly, 10.5373/jarpm.1895.120113, J. Adv. Res. Pure Math. 6 (2014), 72-86. (2014) MR3297683DOI10.5373/jarpm.1895.120113
  4. Borzooei, R. A., Kologani, M. Aaly, Stabilizer topology of hoops, J. Alg. Structures and Their Appl. 1 (2014), 35-48. (2014) 
  5. Bosbach, B., 10.4064/fm-64-3-257-287, Fundam. Math. 64 (1969), 257-287 German. (1969) Zbl0183.30603MR0260902DOI10.4064/fm-64-3-257-287
  6. Bosbach, B., 10.4064/fm-69-1-1-14, Fundam. Math. 69 (1970), 1-14 German. (1970) Zbl0263.20037MR0277452DOI10.4064/fm-69-1-1-14
  7. Nola, A. Di, Leuştean, L., 10.1007/s00153-003-0178-y, Arch. Math. Logic 42 (2003), 737-761. (2003) Zbl1040.03048MR2020041DOI10.1007/s00153-003-0178-y
  8. Esteva, F., Godo, L., 10.1016/S0165-0114(01)00098-7, Fuzzy Sets Syst. 124 (2001), 271-288. (2001) Zbl0994.03017MR1860848DOI10.1016/S0165-0114(01)00098-7
  9. Georgescu, G., Leuştean, L., Preoteasa, V., Pseudo-hoops, J. Mult.-Val. Log. Soft Comput. 11 (2005), 153-184. (2005) Zbl1078.06007MR2162590
  10. Hájek, P., 10.1007/978-94-011-5300-3, Trends in Logic-Studia Logica Library 4. Kluwer Academic Publishers, Dordrecht (1998). (1998) Zbl0937.03030MR1900263DOI10.1007/978-94-011-5300-3
  11. Kondo, M., Dudek, W. A., 10.1007/s00500-007-0178-7, Soft Comput. 12 (2008), 419-423. (2008) Zbl1165.03056DOI10.1007/s00500-007-0178-7
  12. Kowalski, T., Ono, H., Residuated Lattices: An Algebraic Glimpse at Logic Without Contraction, Japan Advanced Institute of Science and Technology (2001). (2001) 
  13. Namdar, A., Borzooei, R. A., Saeid, A. Borumand, Kologani, M. Aaly, 10.3233/JIFS-152553, J. Intell. Fuzzy Syst. 32 (2017), 1805-1813. (2017) Zbl1375.06015DOI10.3233/JIFS-152553

NotesEmbed ?

top

You must be logged in to post comments.