• Communications of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.789-803
• /
• 2017

Let $K={\mathbb{Q}}({\alpha})$ be a cubic field where ${\alpha}$ is an algebraic integer such that $disc_K({\alpha})$ is square-free. In this paper we will classify the structure of the unit group of the quotient ring ${\mathcal{O}}_K/A$ for each non-zero ideal A of ${\mathcal{O}}_K$.

• Kyungpook Mathematical Journal
• /
• v.57 no.2
• /
• pp.187-191
• /
• 2017

Let R be a domain with quotient field K and prime subring A. Then R is integral over each of its subrings having quotient field K if and only if (A, R) is a survival pair. This shows the redundancy of a condition involving going-down pairs in a earlier characterization of such rings. In characteristic 0, the domains being characterized are the rings R that are isomorphic to subrings of the ring of all algebraic integers. In positive (prime) characteristic, the domains R being characterized are of two kinds: either R = K is an algebraic field extension of A or precisely one valuation domain of K does not contain R.

• Journal of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.483-494
• /
• 2010

Let R be a non-commutative prime ring and I a non-zero left ideal of R. Let U be the left Utumi quotient ring of R and C be the center of U and k, m, n, r fixed positive integers. If there exists a generalized derivation g of R such that $[g(x^m)x^n,\;x^r]_k\;=\;0$ for all x $\in$ I, then there exists a $\in$ U such that g(x) = xa for all x $\in$ R except when $R\;{\cong}\;=M_2$(GF(2)) and I[I, I] = 0.

• Kyungpook Mathematical Journal
• /
• v.56 no.2
• /
• pp.397-408
• /
• 2016

Let R be a 2-torsion free prime ring with center Z, U be the Utumi quotient ring, Q be the Martindale quotient ring of R, d be a derivation of R and L be a Lie ideal of R. If $d(uv)^n=d(u)^md(v)^l$ or $d(uv)^n=d(v)^ld(u)^m$ for all $u,v{\in}L$, where m, n, l are xed positive integers, then $L{\subseteq}Z$. We also examine the case when R is a semiprime ring. Finally, as an application we apply our result to the continuous derivations on non-commutative Banach algebras. This result simultaneously generalizes a number of results in the literature.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.3
• /
• pp.599-605
• /
• 2009

Let R be a prime ring, H a generalized derivation of R and L a noncommutative Lie ideal of R. Suppose that $u^sH(u)u^t$ = 0 for all u $\in$ L, where s $\geq$ 0, t $\geq$ 0 are fixed integers. Then H(x) = 0 for all x $\in$ R unless char R = 2 and R satisfies $S_4$, the standard identity in four variables.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.5
• /
• pp.917-922
• /
• 2011

Let R be a prime ring, H a generalized derivation of R, L a noncentral Lie ideal of R, and 0 ${\neq}$ a ${\in}$ R. Suppose that $au^sH(u)u^t$ = 0 for all u ${\in}$ L, where s; t ${\geq}$ 0 are fixed integers. Then H = 0 unless satisfies $S_4$, the standard identity in four variables.

• The Pure and Applied Mathematics
• /
• v.1 no.1
• /
• pp.7-11
• /
• 1994

Classically, valuation theory is closely related to the theory of divisors and conversely. If D is a Dedekined ring and K is its quotient field, then we can clearly construct the theory of divisors on D (or K), and then we can induce all the valuations on K ([3]). In particular, if K is a number field and A is the ring of algebraic integers, then since Z is Dedekind, A is a Dedekind rign and K is the field of fractions of A.(omitted)

• Journal of applied mathematics & informatics
• /
• v.8 no.2
• /
• pp.591-611
• /
• 2001

In this paper, we classify elliptic curve by isomorphism classes over some finite fields. We consider finite field as a quotient ring, saying $\mathbb{Z}[i]/{\pi}\mathbb{Z}[i]$ where $\pi$ is a prime element in $\mathbb{Z}[i]$. Here $\mathbb{Z}[i]$ is the ring of Gaussian integers.

• Journal of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.571-594
• /
• 2022

Let D be an integral domain with quotient field K, Pic(D) be the ideal class group of D, and X be an indeterminate. A polynomial overring of D means a subring of K[X] containing D[X]. In this paper, we study almost Dedekind domains which are polynomial overrings of a principal ideal domain D, defined by the intersection of K[X] and rank-one discrete valuation rings with quotient field K(X), and their ideal class groups. Next, let ℤ be the ring of integers, ℚ be the field of rational numbers, and 𝔊f be the set of finitely generated abelian groups (up to isomorphism). As an application, among other things, we show that there exists an overring R of ℤ[X] such that (i) R is a Bezout domain, (ii) R∩ℚ[X] is an almost Dedekind domain, (iii) Pic(R∩ℚ[X]) = $\oplus_{G{\in}G_{f}}$ G, (iv) for each G ∈ 𝔊f, there is a multiplicative subset S of ℤ such that RS ∩ ℚ[X] is a Dedekind domain with Pic(RS ∩ ℚ[X]) = G, and (v) every invertible integral ideal I of R ∩ ℚ[X] can be written uniquely as I = XnQe11···Qekk for some integer n ≥ 0, maximal ideals Qi of R∩ℚ[X], and integers ei ≠ 0. We also completely characterize the almost Dedekind polynomial overrings of ℤ containing Int(ℤ).

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.885-898
• /
• 2012

Let m, n, r be nonzero fixed positive integers, R a 2-torsion free prime ring, Q its right Martindale quotient ring, and L a non-central Lie ideal of R. Let D : $R{\rightarrow}R$ be a skew derivation of R and $E(x)=D(x^{m+n+r})-D(x^m)x^{n+r}-x^mD(x^n)x^r-x^{m+n}D(x^r)$. We prove that if $E(x)=0$ for all $x{\in}L$, then D is a usual derivation of R or R satisfies $s_4(x_1,{\ldots},x_4)$, the standard identity of degree 4.