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

• Journal of the Korean Mathematical Society
• /
• v.51 no.3
• /
• pp.495-507
• /
• 2014

Nielsen and Rege-Chhawchharia called a ring R right McCoy if given nonzero polynomials f(x), g(x) over R with f(x)g(x) = 0, there exists a nonzero element r ${\in}$ R with f(x)r = 0. Hong et al. called a ring R strongly right McCoy if given nonzero polynomials f(x), g(x) over R with f(x)g(x) = 0, f(x)r = 0 for some nonzero r in the right ideal of R generated by the coefficients of g(x). Subsequently, Kim et al. observed similar conditions on linear polynomials by finding nonzero r's in various kinds of one-sided ideals generated by coefficients. But almost all results obtained by Kim et al. are concerned with the case of products of linear polynomials. In this paper we examine the nonzero annihilators in the products of general polynomials.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.4
• /
• pp.907-915
• /
• 2024

Let f be an integral quadratic form in k variables, F the Gram matrix corresponding to a ℤ-basis of ℤ^k. For r ∈ F^-1ℤ^k, a rational number n with f(r) ≡ n mod ℤ and a positive integer c, set N_f(n, r; c) := #{x ∈ ℤ^k/cℤ^k : f(x + r) ≡ n mod c}. Siegel showed that for each prime p, there is a number w depending on r and n such that N_f(n, r; p^ν+1) = p^k-1N_f(n, r; p^ν) holds for every integer ν > w and gave a rough estimation on the upper bound for such w. In this short note, we give a more explicit estimation on this bound than Siegel's.

• Journal of the Korean Crystal Growth and Crystal Technology
• /
• v.9 no.1
• /
• pp.1-5
• /
• 1999

The rare-earth ions ($R^{3+}$, R=Nd, Er) doped $CaF_{2}$ layers have been grown on $CaF_{2}$ (111) substrate by molecular beam epitaxy. The surface structure and the crystallinity of $CaF_{2}:R^{3+}$ layers depending on the doping concentration of $R^{3+}$ and layer thickness were studied by reflection high-energy electron diffraction (RHEED). In aspect of application as buffer layer in semiconductor-related hybrid structure, the lattice displacement between $CaF_{2}:R^{3+}$ layers and $CaF_{2}$ (111) substrate was investigated by X-ray rocking curve analysis.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1981-1990
• /
• 2017

Let R be a root system in $\mathbb{R}^d$ with Coxeter-Weyl group W and let k be a nonnegative multiplicity function on R. The generalized volume mean of a function $f{\in}L^1_{loc}(\mathbb{R}^d,m_k)$, with $m_k$ the measure given by $dmk(x):={\omega}_k(x)dx:=\prod_{{\alpha}{\in}R}{\mid}{\langle}{\alpha},x{\rangle}{\mid}^{k({\alpha})}dx$, is defined by: ${\forall}x{\in}\mathbb{R}^d$, ${\forall}r$ > 0, $M^r_B(f)(x):=\frac{1}{m_k[B(0,r)]}\int_{\mathbb{R}^d}f(y)h_k(r,x,y){\omega}_k(y)dy$, where $h_k(r,x,{\cdot})$ is a compactly supported nonnegative explicit measurable function depending on R and k. In this paper, we prove that for almost every $x{\in}\mathbb{R}^d$, $lim_{r{\rightarrow}0}M^r_B(f)(x)= f(x)$.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.2
• /
• pp.531-538
• /
• 2014

Concentric hyperspheres in the n-dimensional Euclidean space $\mathbb{R}^n$ are the level hypersurfaces of a radial function f : $\mathbb{R}^n{\rightarrow}\mathbb{R}$. The magnitude $||{\nabla}f||$ of the gradient of such a radial function f : $\mathbb{R}^n{\rightarrow}\mathbb{R}$ is a function of the function f. We are interested in the converse problem. As a result, we show that if the magnitude of the gradient of a function f : $\mathbb{R}^n{\rightarrow}\mathbb{R}$ with isolated critical points is a function of f itself, then f is either a radial function or a function of a linear function. That is, the level hypersurfaces are either concentric hyperspheres or parallel hyperplanes. As a corollary, we see that if the magnitude of a conservative vector field with isolated singularities on $\mathbb{R}^n$ is a function of its scalar potential, then either it is a central vector field or it has constant direction.

• Honam Mathematical Journal
• /
• v.31 no.4
• /
• pp.515-527
• /
• 2009

Let R be a commutative ring with identity. Then we prove $M_n(R)=GL_n(R)$ ${\cup}${$A{\in}M_n(R)\;{\mid}\;detA{\neq}0$ and det $A{\neq}U(R)$}${\cup}Z(M-n(R))$ where U(R) denotes the set of all units of R. In particular, it will be proved that the full matrix ring $M_n(F)$ over a field F is the disjoint union of the general linear group $GL_n(F)$ of degree n over the field F and the set $Z(M_n(F))$ of all zero-divisors of $M_n(F)$. Using the result and universal mapping property we prove that $M_n(F)$ is its total ring of fractions.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.961-976
• /
• 2019

Let R be any commutative ring and S be any multiplicative closed set. We introduce an S-version of $\mathcal{F}$-Mittag-Leffler modules, called $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, and define the projective dimension with respect to these modules. We give some characterizations of $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, investigate the relationships between $\mathcal{F}$-Mittag-Leffler modules and $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, and use these relations to describe noetherian rings and coherent rings, such as R is noetherian if and only if $R_S$ is noetherian and every $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler module is $\mathcal{F}$-Mittag-Leffler. Besides, we also investigate the $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension of R, and prove that $R_S$ is noetherian if and only if its $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension is zero; $R_S$ is coherent if and only if its $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension is at most one.

• Journal of the Korean Mathematical Society
• /
• v.48 no.6
• /
• pp.1171-1187
• /
• 2011

Silverman [14] proved a height inequality for a jointly regular family of rational maps and the author [10] improved it for a jointly regular pair. In this paper, we provide the same improvement for a jointly regular family: let h : ${\mathbb{P}}_{\mathbb{Q}}^n{\rightarrow}{{\mathbb{R}}$ be the logarithmic absolute height on the projective space, let r(f) be the D-ratio of a rational map f which is de ned in [10] and let {$f_1,{\ldots},f_k|f_l:\mathbb{A}^n{\rightarrow}\mathbb{A}^n$} bbe finite set of polynomial maps which is defined over a number field K. If the intersection of the indeterminacy loci of $f_1,{\ldots},f_k$ is empty, then there is a constant C such that $ \sum\limits_{l=1}^k\frac{1}{def\;f_\iota}h(f_\iota(P))>(1+\frac{1}{r})f(P)-C$ for all $P{\in}\mathbb{A}^n$ where r= $max_{\iota=1},{\ldots},k(r(f_l))$.

• Communications of the Korean Mathematical Society
• /
• v.18 no.2
• /
• pp.243-249
• /
• 2003

We consider weighted Bergman spaces and radial derivatives on the spaces. We also prove that for each element f in B$\^$p, r/ there is a unique f in B$\^$p, r/ such that f is the radial derivative of f and for each f$\in$B$\^$r/(i), f is the radial derivative of some element of B$\^$r/(i) if and only if, lim f(tz)= 0 for all z$\in$H.