• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.3
• /
• pp.427-436
• /
• 2011

In this paper, we first show that the pull-back morphism between two K-groups of the Steinberg varieties, obtained respectively from partial flag varieties and quiver varieties of type A, is a ring homomorphism with respect to the convolution product. Then, we prove that this ring homomorphism yields a property of compatibility between two certain convolution actions.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.2
• /
• pp.497-505
• /
• 2021

Let R → S be a ring homomorphism. The relations of Gorenstein projective dimension with respect to a semidualizing module of homologically bounded complexes between U ⊗LR X and X are considered, where X is an R-complex and U is an S-complex. Some sufficient conditions are given under which the equality ${\mathcal{GP}}_{\tilde{C}}-pd_S(S{\otimes}{L \atop R}X)={\mathcal{GP}}_C-pd_R(X)$ holds. As an application it is shown that the Auslander-Buchsbaum formula holds for GC-projective dimension.

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.2
• /
• pp.187-191
• /
• 1993

In this note we prove the following result: Let A be a complex Banach *-algebra with continuous involution and let B be an $A^{*}$-algebra./T(A) = B. Then T is continuous (Theorem 2). From above theorem some others results of special interest and some well-known results follow. (Corollaries 3,4,5,6 and 7). We close this note with some generalizations and some remarks (Theorems 8.9.10 and question). Throughout this note we consider only complex algebras. Let A and B be complex algebras. A linear mapping T from A into B is called jordan homomorphism if T( $x^{1}$) = (Tx)$^{2}$ for all x in A. A linear mapping T : A .rarw. B is called spectrally-contractive mapping if .rho.(Tx).leq..rho.(x) for all x in A, where .rho.(x) denotes spectral radius of element x. Any homomorphism algebra is a spectrally-contractive mapping. If A and B are *-algebras, then a homomorphism T : A.rarw.B is called *-homomorphism if (Th)$^{*}$=Th for all self-adjoint element h in A. Recall that a Banach *-algebras is a complex Banach algebra with an involution *. An $A^{*}$-algebra A is a Banach *-algebra having anauxiliary norm vertical bar . vertical bar which satisfies $B^{*}$-condition vertical bar $x^{*}$x vertical bar = vertical bar x vertical ba $r^{2}$(x in A). A Banach *-algebra whose norm is an algebra $B^{*}$-norm is called $B^{*}$-algebra. The *-semi-simple Banach *-algebras and the semi-simple hermitian Banach *-algebras are $A^{*}$-algebras. Also, $A^{*}$-algebras include $B^{*}$-algebras ( $C^{*}$-algebras). Recall that a semi-prime algebra is an algebra without nilpotents two-sided ideals non-zero. The class of semi-prime algebras includes the class of semi-prime algebras and the class of prime algebras. For all concepts and basic facts about Banach algebras we refer to [2] and [8].].er to [2] and [8].].

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.2165-2182
• /
• 2017

Let G be a group and $\mathbb{C}$ the field of complex numbers. Suppose ${\sigma}:G{\rightarrow}G$ is an endomorphism satisfying ${{\sigma}}({{\sigma}}(x))=x$ for all x in G. In this paper, we first determine the central solution, f : G or $G{\times}G{\rightarrow}\mathbb{C}$, of the functional equation $f(xy)+f({\sigma}(y)x)=2f(x)+2f(y)$ for all $x,y{\in}G$, which is a variant of the quadratic functional equation. Using the central solution of this functional equation, we determine the general solution of the functional equation f(pr, qs) + f(sp, rq) = 2f(p, q) + 2f(r, s) for all $p,q,r,s{\in}G$, which is a variant of the equation f(pr, qs) + f(ps, qr) = 2f(p, q) + 2f(r, s) studied by Chung, Kannappan, Ng and Sahoo in [3] (see also [16]). Finally, we determine the solutions of this equation on the free groups generated by one element, the cyclic groups of order m, the symmetric groups of order m, and the dihedral groups of order 2m for $m{\geq}2$.

• Journal of Convergence for Information Technology
• /
• v.7 no.3
• /
• pp.65-71
• /
• 2017

The quantum logic was introduced by G. Birkhoff and 1. von Neumann in order to study projections of a Hilbert space for a formulation of quantum mechanics, and Husimi proposed orthomodular law and orthomodular lattices to complement the quantum logic. Abott introduced orthoimplication algebras and its properties to investigate an implication of orthomodular lattice. The commuting relation is an important property on orthomodular lattice which is related with the distributive law and the modular law, etc. In this paper, we define a binary operation on orthoimplication algebra and the greatest lower bound by using this operation and research some properties of this operation. Also we define a homomorphism and characterize the commuting relation of orthoimplication algebra by the homomorphism.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.2
• /
• pp.287-301
• /
• 2011

Let X and Y be vector spaces. It is shown that a mapping $f\;:\;X{\rightarrow}Y$ satisfies the functional equation $$(\ddag)\hspace{50}dk\;f\left(\frac{\sum_{j=1}^{dk}x_j}{dk}\right)=\displaystyle\sum_{j=1}^{dk}f(x_j)$$ if and only if the mapping $f$ : X ${\rightarrow}$ Y is Cauchy additive, and prove the Cauchy-Rassias stability of the functional equation ($\ddag$) in Banach modules over a unital $C^{\ast}$-algebra. Let $\mathcal{A}$ and $\mathcal{B}$ be unital $C^{\ast}$-algebras. As an application, we show that every almost homomorphism $h\;:\;\mathcal{A}{\rightarrow}\mathcal{B}$ of $\mathcal{A}$ into $\mathcal{B}$ is a homomorphism when $h((k-1)^nuy)=h((k-1)^nu)h(y)$ for all unitaries $u{\in}\mathcal{A}$, all $y{\in}\mathcal{A}$, and $n$ = 0,1,2,$\cdots$. Moreover, we prove the Cauchy-Rassias stability of homomorphisms in $C^{\ast}$-algebras.

• Communications of the Korean Mathematical Society
• /
• v.13 no.2
• /
• pp.243-249
• /
• 1998

In this paper, we introduce a congruence relation on a semiring and a quotient semiring, and prove some homomorphism theorems.

• Journal of the Korean Mathematical Society
• /
• v.14 no.2
• /
• pp.185-196
• /
• 1978

• East Asian mathematical journal
• /
• v.5 no.1
• /
• pp.49-56
• /
• 1989

• Kyungpook Mathematical Journal
• /
• v.43 no.4
• /
• pp.471-480
• /
• 2003

Let $\mathcal{R}$ be a commutative ring with 1, and Let M be a (left) R-module. M is said to be pointwise projective if for each epimorphism ${\alpha}:\mathcal{A}{\rightarrow}\mathcal{B}$, where A and $\mathcal{B}$ are any $\mathcal{R}$-modules, and for each homomorphism ${\beta}:\mathcal{M}{\rightarrow}\mathcal{B}$, then for every $m{\in}\mathcal{M}$, there exists a homomorphism ${\varphi}:\mathcal{M}{\rightarrow}\mathcal{A}$, which may depend on m, such that ${\alpha}{\circ}{\varphi}(m)={\beta}(m)$. Our mean concern in this paper is to study the relations between pointwise projectivemodules with cancellation modules and its geeralization.