• Honam Mathematical Journal
• /
• v.17 no.1
• /
• pp.1-6
• /
• 1995

Our task will be to set up a fuzzy maximal p-ideal in BCI-algebras. We construct a new fuzzy p-ideal from old. We also prove that every fuzzy maximal p-ideal is normalized, and takes only the values {0.1}.

• Journal of applied mathematics & informatics
• /
• v.27 no.1_2
• /
• pp.217-231
• /
• 2009

The notion of *-medial pseudo BCI-algebras is introduced, and its characterization is discussed. The concepts of associative pseudo ideals (resp. pseudo p-ideals, pseudo q-ideals and pseudo a-ideals) are introduced, and related properties are investigated. Conditions for a pseudo ideal to be a pseudo p-ideal (resp. pseudo q-ideal) are provided. A characterization of an associative pseudo ideal is given. We finally show that every pseudo BCI-homomorphic image and preimage of an associative pseudo ideal (resp. a pseudo p-ideal, a pseudo q-ideal and a pseudo a-ideal) is also an associative pseudo ideal (resp. a pseudo p-ideal, a pseudo q-ideal and a pseudo a-ideal).

• East Asian mathematical journal
• /
• v.18 no.2
• /
• pp.271-282
• /
• 2002

Let R be a ring with an endomorphism $\sigma$ and a derivation $\delta$. An ideal I of R is ($\sigma,\;\delta$)-ideal of R if $\sigma(I){\subseteq}I$ and $\delta(I){\subseteq}I$. An ideal P of R is a ($\sigma,\;\delta$)-prime ideal of R if P(${\neq}R$) is a ($\sigma,\;\delta$)-ideal and for ($\sigma,\;\delta$)-ideals I and J of R, $IJ{\subseteq}P$ implies that $I{\subseteq}P$ or $J{\subseteq}P$. An ideal Q of R is ($\sigma,\;\delta$)-semiprime ideal of R if Q is a ($\sigma,\;\delta$)-ideal and for ($\sigma,\;\delta$)-ideal I of R, $I^2{\subseteq}Q$ implies that $I{\subseteq}Q$. The ($\sigma,\;\delta$)-prime radical (resp. prime radical) is defined by the intersection of all ($\sigma,\;\delta$)-prime ideals (resp. prime ideals) of R and is denoted by $P_{(\sigma,\delta)}(R)$(resp. P(R)). In this paper, the following results are obtained: (1) $P_{(\sigma,\delta)}(R)$ is the smallest ($\sigma,\;\delta$)-semiprime ideal of R; (2) For every extended endomorphism $\bar{\sigma}$ of $\sigma$, the $\bar{\sigma}$-prime radical of an Ore extension $P(R[x;\sigma,\delta])$ is equal to $P_{\sigma,\delta}(R)[x;\sigma,\delta]$.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.477-484
• /
• 2005

Let R be a ring with an automorphism 17. An ideal [ of R is ($\sigma$-ideal of R if $\sigma$(I).= I. A proper ideal P of R is ($\sigma$-prime ideal of R if P is a $\sigma$-ideal of R and for $\sigma$-ideals I and J of R, IJ $\subseteq$ P implies that I $\subseteq$ P or J $\subseteq$ P. A proper ideal Q of R is $\sigma$-semiprime ideal of Q if Q is a $\sigma$-ideal and for a $\sigma$-ideal I of R, I$^{2}$ $\subseteq$ Q implies that I $\subseteq$ Q. The $\sigma$-prime radical is defined by the intersection of all $\sigma$-prime ideals of R and is denoted by P$_{(R). In this paper, the following results are obtained: (1) For a principal ideal domain R, P$_{(R) is the smallest $\sigma$-semiprime ideal of R; (2) For any ring R with an automorphism $\sigma$ and for a skew Laurent polynomial ring R[x, x$^{-1}$; $\sigma$], the prime radical of R[x, x$^{-1}$; $\sigma$] is equal to P$_{(R)[x, x$^{-1}$; $\sigma$ ].

• Communications of the Korean Mathematical Society
• /
• v.27 no.3
• /
• pp.483-488
• /
• 2012

In this paper we introduce the notion of P-strongly regular near-ring. We have shown that a zero-symmetric near-ring N is P-strongly regular if and only if N is P-regular and P is a completely semiprime ideal. We have also shown that in a P-strongly regular near-ring N, the following holds: (i) $Na$ + P is an ideal of N for any $a{\in}N$. (ii) Every P-prime ideal of N containing P is maximal. (iii) Every ideal I of N fulfills I + P = $I^2$ + P.

• Journal of applied mathematics & informatics
• /
• v.27 no.3_4
• /
• pp.795-807
• /
• 2009

The concepts of fuzzy pseudo ideals (resp. fuzzy pseudo p-ideals, associative fuzzy pseudo ideals, fuzzy pseudo q-ideals and fuzzy pseudo a-ideals) in a pseudo BCI-algebra are introduced, and related properties are investigated. Conditions for a fuzzy pseudo ideal to be a fuzzy pseudo p-ideal (resp. fuzzy pseudo q-ideal) are provided. A characterization and properties of an associative fuzzy pseudo ideal are given.

• Communications of the Korean Mathematical Society
• /
• v.27 no.4
• /
• pp.701-708
• /
• 2012

The notion of an enlarged $p$-ideal and a fuzzy $p$-ideal in BCI-algebras with degree are introduced. Related properties of them are investigated.

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.1
• /
• pp.71-77
• /
• 1993

Every ring considered in the paper will be assumed to be commutative and have a unit element. An ideal A of a ring R will be called primal if the elements of R which are zero divisors modulo A, form an ideal of R, say pp. If A is a primal ideal of R, P is called the adjoint ideal of A. The adjoint ideal of a primal ideal is prime [2]. The definition of primal ideals may also be formulated as follows: An ideal A of a ring R is primal if in the residue class ring R/A the zero divisors form an ideal of R/A. If Q is a primary idel of a ring R then every zero divisor of R/Q is nilpotent; therefore, Q is a primal ideal of R. That a primal ideal need not be primary, is shown by an example in [2]. Let R[X], and R[[X]] denote the polynomial ring and formal power series ring in an indeterminate X over a ring R, respectively. Let S be a multiplicative system in a ring R and S$^{-1}$ R the quotient ring of R. Let Q be a P-primary ideal of a ring R. Then Q[X] is a P[X]-primary ideal of R[X], and S$^{-1}$ Q is a S$^{-1}$ P-primary ideal of a ring S$^{-1}$ R if S.cap.P=.phi., and Q[[X]] is a P[[X]]-primary ideal of R[[X]] if R is Noetherian [1]. We search for analogous results when primary ideals are replaced with primal ideals. To show an ideal A of a ring R to be primal, it sufficies to show that a-b is a zero divisor modulo A whenever a and b are zero divisors modulo A.

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.3
• /
• pp.453-465
• /
• 2013

The notion of vague $p$-ideals and vague $a$-ideals of BCI-algebras is introduced, and several properties of them are investigated. We show that a vague set of a BCI-algebra is a vague $a$-ideal if and only if it is both a vague $q$-ideal and a vague $p$-ideal.

• Kyungpook Mathematical Journal
• /
• v.53 no.3
• /
• pp.435-457
• /
• 2013

Using the Lukasiewicz 3-valued implication operator, the notion of an (${\alpha},{\beta}$)-intuitionistic fuzzy left (right) $h$-ideal of a hemiring is introduced, where ${\alpha},{\beta}{\in}\{{\in},q,{\in}{\wedge}q,{\in}{\vee}q\}$. We define intuitionistic fuzzy left (right) $h$-ideal with thresholds ($s,t$) of a hemiring R and investigate their various properties. We characterize intuitionistic fuzzy left (right) $h$-ideal with thresholds ($s,t$) and (${\alpha},{\beta}$)-intuitionistic fuzzy left (right) $h$-ideal of a hemiring R by its level sets. We establish that an intuitionistic fuzzy set A of a hemiring R is a (${\in},{\in}$) (or (${\in},{\in}{\vee}q$) or (${\in}{\wedge}q,{\in}$)-intuitionistic fuzzy left (right) $h$-ideal of R if and only if A is an intuitionistic fuzzy left (right) $h$-ideal with thresholds (0, 1) (or (0, 0.5) or (0.5, 1)) of R respectively. It is also shown that A is a (${\in},{\in}$) (or (${\in},{\in}{\vee}q$) or (${\in}{\wedge}q,{\in}$))-intuitionistic fuzzy left (right) $h$-ideal if and only if for any $p{\in}$ (0, 1] (or $p{\in}$ (0, 0.5] or $p{\in}$ (0.5, 1] ), $A_p$ is a fuzzy left (right) $h$-ideal. Finally, we prove that an intuitionistic fuzzy set A of a hemiring R is an intuitionistic fuzzy left (right) $h$-ideal with thresholds ($s,t$) of R if and only if for any $p{\in}(s,t]$, the cut set $A_p$ is a fuzzy left (right) $h$-ideal of R.