• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1913-1925
• /
• 2017

Let R be a ring with identity. An ideal N of R is called ideal-symmetric (resp., ideal-reversible) if $ABC{\subseteq}N$ implies $ACB{\subseteq}N$ (resp., $AB{\subseteq}N$ implies $BA{\subseteq}N$) for any ideals A, B, C in R. A ring R is called ideal-symmetric if zero ideal of R is ideal-symmetric. Let S(R) (called the ideal-symmetric radical of R) be the intersection of all ideal-symmetric ideals of R. In this paper, the following are investigated: (1) Some equivalent conditions on an ideal-symmetric ideal of a ring are obtained; (2) Ideal-symmetric property is Morita invariant; (3) For any ring R, we have $S(M_n(R))=M_n(S(R))$ where $M_n(R)$ is the ring of all n by n matrices over R; (4) For a quasi-Baer ring R, R is semiprime if and only if R is ideal-symmetric if and only if R is ideal-reversible.

• 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).

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.185-198
• /
• 2002

We Consider the fuzzification of sub-implicative ideals in BCI-algebras, and investigate some related properties. We give conditions for a fuzzy ideal to be a fuzzy sub-implicative ideal. we show that (1) every fuzzy sub-implicative ideal is a fuzzy ideal, but the converse is not true, (2) every fuzzy sub-implicative ideal is a fuzzy positive implicative ideal, but the converse is not true, and (3) every fuzzy p-ideal is a fuzzy sub-implicative ideal, but the converse is not true. Using a family of sub-implicative ideals of a BCI-algebra, we establish a fuzzy sub-implicative ideal, and using a level set of a fuzzy set in a BCI-algebra, we give a characterization of a fuzzy sub-implicative ideal.

• Kyungpook Mathematical Journal
• /
• v.46 no.2
• /
• pp.181-184
• /
• 2006

We prove the following results: (1) Let R be a strongly euclidean semiring. Then an ideal A of $R_{n{\times}n}$ is a partitioning ideal if and only if it is a subtractive ideal. (2) A monic ideal M of R[$x$], where R is a strongly euclidean semiring, is a partitioning ideal if and only if it is a subtractive ideal.

• East Asian mathematical journal
• /
• v.26 no.3
• /
• pp.379-387
• /
• 2010

In this paper, we prove that the extension ideal of a fuzzy characteristic ideal of a positive implicative BCK-algebra is a fuzzy characteristic ideal. We introduce the notion of the extension of intuitionistic fuzzy ideal of BCK-algebras and some properties of fuzzy intuitionistic ideal extensions of BCK-algebra are investigated.

• Journal of the Korean Mathematical Society
• /
• v.52 no.1
• /
• pp.97-111
• /
• 2015

Let R be a commutative ring with $1{\neq}0$. In this paper, we introduce the concept of weakly 2-absorbing primary ideal which is a generalization of weakly 2-absorbing ideal. A proper ideal I of R is called a weakly 2-absorbing primary ideal of R if whenever a, b, $c{\in}R$ and $0{\neq}abc{\in}I$, then $ab{\in}I$ or $ac{\in}\sqrt{I}$ or $bc{\in}\sqrt{I}$. A number of results concerning weakly 2-absorbing primary ideals and examples of weakly 2-absorbing primary ideals are given.

• Honam Mathematical Journal
• /
• v.46 no.3
• /
• pp.500-514
• /
• 2024

This paper explores the concepts of quasi covered ideal, quasi base and the greatest quasi covered ideal within the context of an ordered semigroup, extending the study of algebraic structures to incorporate both the algebraic and order theoretic perspectives. An ordered semigroup provides a rich framework for investigating the interplay between algebraic and order structure. Also, we provide the conditions for the greatest ideal to be quasi covered ideal and develop the fundamental properties with implications of quasi covered ideal of an ordered semigroup. Moreover, we study the relationship between covered ideal with quasi covered ideal, greatest ideal with quasi covered ideal and the greatest quasi covered ideal with quasi base of an ordered semigroup.

• Honam Mathematical Journal
• /
• v.25 no.1
• /
• pp.43-52
• /
• 2003

The fuzzification of positive implicative hyper K-ideals in hyper K-algebras is considered, Relations between fuzzy positive implicative hyper K-ideal and fuzzy hyper K-ideal are given. Characterizations of fuzzy positive implicative hyper K-ideals are provided. Using a family of positive implicative hyper K-ideals we make a fuzzy positive implicative hyper K-ideal. Using the notion of a fuzzy positive implicative hyper K-ideal, a weak hyper K-ideal is established.

• Annals of Fuzzy Mathematics and Informatics
• /
• v.16 no.3
• /
• pp.285-299
• /
• 2018

Many generalizations of ideals of a lattice to an arbitrary poset have been studied by different scholars. In this paper, we introduce several L-fuzzy ideals of a poset which generalize the notion of an L-fuzzy ideal of a lattice and give several characterizations of them.

• The Pure and Applied Mathematics
• /
• v.19 no.3
• /
• pp.251-262
• /
• 2012

Based on the theory of a falling shadow which was first formulated by Wang([14]), a theoretical approach of the ideal structure in BH-algebras is established. The notions of a falling subalgebra, a falling ideal, a falling strong ideal, a falling $n$-fold strong ideal and a falling translation ideal of a BH-algebra are introduced. Some fundamental properties are investigated. Relations among a falling subalgebra, a falling ideal and a falling strong ideal, a falling $n$-fold strong ideal are stated. A relation between a fuzzy subalgebra/ideal and a falling subalgebra/ideal is provided.