• Journal of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1311-1325
• /
• 2021

One says that a ring homomorphism R → S is Ohm-Rush if extension commutes with arbitrary intersection of ideals, or equivalently if for any element f ∈ S, there is a unique smallest ideal of R whose extension to S contains f, called the content of f. For Noetherian local rings, we analyze whether the completion map is Ohm-Rush. We show that the answer is typically 'yes' in dimension one, but 'no' in higher dimension, and in any case it coincides with the content map having good algebraic properties. We then analyze the question of when the Ohm-Rush property globalizes in faithfully flat modules and algebras over a 1-dimensional Noetherian domain, culminating both in a positive result and a counterexample. Finally, we introduce a notion that we show is strictly between the Ohm-Rush property and the weak content algebra property.

• Communications of the Korean Mathematical Society
• /
• v.12 no.1
• /
• pp.75-78
• /
• 1997

We show that if a simple $C^*$-algebra A satisfies certain $K_1$-group conditions, then two unitarily equivalent projections are homotopic. Also we show that the equivalence of projections determined by a dimension function is a homotopy.

• The Pure and Applied Mathematics
• /
• v.11 no.2
• /
• pp.149-154
• /
• 2004

We show that the Choquet boundary of the tensor product of two real function algebras is the product of their Choquet boundaries.

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.299-302
• /
• 1994

Throughout this paper, let X be a compact Hausdorff space, and let C(X) (resp. $C_{R}$ /(X)) be the complex (resp. real) Banach algebra of all continuous complex-valued (resp. real-valued) functions on X with the pointwise operations and the supremum norm x. A Banach function algebra on X is a Banach algebra lying in C(X) which separates the points of X and contains the constants. A Banach function algebra on X equipped with the supremum norm is called a uniform algebra on X, that is, a uniformly closed subalgebra of C(X) which separates the points of X and contains the constants.(omitted)

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.1
• /
• pp.125-134
• /
• 1993

Let X be a compact Hausdorff space, and let C(X) (resp. $C_{R}$(X)) be the complex (resp. real) Banach algebra of all continuous complex-valued(resp. real-valued) functions on X with the pointwise operations and the supremum norm x. A Banach function algebra on X is a Banach algebra lying in C(X) which separates the points of X and contains the constants. A Banach function algebra on X equipped with the supremum norm is called a uniform algebra on X, that is, a uniformly closed subalgebra of C(X) which separates the points of X and contains the constants.s.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.1915-1922
• /
• 2013

We prove the admissibility of the space $L_0(\mathcal{A},X)$ of vector-valued measurable functions determined by real-valued finitely additive set functions defined on algebras of sets.

• Kyungpook Mathematical Journal
• /
• v.59 no.1
• /
• pp.13-22
• /
• 2019

This paper presents a symbolic method for solving a boundary value problem with inhomogeneous Stieltjes boundary conditions over integro-differential algebras. The proposed symbolic method includes computing the Green's operator as well as the Green's function of the given problem. Examples are presented to illustrate the proposed symbolic method.

• Journal of the Chungcheong Mathematical Society
• /
• v.33 no.4
• /
• pp.497-504
• /
• 2020

A weight ω on the positive half real line [0, ∞) is a positive continuous function such that ω(s + t) ≤ ω(s)ω(t), for all s, t ∈ [0, ∞), and ω(0) = 1. The weighted convolution Banach algebra L1(ω) is the algebra of all equivalence classes of Lebesgue measurable functions f such that ‖f‖ = ∫0∞|f(t)|ω(t)dt < ∞, under pointwise addition, scalar multiplication of functions, and the convolution product (f ⁎ g)(t) = ∫0t f(t - s)g(s)ds. We give a sufficient condition on a weight function ω(t) in order that L1(ω) has a bounded approximate identity.

• Journal of the Korean Mathematical Society
• /
• v.48 no.5
• /
• pp.953-967
• /
• 2011

We show that the characteristic function $1S_{\underline{\alpha}}$ of any Harder-Narasimhan strata $S{\underline{\alpha}}\;{\subset}\;Coh_X^{\alpha}$ belongs to the spherical Hall algebra $H_X^{sph}$ of a smooth projective curve X (defined over a finite field $\mathbb{F}_q$). We prove a similar result in the geometric setting: the intersection cohomology complex IC(${\underline{S}_{\underline{\alpha}}$) of any Harder-Narasimhan strata ${\underline{S}}{\underline{\alpha}}\;{\subset}\;{\underline{Coh}}_X^{\underline{\alpha}}$ belongs to the category $Q_X$ of spherical Eisenstein sheaves of X. We show by a simple example how a complete description of all spherical Eisenstein sheaves would necessarily involve the Brill-Noether stratas of ${\underline{Coh}}_X^{\underline{\alpha}}$.

• Communications of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.375-381
• /
• 2019

In this paper, we introduce an operation denoted by [$Br_e$], a bracket operation, which maps an arbitrary groupoid ($X,{\ast}$) on a set X to another groupoid $(X,{\bullet})=[Br_e](X,{\ast})$ which on groups corresponds to sending a pair of elements (x, y) of X to its commutator $xyx^{-1}y^{-1}$. When applied to classes such as d-algebras, BCK-algebras, a variety of results is obtained indicating that this construction is more generally useful than merely for groups where it is of fundamental importance.