• Journal of the Chungcheong Mathematical Society
• /
• v.25 no.2
• /
• pp.241-251
• /
• 2012

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

• Journal of applied mathematics & informatics
• /
• v.28 no.3_4
• /
• pp.1017-1023
• /
• 2010

We prove that a maximal ideal M of D[x] has two generators and is of the form where p is an irreducible element in a PID D having infinitely many nonassociate irreducible elements and q(x) is an irreducible non-constant polynomial in D[x]. Moreover, we find how minimal generators of maximal ideals of a polynomial ring D[x] over a DVR D consist of and how many generators those maximal ideals have.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.479-484
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m and d = dim A. Then we say that I is a good ideal in A, if I contains a reduction $Q=(a_1,a_2,...,a_d)$ generated by d elements in A and $G(I)=\bigoplus_{n\geq0}I^n/I^{n+1}$ of I is a Gorenstein ring with a(G(I)) = 1-d, where a(G(I)) denotes the a-invariant of G(I). Let S = A[Q/a$_1$] and P = mS. In this paper, we show that the following conditions are equivalent. (1) $I^2$ = QI and I = Q:I. (2) $I^2S$ = $a_1$IS and IS = $a_1$S：sIS. (3) $I^2$Sp = $a_1$ISp and ISp = $a_1$Sp ：sp ISp. We denote by $X_A(Q)$ the set of good ideals I in $X_A(Q)$ such that I contains Q as a reduction. As a Corollary of this result, we show that $I\inX_A(Q)\Leftrightarrow\IS_P\inX_{SP}(Qp)$.

• Kyungpook Mathematical Journal
• /
• v.56 no.1
• /
• pp.107-120
• /
• 2016

Let R be a commutative semiring. The purpose of this note is to investigate the concept of 2-absorbing (resp., weakly 2-absorbing) primary ideals generalizing of 2-absorbing (resp., weakly 2-absorbing) ideals of semirings. A proper ideal I of R said to be a 2-absorbing (resp., weakly 2-absorbing) primary ideal if whenever $a,b,c{\in}R$ such that $abc{\in}I$ (resp., $0{\neq}abc{\in}I$), then either $ab{\in}I$ or $bc{\in}\sqrt{I}$ or $ac{\in}\sqrt{I}$. Moreover, when I is a Q-ideal and P is a k-ideal of R/I with $I{\subseteq}P$, it is shown that if P is a 2-absorbing (resp., weakly 2-absorbing) primary ideal of R, then P/I is a 2-absorbing (resp., weakly 2-absorbing) primary ideal of R/I and it is also proved that if I and P/I are weakly 2-absorbing primary ideals, then P is a weakly 2-absorbing primary ideal of R.

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

In this paper, we introduce the notions of Smarandache weak BE-algebra, Q-Smarandache filters and Q-Smarandache ideals. We show that a nonempty subset F of a BE-algebra X is a Q-Smarandache filter if and only if $A(x,y){\subseteq}F$, which A($x,y$) is a Q-Smarandache upper set The relationship between these notions are stated and proved.

• 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.20 no.4
• /
• pp.645-648
• /
• 2005

Let K be a Galois extension of a field F with G = Gal(K/F). Let L be an extension of F such that $K\;{\otimes}_F\;L\;=\; N_1\;{\oplus}N_2\;{\oplus}{\cdots}{\oplus}N_k$ with corresponding primitive idempotents $e_1,\;e_2,{\cdots},e_k$, where Ni's are fields. Then G acts on $\{e_1,\;e_2,{\cdots},e_k\}$ transitively and $Gal(N_1/K)\;{\cong}\;\{\sigma\;{\in}\;G\;/\;{\sigma}(e_1)\;=\;e_1\}$. And, let R be a commutative F-algebra, and let P be a prime ideal of R. Let T = $K\;{\otimes}_F\;R$, and suppose there are only finitely many prime ideals $Q_1,\;Q_2,{\cdots},Q_k$ of T with $Q_i\;{\cap}\;R\;=\;P$. Then G acts transitively on $\{Q_1,\;Q_2,{\cdots},Q_k\},\;and\;Gal(qf(T/Q_1)/qf(R/P))\;{\cong}\;\{\sigma{\in}\;G/\;{\sigma}-(Q_1)\;=\;Q_1\}$ where qf($T/Q_1$) is the quotient field of $T/Q_1$.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.1
• /
• pp.45-51
• /
• 2005

In this paper, we establish necessary and sufficient conditions for an exchange ideal to be a qb-ideal. It is shown that an exchange ideal I of a ring R is a qb-ideal if and only if when-ever $a{\simeq}b$ via I, there exists u ${\in} I_q^{-1}$ such that a = $ubu_q^{-1}$ and b = $u_q^{-1}$. This gives a generalization of the corresponding result of exchange QB-rings.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.445-453
• /
• 1996

A closed subspace J of a Banach space X is called an M-ideal in X if the annihilator $J^\perp$ of J is an L-summand of $X^*$. That is, there exists a closed subspace J' of $X^*$ such that $X^* = J^\perp \oplus J'$ and $\left\$\mid$ p + q \right\$\mid$ = \left\$\mid$ p \right\$\mid$ + \left\$\mid$ q \right\$\mid$$ wherever $p \in J^\perp and q \in J'$.

• Kyungpook Mathematical Journal
• /
• v.51 no.1
• /
• pp.69-76
• /
• 2011

In this paper, we introduce a partitioning ideal of a ternary semiring which is useful to develop the quotient structure of ternary semiring. Indeed we prove : 1) The quotient ternary semiring S/$I_{(Q)}$ is essentially independent of choice of Q. 2) If f : S ${\rightarrow}$ S' is a maximal ternary semiring homomorphism, then S/ker $f_{(Q)}$ ${\cong}$ S'. 3) Every partitioning ideal is subtractive. 4) Let I be a Q-ideal of a ternary semiring S. Then A is a subtractive ideal of S with I ${\subseteq}$ A if and only if A/$I_{(Q{\cap}A)}$ = {q + I : q ${\in}$ Q ${\cap}$ A} is a subtractive idea of S/$I_{(Q)}$.