Ideal theory on EQ-algebras

Jie Qiong Shi; Xiao Long Xin; Jie Qiong Shi; Xiao Long Xin

doi:10.3934/math.2021679

AIMS Mathematics

2021, Volume 6, Issue 11: 11686-11707. doi: 10.3934/math.2021679

Previous Article Next Article

Research article Special Issues

Ideal theory on EQ-algebras

Jie Qiong Shi ¹,
Xiao Long Xin ^{1,2
,
,}

1.
School of Mathematics, Northwest University, Xi'an 710127, China
2.
School of Science, Xi'an Polytechnic University, Xi'an 710048, China

Received: 08 April 2021 Accepted: 04 August 2021 Published: 11 August 2021
MSC : Primary 06F35, 03G25, 08A72

In this article, we introduce ideals and other special ideals on EQ-algebras, such as implicative ideals, primary ideals, prime ideals and maximal ideals. At first, we give the notion of ideal and its related properties on EQ-algebras, and give its equivalent characterizations. We discuss the relations between ideals and filters, and study the generating formula of ideals on EQ-algebras. Moreover, we study the properties of implicative ideals, primary ideals, prime ideals and maximal ideals and their relations. For example, we prove that every maximal ideal is prime and if prime ideals are implicative, then they are maximal in the EQ-algebra with the condition $(DNP)$ . Finally, we introduce the topological properties of prime ideals. We get that the set of all prime ideals is a compact $T_{0}$ topological space. Also, we transferred the spectrum of EQ-algebras to bounded distributive lattices and given the ideal reticulation of EQ-algebras.

Keywords:

Citation: Jie Qiong Shi, Xiao Long Xin. Ideal theory on EQ-algebras[J]. AIMS Mathematics, 2021, 6(11): 11686-11707. doi: 10.3934/math.2021679

Related Papers:

[1]	Min Li, Ke Chen, Yunqing Bai, Jihong Pei . Skeleton action recognition via graph convolutional network with self-attention module. Electronic Research Archive, 2024, 32(4): 2848-2864. doi: 10.3934/era.2024129
[2]	Wangwei Zhang, Menghao Dai, Bin Zhou, Changhai Wang . MCADFusion: a novel multi-scale convolutional attention decomposition method for enhanced infrared and visible light image fusion. Electronic Research Archive, 2024, 32(8): 5067-5089. doi: 10.3934/era.2024233
[3]	Bingsheng Li, Na Li, Jianmin Ren, Xupeng Guo, Chao Liu, Hao Wang, Qingwu Li . Enhanced spectral attention and adaptive spatial learning guided network for hyperspectral and LiDAR classification. Electronic Research Archive, 2024, 32(7): 4218-4236. doi: 10.3934/era.2024190
[4]	Hui Xu, Jun Kong, Mengyao Liang, Hui Sun, Miao Qi . Video behavior recognition based on actional-structural graph convolution and temporal extension module. Electronic Research Archive, 2022, 30(11): 4157-4177. doi: 10.3934/era.2022210
[5]	Huimin Qu, Haiyan Xie, Qianying Wang . Multi-convolutional neural network brain image denoising study based on feature distillation learning and dense residual attention. Electronic Research Archive, 2025, 33(3): 1231-1266. doi: 10.3934/era.2025055
[6]	Kun Zheng, Li Tian, Zichong Li, Hui Li, Junjie Zhang . Incorporating eyebrow and eye state information for facial expression recognition in mask-obscured scenes. Electronic Research Archive, 2024, 32(4): 2745-2771. doi: 10.3934/era.2024124
[7]	Bojian Chen, Wenbin Wu, Zhezhou Li, Tengfei Han, Zhuolei Chen, Weihao Zhang . Attention-guided cross-modal multiple feature aggregation network for RGB-D salient object detection. Electronic Research Archive, 2024, 32(1): 643-669. doi: 10.3934/era.2024031
[8]	Jiange Liu, Yu Chen, Xin Dai, Li Cao, Qingwu Li . MFCEN: A lightweight multi-scale feature cooperative enhancement network for single-image super-resolution. Electronic Research Archive, 2024, 32(10): 5783-5803. doi: 10.3934/era.2024267
[9]	Wangwei Zhang, Hao Sun, Bin Zhou . TBRAFusion: Infrared and visible image fusion based on two-branch residual attention Transformer. Electronic Research Archive, 2025, 33(1): 158-180. doi: 10.3934/era.2025009
[10]	Jingqian Xu, Ma Zhu, Baojun Qi, Jiangshan Li, Chunfang Yang . AENet: attention efficient network for cross-view image geo-localization. Electronic Research Archive, 2023, 31(7): 4119-4138. doi: 10.3934/era.2023210

Abstract

1. Introduction

The study on flow of fluids which are electrically conducting is known as magnetohydrodynamics (MHD). The magnetohydrodynamics have important applications in the polymer industry and engineering fields (Garnier ^[1]). Heat transfer caused by hydromagnetism was discussed by Chakrabarthi and Gupta ^[2]. Using an exponentially shrinking sheet, Nadeem et al. ^[3] investigated the MHD flow of a Casson fluid. Krishnendu Bhattacharyya ^[4] examined the effect of thermal radiation on MHD stagnation-point Flow over a Stretching Sheet.

Mixed convection magnetohydrodynamics flow is described by Ishak on a vertical and on a linearly stretching sheet ^[5,6,7]. Hayat et al. ^[10] examine a mixed convection flow within a stretched sheet of Casson nanofluid. Subhas Abel and Monayya Mareppa, examine magnetohydrodynamics flow on a vertical plate ^[11]. Shen et al. ^[12], examined a vertical stretching sheet which was non-linear. Ishikin Abu Bakar ^[13] investigates how boundary layer flow is affected by slip and convective boundary conditions over a stretching sheet. A vertical plate oscillates with the influence of slip on a free convection flow of a Casson fluid ^[14].

Nasir Uddin et al. ^[15] used a Runge-Kutta sixth-order integration method. Barik et al. ^[16] implicit finite distinction methodology of Crank Sir Harold George Nicolson sort Raman and Kumar ^[17] utilized an exact finite distinction theme of DuFort–Frankel. Mondal et al. ^[18] used a numerical theme over the whole vary of physical parameters. With the laplace transform method, we can determine the magnetohydrodynamic flow of a viscous fluid ^[19]. Thamizh Suganya et al. ^[20] obtained that the MHD for the free convective flow of fluid is based on coupled non-linear differential equations. In this study, the analytical approximation of concentration profiles in velocity, temperature and concentration using homotopy perturbation method (HPM).

2. Mathematical construction of the problem

The governing differential equations in dimensionless form ^[19] as follows:

$\begin{align} \frac{d^2 u}{dy^2} - Hu + Gr \theta + Gm \phi = 0, \end{align}$

(2.1)

$\begin{align} \frac{1}{F} \frac{d^2 \theta}{dy^2} = 0, \end{align}$

(2.2)

$\begin{align} \frac{1}{Sc} \frac{d^2 \phi}{dy^2} - Sr \frac{\partial^2 \phi}{\partial y^2} - \gamma \phi = 0. \end{align}$

(2.3)

The dimensionless boundary conditions given by:

$\begin{equation} u = 0, \ \theta = 1, \phi = 0 \ \ at \ \ y = 0 \end{equation}$

(2.4)

and

$\begin{equation} u = 0, \ \theta = 0, \phi = 0 \ \ at \ \ y \to \infty. \end{equation}$

(2.5)

3. Solutions of steady-state concentration profile using the Homotopy Perturbation Method

He ^[21,22] established the homotopy perturbation method, which waives the requirement of small parameters. Many researchers have used HPM to obtain approximate analytical solutions for many non-linear engineering dynamical systems ^[23,24]. The basic concept of the HPM as follows:

$\begin{align} \frac{d^2 u}{dy^2} - Hu + Gr \theta + Gm \phi = 0 \end{align}$

(3.1)

$\begin{align} \frac{1}{F} \frac{d^2 \theta}{dy^2} = 0 \end{align}$

(3.2)

$\begin{align} \frac{1}{Sc} \frac{d^2 \phi}{dy^2} - Sr \frac{\partial^2 \phi}{\partial y^2} - \gamma \phi = 0 \end{align}$

(3.3)

with initial and boundary conditions given by:

$\begin{align} y = 0 \ \ &at \ u = 0, \ \theta = 1, C = 1 \\ y \to \infty \ \ &as \ u = 0, \ \theta = 1, \phi = 0. \end{align}$

(3.4)

Homotopy for the above Eqs (3.1) to (3.4) can be constructed as follows:

$\begin{align} (1 - p) \left[\frac{d^2 u}{dy^2} - Hu + Gr \theta + Gm \phi\right] + p \left[\frac{d^2 u}{dy^2} - Hu + Gr \theta + Gm \phi\right] = 0 \end{align}$

(3.5)

$\begin{align} (1 - p) \left[\frac{1}{F} \frac{d^2 \theta}{dy^2} - \theta\right] + p \left[\frac{1}{F} \frac{d^2 \theta}{dy^2} - \theta + \theta\right] = 0 \end{align}$

(3.6)

$\begin{align} (1 - p) \left[\frac{1}{Sc} \frac{d^2 \phi}{dy^2} - \gamma \phi \right] + p \left[\frac{1}{Sc} \frac{d^2 \phi}{dy^2} - Sr \frac{\partial^2 \theta}{\partial y^2} - \gamma \phi \right] = 0 \end{align}$

(3.7)

The approximate solution of the Eqs (3.5) to (3.7) are

$\begin{align} u & = u_0 + pu_1 + p^2 u_2 + p^3 u_3 + ... \end{align}$

(3.8)

$\begin{align} \theta & = \theta_0 + p \theta_1 + p^2 \theta_2 + p^3 \theta_3 + ... \end{align}$

(3.9)

$\begin{align} \phi & = \phi_0 + p \phi_1 + p^2 \phi_2 + p^3 \phi_3 + ... \end{align}$

(3.10)

Substitution Eqs (3.5) to (3.7) in Eqs (3.8) to (3.10) respectively. We obtain the following equations

$\begin{align} (1 - p) &\left[\frac{d^2 (u_0 + pu_1 + p^2 u_2 + p^3 u_3 + ...)}{dy^2} - H(u_0 + pu_1 + p^2 u_2 + p^3 u_3 + ...) \right. \\ &\left.+ Gr (\theta_0 + p \theta_1 + p^2 \theta_2 + p^3 \theta_3 + ...) + Gm (\phi_0 + p \phi_1 + p^2 \phi_2 + p^3 \phi_3 + ...)\right] \\ &+ p\left[\frac{d^2 (u_0 + pu_1 + p^2 u_2 + p^3 u_3 + ...)}{dy^2} - H(u_0 + pu_1 + p^2 u_2 + p^3 u_3 + ...)\right. \\ &\left.+ Gr (\theta_0 + p \theta_1 + p^2 \theta_2 + p^3 \theta_3 + ...) + Gm (\phi_0 + p \phi_1 + p^2 \phi_2 + p^3 \phi_3 + ...)\right] = 0 \end{align}$

(3.11)

and

$\begin{align} (1 - p) &\left[\frac{1}{F} \frac{d^2 (\theta_0 + p \theta_1 + p^2 \theta_2 + p^3 \theta_3 + ...)}{dy^2} - (\theta_0 + p \theta_1 + p^2 \theta_2 + p^3 \theta_3 + ...)\right] \\ &+ p \left[\frac{1}{F} \frac{d^2 (\theta_0 + p \theta_1 + p^2 \theta_2 + p^3 \theta_3 + ...)}{dy^2} - (\theta_0 + p \theta_1 + p^2 \theta_2 + p^3 \theta_3 + ...) \right. \\ &\left.+ (\theta_0 + p \theta_1 + p^2 \theta_2 + p^3 \theta_3 + ...)\right] = 0, \end{align}$

(3.12)

and

$\begin{align} (1 - p) &\left[\frac{1}{Sc} \frac{d^2 (\phi_0 + p \phi_1 + p^2 \phi_2 + p^3 \phi_3 + ...)}{dy^2} - \gamma (\phi_0 + p \phi_1 + p^2 \phi_2 + p^3 \phi_3 + ...)\right] \\ &+ p \left[\frac{1}{Sc} \frac{d^2 (\phi_0 + p \phi_1 + p^2 \phi_2 + p^3 \phi_3 + ...)}{dy^2} - Sr \frac{\partial^2 (\theta_0 + p \theta_1 + p^2 \theta_2 + p^3 \theta_3 + ...)}{\partial y^2} \right. \\ &\left.- \gamma (\phi_0 + p \phi_1 + p^2 \phi_2 + p^3 \phi_3 + ...) \right] = 0. \end{align}$

(3.13)

Equating the coefficient of $p$ on both sides, we get the following equations

$\begin{align} P^0 &: \frac{d^2 u_0}{dy^2} - Hu_0 + Gr \theta_0 + Gm \phi_0 = 0; \end{align}$

(3.14)

$\begin{align} p^0 &: \frac{1}{F} \frac{d^2 \theta_0}{dy^2} - \theta_0 = 0; \end{align}$

(3.15)

$\begin{align} P^1 &: \frac{1}{F} \frac{d^2 \theta_0}{dy^2} - \theta_0 + \theta_1 = 0; \end{align}$

(3.16)

$\begin{align} P^1 &: \frac{1}{Sc} \frac{d^2 \phi_0}{dy^2} - \gamma \phi_0 = 0; \end{align}$

(3.17)

$\begin{align} P^1 &: \frac{1}{Sc} \frac{d^2 \phi_0}{dy^2} - Sr \frac{\partial^2 \theta_0}{\partial y^2} - \gamma \phi_0 = 0. \end{align}$

(3.18)

The boundary conditions are

$\begin{align} u_0 = 0, \ \theta_0 = 1, \phi_0 = 1 \ \ at \ \ y = 0 \\ u_0 = 0, \ \theta_0 = 1, \phi_0 = 1 \ \ at \ \ y \to \infty. \end{align}$

(3.19)

and

$\begin{align} u_1 = 0, \ \theta_1 = 0, \phi_1 = 0 \ \ at \ \ y = 0 \\ u_1 = 0, \ \theta_1 = 0, \phi_1 = 0 \ \ at \ \ y \to \infty. \end{align}$

(3.20)

Solving the Eqs (3.9)–(3.14), we obtain

$\begin{align} u_0(t) & = \frac{Gr}{\sqrt{\frac{1}{F}} + H} \left[e^{-y \sqrt{\frac{1}{F}}} - e^{-y \sqrt{H}}\right] + \frac{Gm}{\sqrt{\gamma Sc + H}} \left[e^{-y \sqrt{\gamma Sc}} - e^{-y \sqrt{H}}\right]; \end{align}$

(3.21)

$\begin{align} \theta_0(y) & = e^{-y \sqrt{\frac{1}{F}}}; \end{align}$

(3.22)

$\begin{align} \phi_0(y) & = e^{-y \sqrt{\gamma Sc}}; \end{align}$

(3.23)

$\begin{align} \phi_1(y) & = \frac{Sc Sr}{\sqrt{F} + F \gamma Sc} \left[e^{-y \sqrt{\frac{1}{F}}} - e^{-y \sqrt{\gamma Sc}}\right]. \end{align}$

(3.24)

Considering the iteration, we get,

$\begin{align} u(t) & = \frac{Gr}{\sqrt{\frac{1}{F}} + H} \left[e^{-y \sqrt{\frac{1}{F}}} - e^{-y \sqrt{H}}\right] + \frac{Gm}{\sqrt{\gamma Sc + H}} \left[e^{-y \sqrt{\gamma Sc}} - e^{-y \sqrt{H}}\right]; \end{align}$

(3.25)

$\begin{align} \theta(y) & = e^{-y \sqrt{F}}; \end{align}$

(3.26)

$\begin{align} \phi(y) & = e^{-y \sqrt{\gamma Sc}} + \frac{Sc Sr}{\sqrt{F} + F \gamma Sc} \left[e^{-y \sqrt{\frac{1}{F}}} - e^{-y \sqrt{\gamma Sc}}\right]. \end{align}$

(3.27)

4. Approximate analytical solutions for the skiin friction, Nusselt and Sherwood numbers

From the Eqs (3.25)–(3.27), we obtain

$\begin{array}{l} C_f = - \left(\frac{\partial u}{\partial y}\right)_{y = 0} \\ = \frac{\left(Gm \sqrt{\gamma Sc} - Gm \sqrt{H} + Gr(\gamma Sc + H) \sqrt{1 + \frac{R}{Pr}} + Gm H \sqrt{\gamma Sc} + (-Gm - Gr) H^{\frac{3}{2}} - \gamma Gr \sqrt{H} Sc\right)}{\left(\sqrt{1 + \frac{R}{Pr} + H} (\gamma Sc + H)\right)}; \end{array}$

(4.1)

$\begin{align} N_u & = - \left(\frac{\partial \theta}{\partial y}\right)_{y = 0} = \sqrt{\frac{1 + R}{Pr}}; \end{align}$

(4.2)

$\begin{array}{l} S_h = - \left(\frac{\partial \phi}{\partial y}\right)_{y = 0} \\= \frac{Sc Sr (1 + R) \sqrt{1 + \frac{R}{Pr}} - \sqrt{\gamma Sc} \left((-R - 1) \sqrt{1 + \frac{R}{Pr}} + ((1 + R)Sc - Pr \gamma) Sc \right)}{(1 + R) \sqrt{1 + \frac{R}{Pr}} Pr \gamma Sc} \end{array}$

(4.3)

5. Results and discussion

The combined impacts of transient MHD free convective flows of an incompressible viscous fluid through a vertical plate moving with uniform motion and immersed in a porous media are examined using an exact approach. The approximate analytical expressions for the velocity $u$ , temperature $\theta$ , and concentration profile $\phi$ are solved by using the homotopy perturbation method for fixed values of parameters is graphically presented.

Velocity takes time at first, and for high values of y, it takes longer, and the velocity approaches zero as time increases. The velocity of fluid rises with Gr increasing, as exposed in Figure 1.

Figure 1. An illustration of velocity profiles for different values of Gr.

[1]	P. B. Andrews, An introduction to mathmatical logic and type theory: To truth through proof, Kluwer Academic Publisher, Dordrecht, The Netherlands, 2002.
[2]	W. J. Chen, W. A. Dudek, Ideals and congruences in quasi-pseudo-MV algebras, Soft Comput., 22 (2018), 3879–3889. doi: 10.1007/s00500-017-2854-6
[3]	M. El-Zekey, Representable good EQ-algebras, Soft Comput., 14 (2010), 1011–1023. doi: 10.1007/s00500-009-0491-4
[4]	M. A. Kologani, R. A. Borzooei, On ideal theory of hoops, Math. Bohem., 145 (2019), 141–162.
[5]	C. Lele, J. B. Nganou, MV-algebras derived from ideals in BL-algebas, Fuzzy Sets Syst., 218 (2013), 103–113. doi: 10.1016/j.fss.2012.09.014
[6]	L. Z. Liu, X. Y. Zhang, Implicative and positive implicative prefilters of EQ-algebras, J. Intell. Fuzzy Syst., 26 (2014), 2087–2097. doi: 10.3233/IFS-130884
[7]	Y. Liu, Y. Qin, X. Y. Qin, Y. Xu, Ideals and fuzzy ideals on residuated lattices, Int. J. Mach. Learn. Cyb., 8 (2017), 239–253. doi: 10.1007/s13042-014-0317-2
[8]	H. L. Niu, X. L. Xin, J. T. Wang, Ideal theory on bounded semihoops, Ital. J. Pure Appl. Math., 26 (2020), 911–925.
[9]	V. Nov $\acute{a}$ k, On fuzzy type theory, Fuzzy Sets Syst., 149 (2005), 235–273.
[10]	V. Nov $\acute{a}$ k, Fuzzy type theory as higher-order fuzzy logic, In: Proceeding of the 6th international conference on intelligent technologies, Bangkok, Thailand, 2005.
[11]	V. Nov $\acute{a}$ k, EQ-algebras: Primary concepts and properties, In: Proceedings of the Czech-Japan seminar, ninth meeting, Kitakyushu and Nagassaki, 2006,219–223.
[12]	V. Nov $\acute{a}$ k, B. De Baets, EQ-algebra, Fuzzy Sets Syst., 160 (2009), 2956–2978.
[13]	A. Paad, Integral ideals and maximal ideals in BL-algebras, Ann. Univ. Craiova, Math. Comput. Sci. Ser., 43 (2016), 231–242.
[14]	A. Paada, Ideals in bounded equality algebras, Filomat, 33 (2019), 2113–2123. doi: 10.2298/FIL1907113P
[15]	D. Piciu, Prime, minimal prime and maximal ideals spaces in residuated lattices, Fuzzy Sets Syst., 405 (2021), 47–64. doi: 10.1016/j.fss.2020.04.009
[16]	X. W. Zhang, J. Yang, The spectra and reticulation of EQ-algebras, Soft Comput., 25 (2021), 8085–8093. doi: 10.1007/s00500-021-05917-9
[17]	W. Wang, X. L. Xin, J. T. Wang, EQ-algebras with internal states, Soft Comput., 22 (2018), 2825–2841. doi: 10.1007/s00500-017-2754-9

AIMS Mathematics

Ideal theory on EQ-algebras

Related Papers:

Abstract

1. Introduction

2. Mathematical construction of the problem

3. Solutions of steady-state concentration profile using the Homotopy Perturbation Method

4. Approximate analytical solutions for the skiin friction, Nusselt and Sherwood numbers

5. Results and discussion

6. Conclusions

Conflict of interest

Acknowledgement

References

This article has been cited by:

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog

Abstract

1. Introduction

2. Mathematical construction of the problem

3. Solutions of steady-state concentration profile using the Homotopy Perturbation Method

4. Approximate analytical solutions for the skiin friction, Nusselt and Sherwood numbers

5. Results and discussion

6. Conclusions

Conflict of interest

Acknowledgement

References