• Communications of the Korean Mathematical Society
• /
• v.28 no.1
• /
• pp.79-85
• /
• 2013

The structure of a poset P with smallest element 0 is looked at from two view points. Firstly, with respect to the Zariski topology, it is shown that Spec(P), the set of all prime semi-ideals of P, is a compact space and Max(P), the set of all maximal semi-ideals of P, is a compact $T_1$ subspace. Various other topological properties are derived. Secondly, we study the semi-ideal-based zero-divisor graph structure of poset P, denoted by $G_I$ (P), and characterize its diameter.

• Journal of applied mathematics & informatics
• /
• v.5 no.3
• /
• pp.819-826
• /
• 1998

The purpose of this paper is to prove the following results; (1) Let R be a prime ring of char $(R)\neq 2$ and I a nonzero left ideal of R. The existence of a nonzero symmetric bi-derivation D : $R\timesR\;\longrightarrow\;$ such that d is sew-commuting on I where d is the trace of D forces R to be commutative (2) Let m and n be integers with $m\;\neq\;0.\;or\;n\neq\;0$. Let R be a noncommutative prime ring of char$ (R))\neq \; 2-1\; p_1 \;n_1$ where p is a prime number which is a divisor of m, and I a nonzero two-sided ideal of R. Let $D_1$ ; $R\;\times\;R\;\longrightarrow\;and\;$ $D_2\;:\;R\;\times\;R\;longrightarrow\;R$ be symmetric bi-derivations. Suppose further that there exists a symmetric bi-additive mapping B ; $R\;\times\;R\;\longrightarrow\;and\;$ such that $md_1(\chi)\chi ＋ n\chi d_2(\chi)=f(\chi$) holds for all $\chi$$\in$I, where $d_1 \;and\; d_2$ are the traces of $D_1 \;and\; D_2$ respectively and f is the trace of B. Then we have $D_1=0 \;and\; D_2=0$.

• Korean Journal of Mathematics
• /
• v.17 no.1
• /
• pp.15-23
• /
• 2009

Let D be an integral domain, P be a nonzero prime ideal of D, $\{P_{\alpha}{\mid}{\alpha}{\in}{\mathcal{A}}\}$ be a nonempty set of prime ideals of D, and $\{I_{\beta}{\mid}{\beta}{\in}{\mathcal{B}}\}$ be a nonempty family of ideals of D with ${\cap}_{{\beta}{\in}{\mathcal{B}}}I_{\beta}{\neq}(0)$. Consider the following conditions: (i) If $P{\subseteq}{\cup}_{{\alpha}{\in}{\mathcal{A}}}P_{\alpha}$, then $P=P_{\alpha}$ for some ${\alpha}{\in}{\mathcal{A}}$; (ii) If ${\cap}_{{\beta}{\in}{\mathcal{B}}}I_{\beta}{\subseteq}P$, then $I_{\beta}{\subseteq}P$ for some ${\beta}{\in}{\mathcal{B}}$. In this paper, we prove that D satisfies $(i){\Leftrightarrow}D$ is a generalized weakly factorial domain of ${\dim}(D)=1{\Rightarrow}D$ satisfies $(ii){\Leftrightarrow}D$ is a weakly Krull domain of dim(D) = 1. We also study the t-operation analogs of (i) and (ii).

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.525-530
• /
• 2015

Let D be an integrally closed domain with quotient field K, X be an indeterminate over D, $f=a_0+a_1X+{\cdots}+a_nX^n{\in}D[X]$ be irreducible in K[X], and $Q_f=fK[X]{\cap}D[X]$. In this paper, we show that $Q_f$ is a maximal ideal of D[X] if and only if $(\frac{a_1}{a_0},{\cdots},\frac{a_n}{a_0}){\subseteq}P$ for all nonzero prime ideals P of D; in this case, $Q_f=\frac{1}{a_0}fD[X]$. As a corollary, we have that if D is a Krull domain, then D has infinitely many height-one prime ideals if and only if each maximal ideal of D[X] has height ${\geq}2$.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.1A
• /
• pp.42-50
• /
• 2002

In this paper, for a prime number p, a construction method to genarate p-ary d-from sequences with ideal autocorrelation property is proposed and using the ternary sequences with ideal autocorrelation found by Helleseth, Kumar and Martinsen, ternary d-form sequences with ideal autocorrelation introduced. By combining the methods for generation the p-ary extended sequence (a special case of geometric sequences) and the p-ary d-from sequences, a construction method of p-ary unified (extended d-form) sequences which also have ideal autocorrelation property is proposed, which is very general class of p-ary sequences including the binary and nonbinary extended sequences and d-form seuqences. Form the ternary sequences with ideal autocorrelation by Helleseth, Kumar and Martinesen, ternary unified sequences with ideal autocorrelation property are also generated.

• Honam Mathematical Journal
• /
• v.45 no.4
• /
• pp.678-681
• /
• 2023

Let G be a cyclic group of prime power order p^k, and let I be the augmentation ideal of the integral group ring ℤ[G]. We define a derivation on ℤ/p^kℤ[G], and show that for 2 ≤ n ≤ p, an element α ∈ I is in Iⁿ if and only if the i-th derivative of the image of α in ℤ/p^kℤ[G] vanishes for 1 ≤ i ≤ (n - 1).

• Communications of the Korean Mathematical Society
• /
• v.37 no.2
• /
• pp.359-370
• /
• 2022

The principal aim of this paper is to study the connection between the structure of a quotient ring R/P and the behavior of special additive mappings of R. More precisely, we characterize the commutativity of R/P using derivations (generalized derivations) of R satisfying algebraic identities involving the prime ideal P. Furthermore, we provide examples to show that the various restrictions imposed in the hypothesis of our theorems are not superfluous.

• Journal of applied mathematics & informatics
• /
• v.42 no.3
• /
• pp.539-548
• /
• 2024

Let R be a ring and P be a prime ideal of R. A mapping d : R → R is called a multiplicative derivation if d(xy) = d(x)y + xd(y) for all x, y ∈ R. In this paper, our main motive is to obtain the well-known theorem due to Posner in the ring R/P for generalized derivations associated with a multiplicative derivation defined by an additive mapping F : R → R such that F(xy) = F(x)y + xd(y), where d : R → R is a multiplicative derivation not necessarily additive. This article discusses the use of generalized derivations associated with a multiplicative derivation to investigate the commutativity of the quotient ring R/P.

• Communications of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.723-731
• /
• 2020

The purpose of this paper is to study the structure of quotient rings R/P where R is an arbitrary ring and P is a prime ideal of R. Especially, we will establish a relationship between the structure of this class of rings and the behavior of derivations satisfying algebraic identities involving prime ideals. Furthermore, the characteristic of the quotient ring R/P has been determined in some situations.

• Kyungpook Mathematical Journal
• /
• v.63 no.3
• /
• pp.325-331
• /
• 2023

Let 𝔄 be a prime ring of char(𝔄 ≠ 2, ℒ a non-central Lie ideal of 𝔄, ℱ a generalized skew derivation of 𝔄 and p ∈ 𝔄, a nonzero fixed element. If pℱ(η)η ∈ C for any η ∈ ℒ, then 𝔄 satisfies S₄.