• Bulletin of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.929-949
• /
• 2022

Given an ACM set 𝕏 of points in a multiprojective space ℙ^m×ℙⁿ over a field of characteristic zero, we are interested in studying the Kähler different and the Cayley-Bacharach property for 𝕏. In ℙ¹×ℙ¹, the Cayley-Bacharach property agrees with the complete intersection property and it is characterized by using the Kähler different. However, this result fails to hold in ℙ^m×ℙⁿ for n > 1 or m > 1. In this paper we start an investigation of the Kähler different and its Hilbert function and then prove that 𝕏 is a complete intersection of type (d₁, …, d_m, d'₁, …, d'_n) if and only if it has the Cayley-Bacharach property and the Kähler different is non-zero at a certain degree. We characterize the Cayley-Bacharach property of 𝕏 under certain assumptions.

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.243-256
• /
• 2023

We deal with a type of inverse pseudo-orbit tracing property with respect to the class of continuous methods, as suggested and studied by Pilyugin [54]. In this paper, we consider a continuous method induced through the diffeomorphism of a compact smooth manifold, and using the concept, we proved the following: (i) If a diffeomorphism f of a compact smooth manifold M has the robustly pointwise inverse pseudoorbit tracing property, f is structurally stable. (ii) For a C1 generic diffeomorphism f of a compact smooth manifold M, if f has the pointwise inverse pseudo-orbit tracing property, f is structurally stable. (iii) If a diffeomorphism f has the robustly pointwise inverse pseudo-orbit tracing property around a transitive set Λ, then Λ is hyperbolic for f. Finally, (iv) for C¹ generically, if a diffeomorphism f has the pointwise inverse pseudo-orbit tracing property around a locally maximal transitive set Λ, then Λ is hyperbolic for f. In addition, we investigate cases of volume preserving diffeomorphisms.

• Korean Journal of Mathematics
• /
• v.29 no.3
• /
• pp.483-492
• /
• 2021

This article concerns the property that for any element a in a ring, if a²ⁿ = aⁿ for some n ≥ 2 then a² = a. The class of rings with this property is large, but there also exist many kinds of rings without that, for example, rings of characteristic ≠2 and finite fields of characteristic ≥ 3. Rings with such a property is called reduced-over-idempotent. The study of reduced-over-idempotent rings is based on the fact that the characteristic is 2 and every nonzero non-identity element generates an infinite multiplicative semigroup without identity. It is proved that the reduced-over-idempotent property pass to polynomial rings, and we provide power series rings with a partial affirmative argument. It is also proved that every finitely generated subring of a locally finite reduced-over-idempotent ring is isomorphic to a finite direct product of copies of the prime field {0, 1}. A method to construct reduced-over-idempotent fields is also provided.

• Journal of the Chungcheong Mathematical Society
• /
• v.3 no.1
• /
• pp.121-124
• /
• 1990

In this paper, we introduce the notion of the compact range property and $weak^*$ Radon Nikodym property. We prove that the compact range property, weak Radon Nikodym property and $weak^*$ Radon Nikodym property in dual Banach space are all equivalent. Other related results and discussed.

• Journal of the Chungcheong Mathematical Society
• /
• v.32 no.2
• /
• pp.165-170
• /
• 2019

$C^1$ generically, if a diffeomorphism $f:M{\rightarrow}M$ of a closed smooth Riemannian manifold M has the asymptotic average shadowing property or the average shadowing property then f has a decomposition property.

• Communications of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.401-415
• /
• 2020

It is well-known that if char𝕜 = 0, then an Artinian monomial complete intersection quotient 𝕜[x₁, …, x_n]/(x₁^a₁, …, x_n^a_n) has the strong Lefschetz property in the narrow sense, and it is decomposed by the direct sum of irreducible 𝖘𝖑₂-modules. For an Artinian ring A = 𝕜[x₁, x₂, x₃]/(x₁⁶, x₂⁶, x₃⁶), by the Schur-Weyl duality theorem, there exist 56 trivial representations, 70 standard representations, and 20 sign representations inside A. In this paper we find an explicit basis for A, which is compatible with the S₃-module structure.

• Nonlinear Functional Analysis and Applications
• /
• v.27 no.2
• /
• pp.271-287
• /
• 2022

In this article, we shall prove a common fixed point theorem for two weakly compatible self-maps 𝒫 and 𝔔 on a dislocated metric space (M, d^*) satisfying the following ξ-weakly expansive condition: d^*(𝒫c, 𝒫d) ≥ d^* (𝔔c, 𝔔d) + ξ(∧(𝔔c, 𝔔d)), ∀ c, d ∈ M, where $${\wedge}(Qc,\;Qd)=max\{d^*(Qc,\;Qd),\;d^*(Qc,\;\mathcal{P}c),\;d^*(Qd,\;\mathcal{P}d),\;\frac{d^*(Qc,\;\mathcal{P}c){\cdot}d^*(Qd,\;\mathcal{P}d)}{1+d^*(Qc,\;Qd)},\;\frac{d^*(Qc,\;\mathcal{P}c){\cdot}d^*(Qd,\;\mathcal{P}d)}{1+d^*(\mathcal{P}c,\;\mathcal{P}d)}\}$$. Also, we have proved common fixed point theorems for the above mentioned weakly compatible self-maps along with E.A. property and (CLR) property. An illustrative example is also provided to support our results.

• Nonlinear Functional Analysis and Applications
• /
• v.27 no.4
• /
• pp.709-730
• /
• 2022

We consider the nonlinear matrix equation (NMEs) of the form 𝓤 = 𝓠 + Σ^k_i=1 𝓐^*_iℏ(𝓤)𝓐_i, where 𝓠 is n × n Hermitian positive definite matrices (HPDS), 𝓐₁, 𝓐₂, . . . , 𝓐_m are n × n matrices, and ~ is a nonlinear self-mappings of the set of all Hermitian matrices which are continuous in the trace norm. We discuss a sufficient condition ensuring the existence of a unique positive definite solution of a given NME and demonstrate this sufficient condition for a NME 𝓤 = 𝓠 + 𝓐^*₁(𝓤²/900)𝓐₁ + 𝓐^*₂(𝓤²/900)𝓐₂ + 𝓐^*₃(𝓤²/900)𝓐₃. In order to do this, we define 𝓕𝓖_w-contractive conditions and derive fixed points results based on aforesaid contractive condition for a mapping in extended Branciari b-metric distance followed by two suitable examples. In addition, we introduce weak well-posed property, weak limit shadowing property and generalized Ulam-Hyers stability in the underlying space and related results.

• Journal of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.283-312
• /
• 2020

A sufficient condition for an Artinian complete intersection quotient S = 𝕜[x, y]/(x^m, yⁿ), where 𝕜 is an algebraically closed field of a prime characteristic, to have the strong Lefschetz property (SLP) was proved by S. B. Glasby, C. E. Praezer, and B. Xia in [3]. In contrast, we find a necessary and sufficient condition on m, n satisfying 3 ≤ m ≤ n and p > 2m-3 for S to fail to have the SLP. Moreover we find the Jordan types for S failing to have SLP for m ≤ n and m = 3, 4.

• Journal of the Korean Mathematical Society
• /
• v.58 no.5
• /
• pp.1059-1079
• /
• 2021

We show that given any chain transitive set of a C¹ generic diffeomorphism f, if a diffeomorphism f has the eventual shadowing property on the locally maximal chain transitive set, then it is hyperbolic. Moreover, given any chain transitive set of a C¹ generic vector field X, if a vector field X has the eventual shadowing property on the locally maximal chain transitive set, then the chain transitive set does not contain a singular point and it is hyperbolic. We apply our results to conservative systems (volume-preserving diffeomorphisms and divergence-free vector fields).