• 대한수학회지
• /
• 제55권4호
• /
• pp.797-808
• /
• 2018

In [1], the authors generalize the concept of the class group of an integral domain $D(Cl_t(D))$ by introducing the notion of the S-class group of an integral domain where S is a multiplicative subset of D. The S-class group of D, $S-Cl_t(D)$, is the group of fractional t-invertible t-ideals of D under the t-multiplication modulo its subgroup of S-principal t-invertible t-ideals of D. In this paper we study when $S-Cl_t(D){\simeq}S-Cl_t(D_T)$, where T is a multiplicative subset generated by prime elements of D. We show that if D is a Mori domain, T a multiplicative subset generated by prime elements of D and S a multiplicative subset of D, then the natural homomorphism $S-Cl_t(D){\rightarrow}S-Cl_t(D_T)$ is an isomorphism. In particular, we give an S-version of Nagata's Theorem [13]: Let D be a Krull domain, T a multiplicative subset generated by prime elements of D and S another multiplicative subset of D. If $D_T$ is an S-factorial domain, then D is an S-factorial domain.

• 대한수학회보
• /
• 제45권1호
• /
• pp.111-118
• /
• 2008

Using the Hyers-Ulam-Rassias stability method, we investigate isomorphisms in quasi-Banach algebras and derivations on quasi-Banach algebras associated with the Cauchy-Jensen functional equation $$2f(\frac{x+y}{2}+z)$$=f(x)+f(y)+2f(z), which was introduced and investigated in [2, 17]. The concept of Hyers-Ulam-Rassias stability originated from the Th. M. Rassias' stability theorem that appeared in the paper: On the stability of the linear mapping in Banach spaces, Proc. Amer. Math. Soc. 72 (1978), 297-300. Furthermore, isometries and isometric isomorphisms in quasi-Banach algebras are studied.

• 충청수학회지
• /
• 제19권2호
• /
• pp.159-175
• /
• 2006

This paper is a survey on the Hyers-Ulam-Rassias stability of the Jensen functional equation in $C^*$-algebras. The concept of Hyers-Ulam-Rassias stability originated from the Th.M. Rassias' stability theorem that appeared in his paper: On the stability of the linear mapping in Banach spaces, Proc. Amer. Math. Soc. 72 (1978), 297-300. Its content is divided into the following sections: 1. Introduction and preliminaries. 2. Approximate isomorphisms in $C^*$-algebras. 3. Approximate isomorphisms in Lie $C^*$-algebras. 4. Approximate isomorphisms in $JC^*$-algebras. 5. Stability of derivations on a $C^*$-algebra. 6. Stability of derivations on a Lie $C^*$-algebra. 7. Stability of derivations on a $JC^*$-algebra.

• 호남수학학술지
• /
• 제30권4호
• /
• pp.589-602
• /
• 2008

As a survey-type article, the paper reviews various digital topological utilities from digital covering theory. Digital covering theory has strongly contributed to the calculation of the digital k-fundamental group of both a digital space(a set with k-adjacency or digital k-graph) and a digital product. Furthermore, it has been used in classifying digital spaces, establishing almost Van Kampen theory which is the digital version of van Kampen theorem in algebrate topology, developing the generalized universal covering property, and so forth. Finally, we remark on the digital k-surface structure of a Cartesian product of two simple closed $k_i$-curves in ${\mathbf{Z}}^n$, $i{\in}{1,2}$.

• 대한수학회보
• /
• 제34권1호
• /
• pp.1-8
• /
• 1997

Let G be a finiteg oroup. We denote BG a classifying space of G, which a contractible universal principal G bundle EG. The stable type of BG does not determine G up to isomorphism. A simple example [due to N. Minami]is given by $Q_{4p} \times Z/2$ and $D_{2p} \times Z/4$ where ps is an odd prime, $Q_{4p} is the generalized quarternion group of order 4p and $D_{2p}$ is the dihedral group of order 2p. However the paper [6] gives us a necessary and sufficient condition for $BG_1$ and $BG_2$ to be stably equivalent localized et pp. The local stable type of BG depends on the conjegacy classes of homomorphisms from the p-groups Q into G. This classification theorem simplifies if G has a normal sylow p-subgroup. Then the stable homotopy type depends on the Weyl group of the sylow p-subgroup.

• 대한수학회논문집
• /
• 제19권4호
• /
• pp.661-681
• /
• 2004

We research properties of the space of measurable functions square integrable with weight exp$2\nu $\mid$x$\mid$$, and those of the space of Fourier hyperfunctions. Also we show that the several embedding theorems hold true, and that the Fourier-Lapace operator is an isomorphism of the space of strongly decreasing Fourier hyperfunctions onto the space of analytic functions extended to any strip in $C^n$ which are estimated with the aid of a special exponential function exp($\mu$｜x｜).

• 호남수학학술지
• /
• 제36권3호
• /
• pp.519-530
• /
• 2014

To study a deformation of a digital space from the viewpoint of digital homotopy theory, we have often used the notions of a weak k-deformation retract [20] and a strong k-deformation retract [10, 12, 13]. Thus the papers [10, 12, 13, 16] firstly developed the notion of a strong k-deformation retract which can play an important role in studying a homotopic thinning of a digital space. Besides, the paper [3] deals with a k-deformation retract and its homotopic property related to a digital fundamental group. Thus, as a survey article, comparing among a k-deformation retract in [3], a strong k-deformation retract in [10, 12, 13], a weak deformation k-retract in [20] and a digital k-homotopy equivalence [5, 24], we observe some relationships among them from the viewpoint of digital homotopy theory. Furthermore, the present paper deals with some parts of the preprint [10] which were not published in a journal (see Proposition 3.1). Finally, the present paper corrects Boxer's paper [3] as follows: even though the paper [3] referred to the notion of a digital homotopy equivalence (or a same k-homotopy type) which is a special kind of a k-deformation retract, we need to point out that the notion was already developed in [5] instead of [3] and further corrects the proof of Theorem 4.5 of Boxer's paper [3] (see the proof of Theorem 4.1 in the present paper). While the paper [4] refers some properties of a deck transformation group (or an automorphism group) of digital covering space without any citation, the study was early done by Han in his paper (see the paper [14]).

• 대한수학회논문집
• /
• 제9권4호
• /
• pp.905-915
• /
• 1994

Let $M_g$ be the moduli space of isomorphism classes of genus g smooth curves. It is a quasi-projective variety of dimension 3g - 3, when $g > 2$. It is known that a complete subvariety of $M_g$ has dimension $< g-1 [D]$. In general it is not known whether this bound is rigid. For example, it is not known whether $M_4$ has a complete surface in it. But one knows that there is a complete curve through any given finite points [H]. Recently, an explicit example of a complete curve in moduli space is given in [G-H]. In [G-H] they constructed a complete curve of $M_3$ as an intersection of five hypersurfaces of the Satake compactification of $M_3$. One way to get a complete curve of $M_3$ is to find a complete one dimensional family $p : X \to B$ of plane quartics which gives a nontrivial morphism from the base space B to the moduli space $M_3$. This is because every non-hyperelliptic smooth curve of genus three can be realized as a nonsingular plane quartic and vice versa. This paper has come out from the effort to find such a complete family of plane quartics. Since nonsingular quartics form an affine space some fibers of p must be singular ones. In this paper, due to the semistable reduction theorem [M], we search singular plane quartics which can occur as singular fibers of the family above. We first list all distinct plane quartics in terms of singularities.