• Journal of the Korean Mathematical Society
• /
• v.36 no.5
• /
• pp.911-921
• /
• 1999

We define the coincidence index of pairs of maps p, f : $\widetilde{X}$ $\rightarrow$ X where p is a covering of a polyhedron X. We use a polyhedral transversality Theorem due to T. Plavchak. When p=identity we get the classical fixed point index of self map of polyhedra without using homology.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.3
• /
• pp.561-574
• /
• 2023

In this paper, we focus on establishing the MacWilliams-type identities on vectorial Boolean functions with bent component functions. As their applications, we provide a bound for the non-existence of vectorial dual-bent functions with prescribed minimum degree, and several Gleason-type theorems are presented as well.

• Communications of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.1249-1260
• /
• 2023

In the present paper, we study a semi-symmetric recurrent metric connection and verify its various geometric properties.

• Journal of the Korean Mathematical Society
• /
• v.60 no.2
• /
• pp.407-464
• /
• 2023

Let R be a commutative ring with identity. The structure theorem says that R is a PIR (resp., UFR, general ZPI-ring, π-ring) if and only if R is a finite direct product of PIDs (resp., UFDs, Dedekind domains, π-domains) and special primary rings. All of these four types of integral domains are Krull domains, so motivated by the structure theorem, we study the prime factorization of ideals in a ring that is a finite direct product of Krull domains and special primary rings. Such a ring will be called a general Krull ring. It is known that Krull domains can be characterized by the star operations v or t as follows: An integral domain R is a Krull domain if and only if every nonzero proper principal ideal of R can be written as a finite v- or t-product of prime ideals. However, this is not true for general Krull rings. In this paper, we introduce a new star operation u on R, so that R is a general Krull ring if and only if every proper principal ideal of R can be written as a finite u-product of prime ideals. We also study several ring-theoretic properties of general Krull rings including Kaplansky-type theorem, Mori-Nagata theorem, Nagata rings, and Noetherian property.

• Journal for History of Mathematics
• /
• v.29 no.1
• /
• pp.31-44
• /
• 2016

This essay aims to suggest roughly the "philosophy of limits." The limits mainly refer to those of human experiences and rational thoughts. The philosophy of limits consist of three theses and two consequences(L, M). (1) The limits are necessarily supervenient in the course of searching knowledge. (2) The limits cannot be dissipated ultimately. (3) To recognize the limits is not only an intellectual recognition but also a beginning of whole personality's reaction. (L) It is a rational decision to accept the limits and leave the margins (yeoback/yeoheuck) rather than to try to remove them. (M) To leave the margins (yeoback/yeoheuck) is characteristic of being human, and enables one to harmoniously communicate with others. To justify the philosophy of limits, this essay examine the limits discussed in mathematics and philosophy: set theory, Godel's Incompleteness Theorem, Galois Theorem in mathematics; and Hume, Kant, Kierkegaard, and Wittgenstein in philosophy. I try to interpret consciousness of limits in various cultures. I claim that consciousness of the limits contribute to lucidity of human identity, communication between persons, stimulation of creative thinking.

• Journal of applied mathematics & informatics
• /
• v.38 no.3_4
• /
• pp.271-276
• /
• 2020

Let R be a commutative ring with identity, R[X] the polynomial ring over R, ∗ a radical operation on R and ⋆ a radical operation of finite character on R[X]. In this paper, we give Hilbert basis theorem for rings with ∗-Noetherian spectrum. More precisely, we show that if (I^∗R[X])^⋆ = (IR[X])^⋆ and (I^∗R[X])^⋆ ∩ R = I^∗ for all ideals I of R, then R has ∗-Noetherian spectrum if and only if R[X] has ⋆-Noetherian spectrum. This is a generalization of a well-known fact that R has Noetherian spectrum if and only if R[X] has Noetherian spectrum.

• Honam Mathematical Journal
• /
• v.37 no.3
• /
• pp.339-352
• /
• 2015

We aim at giving explicit expressions of $${\sum_{m,n=0}^{{\infty}}}{\frac{{\Delta}_{m+n}(-1)^nx^{m+n}}{({\rho})_m({\rho}+i)_nm!n!}$$, where i = 0, ${\pm}1$, ${\ldots}$, ${\pm}9$ and $\{{\Delta}_n\}$ is a bounded sequence of complex numbers. The main result is derived with the help of the generalized Kummer's summation theorem for the series $_2F_1$ obtained earlier by Choi. Further some special cases of the main result considered here are shown to include the results obtained earlier by Kim and Rathie and the identity due to Bailey.

• Journal of the Korean Mathematical Society
• /
• v.43 no.3
• /
• pp.507-528
• /
• 2006

In this paper we show that the Koecher's Jordan automorphic generators of one variable on an irreducible symmetric cone are enough to determine the elements of scalar multiple of the Jordan identity on the attached simple Euclidean Jordan algebra. Its various geometric, Jordan and Lie theoretic interpretations associated to the Cartan-Hadamard metric and Cartan decomposition of the linear automorphisms group of a symmetric cone are given with validity on infinite-dimensional spin factors

• Journal of the Korean Mathematical Society
• /
• v.40 no.1
• /
• pp.129-167
• /
• 2003

In this paper we introduce new notions of Ricci-like tensor and many kind of curvature-like tensors such that concircular, projective, or conformal curvature-like tensors defined on semi-Riemannian manifolds. Moreover, we give some geometric conditions which are equivalent to the Codazzi tensor, the Weyl tensor, or the second Bianchi identity concerned with such kind of curvature-like tensors respectively and also give a generalization of Weyl's Theorem given in [18] and [19].

• Journal of applied mathematics & informatics
• /
• v.40 no.5_6
• /
• pp.1129-1135
• /
• 2022

The purpose of this research is to find an extension of the renowned Chernoff theorem on standard operator algebra. Infact, we prove the following result: Let H be a real (or complex) Banach space and 𝓛(H) be the algebra of bounded linear operators on H. Let 𝓐(H) ⊂ 𝓛(H) be a standard operator algebra. Suppose that D : 𝓐(H) → 𝓛(H) is a linear mapping satisfying the relation D(AⁿBⁿ) = D(Aⁿ)Bⁿ + AⁿD(Bⁿ) for all A, B ∈ 𝓐(H). Then D is a linear derivation on 𝓐(H). In particular, D is continuous. We also present the limitations on such identity by an example.