• 충청수학회지
• /
• 제26권3호
• /
• pp.557-569
• /
• 2013

In this paper we shall introduce the $f$-function in a set, and give some properties of $f$-function of a set. In particular, we establish a relation between $f$-function of a set and fuzzy equivalence relation. We also introduce the notion of $f$-homomorphism on a semigroup S, and prove the generalized fundamental homomorphism theorem of semigroup.

• 충청수학회지
• /
• 제24권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.

• 대한수학회보
• /
• 제58권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.

• 대한수학회보
• /
• 제30권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].].

• Kyungpook Mathematical Journal
• /
• 제43권4호
• /
• pp.499-502
• /
• 2003

The aim of the present paper is to establish for commutativity of rings with unity 1 satisfying one of the properties $(xy)^{k+1}=x^ky^{k+1}x$ and $(xy)^{k+1}=yx^{k+1}y^k$, for all x, y in R, and the mapping $x{\rightarrow}x^k$ is an anti-homomorphism where $k{\geq}1$ is a fixed positive integer.

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

In this paper, we further develop the weak polygroup theory, we define quotient weak polygroup and then the fundamental homomorphism theorem of group theory is derived in the context of weak polygroups. Also, we consider the fundamental relation $\beta$$^{*}$ defined on a weak polygroup and define a functor from the category of all weak polygroups into the category of all fundamental groups.s.

• East Asian mathematical journal
• /
• 제30권3호
• /
• pp.259-270
• /
• 2014

For a generalized triangular matrix ring $$T=\[\array{R\;M\\0\;S}]$$, over rings R and S having only the idempotents 0 and 1 and over an (R, S)-bimodule M, we characterize all homomorphisms ${\alpha}$'s and all ${\alpha}$-derivations of T. Some of the homomorphisms are compositions of an inner homomorphism and an extended or a twisted homomorphism.

• Korean Journal of Mathematics
• /
• 제19권1호
• /
• pp.87-99
• /
• 2011

Using the Hyers-Ulam-Rassias stability method of functional equations, we investigate homomorphisms in proper $CQ^*$-algebras and proper Lie $CQ^*$-algebras, and derivations on proper $CQ^*$-algebras and proper Lie $CQ^*$-algebras associated with the following functional equation $$\frac{1}{k}f(kx+ky+kz)=f(x)+f(y)+f(z)$$ for a fixed positive integer $k$.

• 충청수학회지
• /
• 제24권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.

• 융합정보논문지
• /
• 제7권3호
• /
• pp.65-71
• /
• 2017

양자논리는 양자역학을 위한 수학적 구조인 힐버트 공간에서의 사영을 다루기 위해 Birkhoff와 von Neumann에 의해 소개되었고 Husimi는 이 양재논리를 보완하기 위해 직교모듈라의 성질과 직교모듈라 격자를 제안하였다. Abbott은 직교모듈라 격자에서의 함의를 연구하기 위해 직교함의 대수와 그 성질을 소개하였다. 직교모듈라 격자에서 가환관계는 분배법칙과 모듈라 성질 등과 관련된 중요한 성질이다. 본 논문에서는 직교함의 대수에서의 한 이항연산과 이를 이용한 최대하계를 정의하고 그 이항연산의 성질을 밝힌다. 또한 준동형사상을 정의하고 이를 이용하여 직교함의 대수에서의 가환관계를 특성화한다.