• Communications of the Korean Mathematical Society
• /
• v.25 no.3
• /
• pp.365-372
• /
• 2010

In this paper, we show that the mapping ${\varphi}(x)\;=\;0*x$ is an endomorphism of a Q-algebra X, which induces a congruence relation "~" such that X/$\varphi$ is a medial Q-algebra. We also study some decompositions of ideals in Q-algebras and obtain equivalent conditions for closed ideals. Moreover, we show that if I is an ideal of a Q-algebra X, then $I^g$ is an ignorable ideal of X.

• Honam Mathematical Journal
• /
• v.39 no.1
• /
• pp.93-100
• /
• 2017

Let $\mathcal{H}$ be an infinite dimensional separable Hilbert space with a fixed orthonormal base $\{e_1,e_2,{\cdots}\}$. Let $\mathcal{L}$ be the subspace lattice generated by the subspaces $\{[e_1],[e_1,e_2],[e_1,e_2,e_3],{\cdots}\}$ and let $Alg{\mathcal{L}}$ be the algebra of bounded operators which leave invariant all projections in $\mathcal{L}$. Let p and q be natural numbers($p{\leqslant}q$). Let $\mathcal{B}_{p,q}=\{T{\in}Alg\mathcal{L}{\mid}T_{(p,q)}=0\}$. Let $\mathcal{A}$ be a linear manifold in $Alg{\mathcal{L}}$ such that $\{0\}{\varsubsetneq}{\mathcal{A}}{\subset}{\mathcal{B}}_{p,q}$. If $\mathcal{A}$ is an ideal in $Alg{\mathcal{L}}$, then $T_{(i,j)}=0$, $p{\leqslant}i{\leqslant}q$ and $i{\leqslant}j{\leqslant}q$ for all T in $\mathcal{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.

• Journal of applied mathematics & informatics
• /
• v.18 no.1_2
• /
• pp.419-430
• /
• 2005

In this paper, we introduce the notions of ($\in,\;{\in} V q$)-fuzzy subnear-ring, ($\in,\;{\in} V q$)-fuzzy ideal and ($\in,\;{\in}V q$)-fuzzy quasi-ideal of near-rings and find more generalized concepts than those introduced by others. The characterization of such ($\in,\;{\in}V q$)-fuzzy ideals are also obtained.

• Korean Journal of Mathematics
• /
• v.28 no.1
• /
• pp.31-47
• /
• 2020

In this paper, we discuss in detail some of the properties of the new kind of (∈, ∈ ∨q)-fuzzy ideals in Near-ring. The concept of (∈, ∈ ∨q^δ₀)-fuzzy ideal of Near-ring is introduced and some of its related properties are investigated.

• Journal of the Chungcheong Mathematical Society
• /
• v.32 no.2
• /
• pp.207-214
• /
• 2019

The notions of a fuzzy simple BCK/BCI-algebra and an (${\in},{\in}{\vee}q$)-fuzzy simple BCK/BCI-algebra are introduced. Using these notions, characterizations of a simple BCK/BCI-algebra are considered.

• Kyungpook Mathematical Journal
• /
• v.46 no.2
• /
• pp.261-271
• /
• 2006

In this paper, we investigate and characterize the class of A-semirings. A characterization of the Thierrin radical of a proper ideal of an A-semiring is given. Moreover, when P is a Q-ideal in the semiring R, it is shown that P is primary if and only if R/P is nilpotent.

• Journal of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1733-1757
• /
• 2017

Let $R={\oplus}_{{\alpha}{\in}{\Gamma}}R_{\alpha}$ be an integral domain graded by an arbitrary torsionless grading monoid ${\Gamma}$, ${\bar{R}}$ be the integral closure of R, H be the set of nonzero homogeneous elements of R, C(f) be the fractional ideal of R generated by the homogeneous components of $f{\in}R_H$, and $N(H)=\{f{\in}R{\mid}C(f)_v=R\}$. Let $R_H$ be a UFD. We say that a nonzero prime ideal Q of R is an upper to zero in R if $Q=fR_H{\cap}R$ for some $f{\in}R$ and that R is a graded UMT-domain if each upper to zero in R is a maximal t-ideal. In this paper, we study several ring-theoretic properties of graded UMT-domains. Among other things, we prove that if R has a unit of nonzero degree, then R is a graded UMT-domain if and only if every prime ideal of $R_{N(H)}$ is extended from a homogeneous ideal of R, if and only if ${\bar{R}}_{H{\backslash}Q}$ is a graded-$Pr{\ddot{u}}fer$ domain for all homogeneous maximal t-ideals Q of R, if and only if ${\bar{R}}_{N(H)}$ is a $Pr{\ddot{u}}fer$ domain, if and only if R is a UMT-domain.

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

• Journal of the Korean Mathematical Society
• /
• v.42 no.1
• /
• pp.53-63
• /
• 2005

Let R be a ring R and ${\sigma}$ be an endomorphism of R. R is called ${\sigma}$-rigid (resp. reduced) if $a{\sigma}r(a) = 0 (resp{\cdot}a^2 = 0)$ for any $a{\in}R$ implies a = 0. An ideal I of R is called a ${\sigma}$-ideal if ${\sigma}(I){\subseteq}I$. R is called ${\sigma}$-quasi-Baer (resp. right (or left) ${\sigma}$-p.q.-Baer) if the right annihilator of every ${\sigma}$-ideal (resp. right (or left) principal ${\sigma}$-ideal) of R is generated by an idempotent of R. In this paper, a skew polynomial ring A = R[$x;{\sigma}$] of a ring R is investigated as follows: For a ${\sigma}$-rigid ring R, (1) R is ${\sigma}$-quasi-Baer if and only if A is quasi-Baer if and only if A is $\={\sigma}$-quasi-Baer for every extended endomorphism $\={\sigma}$ on A of ${\sigma}$ (2) R is right ${\sigma}$-p.q.-Baer if and only if R is ${\sigma}$-p.q.-Baer if and only if A is right p.q.-Baer if and only if A is p.q.-Baer if and only if A is $\={\sigma}$-p.q.-Baer if and only if A is right $\={\sigma}$-p.q.-Baer for every extended endomorphism $\={\sigma}$ on A of ${\sigma}$.