• Korean Journal of Mathematics
• /
• 제25권2호
• /
• pp.215-227
• /
• 2017

Let D be an integral domain with quotient field K, X be an indeterminate over D, K[X] be the polynomial ring over K, and $R=\{f{\in}K[X]{\mid}f(0){\in}D\}$; so R is a subring of K[X] containing D[X]. For $f=a_0+a_1X+{\cdots}+a_nX^n{\in}R$, let C(f) be the ideal of R generated by $a_0$, $a_1X$, ${\ldots}$, $a_nX^n$ and $N(H)=\{g{\in}R{\mid}C(g)_{\upsilon}=R\}$. In this paper, we study two rings $R_{N(H)}$ and $Kr(R,{\upsilon})=\{{\frac{f}{g}}{\mid}f,g{\in}R,\;g{\neq}0,{\text{ and }}C(f){\subseteq}C(g)_{\upsilon}\}$. We then use these two rings to give some examples which show that the results of [4] are the best generalizations of Nagata rings and Kronecker function rings to graded integral domains.

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

• 대한수학회보
• /
• 제20권1호
• /
• pp.31-36
• /
• 1983

Let R be a commutative ring with 1, and A a unitary commutative R-algebra. By a derivation module of A, we mean a pair (M, d), where M is an A-module and d: A.rarw.M and R-derivation, i.e., d is an R-linear mapping such that d(ab)=a)db)+b(da). A derivation module homomorphism f:(M,d).rarw.(N, .delta.) is an A-homomorphism f:M.rarw.N such that f.d=.delta.. A derivation module of A, (U, d), there exists a unique derivation module homomorphism f:(U, d).rarw.(M,.delta.). In fact, a universal derivation module of A exists in the category of derivation modules of A, and is unique up to unique derivation module isomorphisms [2, pp. 101]. When (U,d) is a universal derivation module of R-algebra A, the A-module U is denoted by U(A/R). For out convenience, U(A/R) will also be called a universal derivation module of A, and d the R-derivation corresponding to U(A/R).

• 충청수학회지
• /
• 제26권2호
• /
• pp.393-402
• /
• 2013

For 0 < $p$ < ${\infty}$, ${\alpha}$ > -1 and 0 < $r$ < 1, we show that if $f$ is in the space of Dirichlet type $\mathfrak{D}^p_{p-1}$, then ${\int}_{1}^{0}M_{p}^{p}(r,f^{\prime})(1-r)^{p-1}rdr$ < ${\infty}$ and ${\int}_{1}^{0}M_{(2+{\alpha})p}^{(2+{\alpha})p}(r,f^{\prime})(1-r)^{(2+{\alpha})p+{\alpha}}rdr$ < ${\infty}$ where $M_p(r,f)=\[\frac{1}{2{\pi}}{\int}_{0}^{2{\pi}}{\mid}f(re^{it}){\mid}^pdt\]^{1/p}$. For 1 < $p$ < $q$ < ${\infty}$ and ${\alpha}+1$ < $p$, we show that if there exists some positive constant $c$ such that ${\parallel}f{\parallel}_{L^{q(d{\mu})}}{\leq}c{\parallel}f{\parallel}_{\mathfrak{D}^p_{\alpha}}$ for all $f{\in}\mathfrak{D}^p_{\alpha}$, then ${\parallel}f{\parallel}_{L^{q(d{\mu})}}{\leq}c{\parallel}f{\parallel}_{\mathcal{B}_p(q)}$ where $\mathcal{B}_p(q)$ is the weighted Besov space. We also find the condition of measure ${\mu}$ such that ${\sup}_{a{\in}D}{\int}_D(k_a(z)(1-{\mid}a{\mid}^2)^{(p-a-1)})^{q/p}d{\mu}(z)$ < ${\infty}$.

• Kyungpook Mathematical Journal
• /
• 제59권1호
• /
• pp.1-11
• /
• 2019

Let R be a prime ring with involution of the second kind and centre Z(R). Suppose R admits a generalized derivation $F:R{\rightarrow}R$ associated with a derivation $d:R{\rightarrow}R$. The purpose of this paper is to study the commutativity of a prime ring R satisfying any one of the following identities: (i) $F(x){\circ}x^*{\in}Z(R)$ (ii) $F([x,x^*]){\pm}x{\circ}x^*{\in}Z(R)$ (iii) $F(x{\circ}x^*){\pm}[x,x^*]{\in}Z(R)$ (iv) $F(x){\circ}d(x^*){\pm}x{\circ}x^*{\in}Z(R)$ (v) $[F(x),d(x^*)]{\pm}x{\circ}x^*{\in}Z(R)$ (vi) $F(x){\pm}x{\circ}x^*{\in}Z(R)$ (vii) $F(x){\pm}[x,x^*]{\in}Z(R)$ (viii) $[F(x),x^*]{\mp}F(x){\circ}x^*{\in}Z(R)$ (ix) $F(x{\circ}x^*){\in}Z(R)$ for all $x{\in}R$.

• 시스템엔지니어링학술지
• /
• 제5권1호
• /
• pp.7-20
• /
• 2009

This paper describes a case study on the R&D programs of fighter and attacker aircraft such as F-22A, F/A-18E/F, and T/A-50. F-22A and F/A-18E/F were developed in same age. The performance of each program was, however extremely different. F-22A program results in a lot of cost overrun and schedule delay. On the other hand F/A-18E/F program met the cost, schedule, and performance goals. In the T/A-50 program with a super-sonic advanced trainer, T-50 was also developed successfully on planned cost and time by Korea Air-force and KAI. This paper derives key elements for the success of the military aircraft R&D program through lessons learned from th e case study. Each program is analyzed in terms of its background, planning and management.

• 대한수학회보
• /
• 제55권2호
• /
• pp.573-586
• /
• 2018

Let R be a noncommutative prime ring of characteristic different from 2, Q be its maximal right ring of quotients and C be its extended centroid. Suppose that $f(x_1,{\ldots},x_n)$ be a noncentral multilinear polynomial over $C,b{\in}Q,F$ a b-generalized derivation of R and d is a nonzero derivation of R such that d([F(f(r)), f(r)]) = 0 for all $r=(r_1,{\ldots},r_n){\in}R^n$. Then one of the following holds: (1) there exists ${\lambda}{\in}C$ such that $F(x)={\lambda}x$ for all $x{\in}R$; (2) there exist ${\lambda}{\in}C$ and $p{\in}Q$ such that $F(x)={\lambda}x+px+xp$ for all $x{\in}R$ with $f(x_1,{\ldots},x_n)^2$ is central valued in R.

• 대한수학회논문집
• /
• 제34권1호
• /
• pp.83-93
• /
• 2019

Let R be a noncommutative prime ring of characteristic different from 2, U the Utumi quotient ring of R, C the extended centroid of R and f($x_1,{\ldots},x_n$) a noncentral multilinear polynomial over C in n noncommuting variables. Denote by f(R) the set of all the evaluations of f($x_1,{\ldots},x_n$) on R. If d is a nonzero derivation of R and G a nonzero generalized derivation of R such that $$d(G(u)u){\in}Z(R)$$ for all $u{\in}f(R)$, then $f(x_1,{\ldots},x_n)^2$ is central-valued on R and there exists $b{\in}U$ such that G(x) = bx for all $x{\in}R$ with $d(b){\in}C$. As an application of this result, we investigate the commutator $[F(u)u,G(v)v]{\in}Z(R)$ for all $u,v{\in}f(R)$, where F and G are two nonzero generalized derivations of R.

• 대한수학회보
• /
• 제40권1호
• /
• pp.29-51
• /
• 2003

In this paper we construct a natural filtration associated to the plethysm $S_{r}(\wedge^2 \varphi)$ over arbitrary commutative ring R. Let $\phi$ : G longrightarrow F be a morphism of finite free R-modules. We construct the natural filtration of $S_{r}(\wedge^2 \varphi)$ as a $GL(F){\times}GL(G)$- complex such that its associated graded complex is ${\Sigma}_{{\lambda}{\in}{\Omega}_{\gamma}}=L_{2{\lambda}{\varphi}$, where ${{\Omega}_{\gamma}}^{-}$ is a set of partitions such that $│\wedge│\;=;{\gamma}\;and\;2{\wedge}$ is a partition of which i-th term is $2{\wedge}_{i}$. Specializing our result, we obtain the filtrations of $S_{r}(\wedge^2 F)\;and\;D_{r}(D_2G).

• 대한수학회논문집
• /
• 제36권2호
• /
• pp.229-238
• /
• 2021

Let R be a ring with characteristic different from 2. An additive mapping F : R → R is called a generalized derivation on R if there exists a derivation d : R → R such that F(xy) = F(x)y + xd(y) holds for all x, y ∈ R. In the present paper, we show that if R is a prime ring satisfying certain identities involving a generalized derivation F associated with a derivation d, then R becomes commutative and in some cases d comes out to be zero (i.e., F becomes a left centralizer). We provide some counter examples to justify that the restrictions imposed in the hypotheses of our theorems are not superfluous.