• 대한수학회지
• /
• 제54권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.

• 대한수학회지
• /
• 제51권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.

• 대한수학회보
• /
• 제61권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.

• 한국결정성장학회지
• /
• 제9권1호
• /
• pp.1-5
• /
• 1999

Molecular beam epitaxy법으로 $CaF_{2}$ (111) 기판위에 희토류 이온 ($(Nd^{3+},\;Er^{3+})$) 첨가 $CaF_{2}$ 박막을 성장하였다. 첨가농도와 박막두께에 따른 희토류 첨가 $CaF_{2}$ 박막의 표면구조와 결정성을 RHEED로 검토하였다. 반도체 관련 고집적회로구조에 있어서의 완층막으로서의 응용을 고려하여, 희토류첨가 $CaF_{2}$ 박막과 $CaF_{2}$ (111) 기판과의 격자부정합의 변이를 X-ray rocking Curve 분석에 의해 검토하였다.

• 대한수학회보
• /
• 제54권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)$.

• 대한수학회보
• /
• 제51권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.

• 호남수학학술지
• /
• 제31권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.

• 대한수학회보
• /
• 제56권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.

• 대한수학회지
• /
• 제48권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))$.

• 대한수학회논문집
• /
• 제18권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.