• Journal of applied mathematics & informatics
• /
• v.29 no.5_6
• /
• pp.1489-1500
• /
• 2011

The notions of $\mathcal{N}$-subalgebra, (positive implicative) $\mathcal{N}$-ideals of d-algebras are introduced, and related properties are investigated. Characterizations of an $\mathcal{N}$-subalgebra and a (positive implicative) $\mathcal{N}$-ideals of d-algebras are given. Relations between an $\mathcal{N}$-subalgebra, an $\mathcal{N}$-ideal and a positive implicative N-ideal of d-algebras are discussed.

• Communications of the Korean Mathematical Society
• /
• v.24 no.2
• /
• pp.161-169
• /
• 2009

In this paper, we introduce the generalized ideal-based zero-divisor graph structure of near-ring N, denoted by $\widehat{{\Gamma}_I(N)}$. It is shown that if I is a completely reflexive ideal of N, then every two vertices in $\widehat{{\Gamma}_I(N)}$ are connected by a path of length at most 3, and if $\widehat{{\Gamma}_I(N)}$ contains a cycle, then the core K of $\widehat{{\Gamma}_I(N)}$ is a union of triangles and rectangles. We have shown that if $\widehat{{\Gamma}_I(N)}$ is a bipartite graph for a completely semiprime ideal I of N, then N has two prime ideals whose intersection is I.

• Journal of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.685-697
• /
• 2015

For a field K, a square-free monomial ideal I of K[$x_1$, . . ., $x_n$] is called an f-ideal, if both its facet complex and Stanley-Reisner complex have the same f-vector. Furthermore, for an f-ideal I, if all monomials in the minimal generating set G(I) have the same degree d, then I is called an $(n, d)^{th}$ f-ideal. In this paper, we prove the existence of $(n, d)^{th}$ f-ideal for $d{\geq}2$ and $n{\geq}d+2$, and we also give some algorithms to construct $(n, d)^{th}$ f-ideals.

• East Asian mathematical journal
• /
• v.23 no.1
• /
• pp.23-36
• /
• 2007

In this paper we consider the fuzzy ideals of N-group G where N is a nearring. We introduce fuzzy ideal ${\theta}_{\mu}$ of the quotient N-group $G/{\mu}$ with respect to a fuzzy ideal $\mu$ of G. If $\mu$ is a fuzzy ideal of G and $\theta$ a fuzzy ideal of $G/{\mu}$ such that ${\theta}_{\mu}\;{\subseteq}\;{\theta}$ and ${\theta}_{\mu}(0)\;=\;{\theta}(0)$, then corresponding ${\sigma}_{\theta}\;:\;G\;{\rightarrow}\;[0,\;1]$ is defined and proved that it is a fuzzy ideal of G such that ${\mu}\;{\subseteq}\;{\sigma}_{\theta}$ and ${\mu}(0)\;=\;{\sigma}_{\theta}(0)$. We also prove some results on homomorphisms and fuzzy ideals of N-groups. The image and preimage of fuzzy ideal $\mu$ under N-group homomorphism were studied. Finally it is obtained that if $f\;:\;G\;{\rightarrow}\;G^1$ is an epimorphism of N-groups, then there is an order preserving bijection between the fuzzy ideals of $G^1$ and the fuzzy ideals of G that are constant on kerf. Some examples related to these concepts were illustrated.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.717-734
• /
• 2024

Let R be a commutative ring with identity and m, n be positive integers. In this paper, we introduce the class of weakly (m, n)-prime ideals generalizing (m, n)-prime and weakly (m, n)-closed ideals. A proper ideal I of R is called weakly (m, n)-prime if for a, b ∈ R, 0 ≠ a^mb ∈ I implies either aⁿ ∈ I or b ∈ I. We justify several properties and characterizations of weakly (m, n)-prime ideals with many supporting examples. Furthermore, we investigate weakly (m, n)-prime ideals under various contexts of constructions such as direct products, localizations and homomorphic images. Finally, we discuss the behaviour of this class of ideals in idealization and amalgamated rings.

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

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

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

• Communications of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.331-340
• /
• 2023

In this paper, the concept of a maximal chain of ideals is introduced. Some properties of such chains are studied. We introduce some other concepts related to a maximal chain of ideals such as the n-maximal ideal, the maximal dimension of a ring S (M. dim(S)), the maximal depth of an ideal K of S (M.d(K)) and maximal height of an ideal K(M.d(K)).

• East Asian mathematical journal
• /
• v.34 no.3
• /
• pp.305-316
• /
• 2018

Let R be a ring with identity. A right ideal ideal I of a ring R is called ref lexive (resp. completely ref lexive) if $aRb{\subseteq}I$ implies that $bRa{\subseteq}I$ (resp. if $ab{\subseteq}I$ implies that $ba{\subseteq}I$) for any $a,\;b{\in}R$. R is called ref lexive (resp. completely ref lexive) if the zero ideal of R is a reflexive ideal (resp. a completely reflexive ideal). Let K(R) (called the ref lexive radical of R) be the intersection of all reflexive ideals of R. In this paper, the following are investigated: (1) Some equivalent conditions on an reflexive ideal of a ring are obtained; (2) reflexive (resp. completely reflexive) property is Morita invariant; (3) For any ring R, we have $K(M_n(R))=M_n(K(R))$ where $M_n(R)$ is the ring of all n by n matrices over R; (4) For a ring R, we have $K(R)[x]{\subseteq}K(R[x])$; in particular, if R is quasi-Armendaritz, then R is reflexive if and only if R[x] is reflexive.