• Bulletin of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1387-1400
• /
• 2021

Suppose that $T=\(\array{A&0\\U&B}\)$ is a formal triangular matrix ring, where A and B are rings and U is a (B, A)-bimodule. Let ℭ₁ and ℭ₂ be two classes of left A-modules, 𝔇₁ and 𝔇₂ be two classes of left B-modules. We prove that (ℭ₁, ℭ₂) and (𝔇₁, 𝔇₂) are admissible balanced pairs if and only if (p(ℭ₁, 𝔇₁), h(ℭ₂, 𝔇₂) is an admissible balanced pair in T-Mod. Furthermore, we describe when ($P^{C_1}_{D_1}$, $I^{C_2}_{D_2}$) is an admissible balanced pair in T-Mod. As a consequence, we characterize when T is a left virtually Gorenstein ring.

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.1
• /
• pp.91-103
• /
• 2013

Let (D,B) be an admissible pair. Then recall that $B\;{\times}^L_HD^{{\rightarrow}{\pi}_D}_{{\leftarrow}i_D}\;D$ are bialgebra maps satisfying ${\pi}_D{\circ}i_D=I$. We have solved a converse in case D is a Hopf algebra. Let D be a Hopf algebra with antipode $S_D$ and be a left H-comodule algebra and a left H-module coalgebra over a field $k$. Let A be a bialgebra over $k$. Suppose $A^{{\rightarrow}{\pi}}_{{\leftarrow}i}D$ are bialgebra maps satisfying ${\pi}{\circ}i=I_D$. Set ${\Pi}=I_D*(i{\circ}s_D{\circ}{\pi}),B=\Pi(A)$ and $j:B{\rightarrow}A$ be the inclusion. Suppose that ${\Pi}$ is an algebra map. We show that (D,B) is an admissible pair and $B^{\leftarrow{\Pi}}_{\rightarrow{j}}A^{\rightarrow{\pi}}_{\leftarrow{i}}D$ is an admissible mapping system and that the generalized biproduct bialgebra $B{\times}^L_HD$ is isomorphic to A as bialgebras.

• Communications of the Korean Mathematical Society
• /
• v.11 no.1
• /
• pp.253-258
• /
• 1996

For a nonelementary discrete group $\Gamma$ of hyperbolic isometries acting on $B^m(m\geq2)$, we give a topological characterization of conical limit points using admissible pairs.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1363-1371
• /
• 2016

This paper is concerned with best proximity points for multimaps in normed spaces and in hyperconvex metric spaces. Using the generalized KKM theorem, we deduce new best proximity pair theorems for a family of multimaps with unionly open fibers in normed spaces. And we prove a new best proximity point theorem for quasi-lower semicontinuous multimaps in hyperconvex metric spaces.

• Nonlinear Functional Analysis and Applications
• /
• v.29 no.1
• /
• pp.57-67
• /
• 2024

In this paper, we prove the existence of common fixed point for a pair of α-η-ψ-Geraghty contraction type maps in complete metric spaces using new type of α-admissible. These results extend and generalize some of the previously known results.

• The Pure and Applied Mathematics
• /
• v.25 no.2
• /
• pp.73-94
• /
• 2018

We introduce some new type of admissible mappings and prove a coupled coincidence point theorem by using newly defined concepts for generalized compatible pair of mappings satisfying ${\alpha}-{\psi}$ contraction on partially ordered metric spaces. We also prove the uniqueness of a coupled fixed point for such mappings in this setup. Furthermore, we give an example and an application to integral equations to demonstrate the applicability of the obtained results. Our results generalize some recent results in the literature.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.2
• /
• pp.323-333
• /
• 2010

The biproduct bialgebra has been generalized to generalized biproduct bialgebra $B{\times}^L_H\;D$ in [5]. Let (D, B) be an admissible pair and let D be a bialgebra. We show that if generalized biproduct bialgebra $B{\times}^L_H\;D$ is a Hopf algebra with antipode s, then D is a Hopf algebra and the identity $id_B$ has an inverse in the convolution algebra $Hom_k$(B, B). We show that if D is a Hopf algebra with antipode $s_D$ and $s_B$ in $Hom_k$(B, B) is an inverse of $id_B$ then $B{\times}^L_H\;D$ is a Hopf algebra with antipode s described by $s(b{\times}^L_H\;d)={\Sigma}(1_B{\times}^L_H\;s_D(b_{-1}{\cdot}d))(s_B(b_0){\times}^L_H\;1_D)$. We show that the mapping system $B{\leftrightarrows}^{{\Pi}_B}_{j_B}\;B{\times}^L_H\;D{\rightleftarrows}^{{\pi}_D}_{i_D}\;D$ (where $j_B$ and $i_D$ are the canonical inclusions, ${\Pi}_B$ and ${\pi}_D$ are the canonical coalgebra projections) characterizes $B{\times}^L_H\;D$. These generalize the corresponding results in [6].