• Korean Journal of Mathematics
• /
• v.21 no.4
• /
• pp.455-462
• /
• 2013

Let D be an integral domain, S be a saturated multi-plicative subset of D such that $D_S$ is a factorial domain, $\{X_{\alpha}\}$ be a nonempty set of indeterminates, and $D[\{X_{\alpha}\}]$ be the polynomial ring over D. We show that S is a splitting (resp., almost splitting, t-splitting) set in D if and only if every nonzero prime t-ideal of D disjoint from S is principal (resp., contains a primary element, is t-invertible). We use this result to show that $D{\backslash}\{0\}$ is a splitting (resp., almost splitting, t-splitting) set in $D[\{X_{\alpha}\}]$ if and only if D is a GCD-domain (resp., UMT-domain with $Cl(D[\{X_{\alpha}\}]$ torsion UMT-domain).

• Korean Journal of Mathematics
• /
• v.21 no.4
• /
• pp.365-374
• /
• 2013

Let $k=\mathbb{F}_q(T)$ be a rational function field over the finite field $\mathbb{F}_q$, where q is a power of an odd prime number, and $\mathbb{A}=\mathbb{F}_q[T]$. Let ${\gamma}$ be a generator of $\mathbb{F}^*_q$. Let $\mathcal{H}_n$ be the subset of $\mathbb{A}$ consisting of monic square-free polynomials of degree n. In this paper we obtain an asymptotic formula for the mean value of $L(1,{\chi}_{\gamma}{\small{D}})$ and calculate the average value of the ideal class number $h_{\gamma}\small{D}$ when the average is taken over $D{\in}\mathcal{H}_{2g+2}$.

• Journal of applied mathematics & informatics
• /
• v.16 no.1_2
• /
• pp.251-263
• /
• 2004

In this paper, algorithms for computing the minimal polynomial and the common minimal polynomial of resultant matrices over any field are presented by means of the approach for the Grobner basis of the ideal in the polynomial ring, respectively, and two algorithms for finding the inverses of such matrices are also presented. Finally, an algorithm for the inverse of partitioned matrix with resultant blocks over any field is given, which can be realized by CoCoA 4.0, an algebraic system over the field of rational numbers or the field of residue classes of modulo prime number. We get examples showing the effectiveness of the algorithms.

• Korean Journal of Mathematics
• /
• v.18 no.2
• /
• pp.185-193
• /
• 2010

Let D be an integral domain, and let ${\bar{D}}$ be the integral closure of D. We show that if D is an almost pseudo-valuation domain (APVD), then D is a quasi-$Pr{\ddot{u}}fer$ domain if and only if D=P is a quasi-$Pr{\ddot{u}}fer$ domain for each prime ideal P of D, if and only if ${\bar{D}}$ is a valuation domain. We also show that D(X), the Nagata ring of D, is a locally APVD if and only if D is a locally APVD and ${\bar{D}}$ is a $Pr{\ddot{u}}fer$ domain.

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

Let (R, T) be a normal pair of commutative rings (i.e., R ${\subseteq}$ T is a unita extension of commutative rings, not necessarily integral domains, such that S is integrally closed in T for each ring S such that R ${\subseteq}$ S ${\subseteq}$ T) such that the total quotient ring of R is a von Neumann regular ring. Let P be one of the following ring-theoretic properties: going-down ring, extensionally going-down (EGD) ring, locally divided ring. Then R has P if and only if T has P. An example shows that the "if" part of the assertion fails if P is taken to be the "divided domain" property.

• Honam Mathematical Journal
• /
• v.33 no.3
• /
• pp.419-424
• /
• 2011

Let D be an integral domain, Spec(D) the set of prime ideals of D, and X a subspace of the Zariski topology on Spec(D). We show that X is compact if and only if given any ideal I of D with $I{\nsubseteq}P$ for all $P{\in}X$, there exists a finitely generated idea $J{\subseteq}I$ such that $J{\nsubseteq}P$ for all $P{\in}X$. We also prove that if D = ${\cap}_{P{\in}X}D_P$ and if * is the star-operation on D induced by X, then X is compact if and only if * $_f$-Max(D) ${\subseteq}$X. As a corollary, we have that t-Max(D) is compact and that ${\mathcal{P}}$(D) = {P${\in}$ Spec(D)$|$P is minimal over (a : b) for some a, b${\in}$D} is compact if and only if t-Max(D) ${\subseteq}\;{\mathcal{P}}$(D).

• Korean Journal of Mathematics
• /
• v.27 no.2
• /
• pp.375-415
• /
• 2019

We study spaces of continuous-function-valued functions that have the property that composition with evaluation functionals induce $weak^*$ to norm continuous maps to ${\ell}^p$ space ($p{\in}(1,\;{\infty})$). Versions of $H{\ddot{o}}lder^{\prime}s$ inequality and Riesz representation theorem are proved to hold on these spaces. We prove a version of Dixmier's theorem for spaces of function-valued matrix operators on these spaces, and an analogue of the trace formula for operators on Hilbert spaces. When the function space is taken to be the complex field, the spaces are just the ${\ell}^p$ spaces and the well-known classical theorems follow from our results.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.12 no.1
• /
• pp.21-32
• /
• 2002

In this paper, for any prime q, new cyclic difference sets with Singer parameter equation omitted are constructed by using the q-ary sequences (d-homogeneous functions) of period $q_n$-1. When q is a power of 3, new cyclic difference sets with Singer parameter equation omitted are constructed from the ternary sequences of period $q_n$-1 with ideal autocorrealtion found by Helleseth, Kumar and Martinsen.

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.11-19
• /
• 2023

Let 𝓗₀ be the set of rings R such that Nil(R) = Z(R) is a divided prime ideal of R. The concept of maximal non φ-chained subrings is a generalization of maximal non valuation subrings from domains to rings in 𝓗₀. This generalization was introduced in [20] where the authors proved that if R ∈ 𝓗₀ is an integrally closed ring with finite Krull dimension, then R is a maximal non φ-chained subring of T(R) if and only if R is not local and |[R, T(R)]| = dim(R) + 3. This motivates us to investigate the other natural numbers n for which R is a maximal non φ-chained subring of some overring S. The existence of such an overring S of R is shown for 3 ≤ n ≤ 6, and no such overring exists for n = 7.

• Kyungpook Mathematical Journal
• /
• v.63 no.1
• /
• pp.29-36
• /
• 2023

Parkash and Kour obtained a new version of Cohen's theorem for Noetherian modules, which states that a finitely generated R-module M is Noetherian if and only if for every prime ideal 𝔭 of R with Ann(M) ⊆ 𝔭, there exists a finitely generated submodule N^𝔭 of M such that 𝔭M ⊆ N^𝔭 ⊆ M(𝔭), where M(𝔭) = {x ∈ M | sx ∈ 𝔭M for some s ∈ R \ 𝔭}. In this paper, we generalize the Parkash and Kour version of Cohen's theorem for Noetherian modules to S-Noetherian modules and w-Noetherian modules.