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

• 충청수학회지
• /
• 제20권4호
• /
• pp.495-501
• /
• 2007

In this paper the relative regionally regular relation is defined and it will be given the necessary and sufficient conditions for the relation to be an equivalence relation.

• 대한수학회지
• /
• 제53권4호
• /
• pp.795-834
• /
• 2016

The main purpose of this paper is to propose a scheme of a proof of the nonsimpleness of the group $Homeo^{\Omega}$ ($D^2$, ${\partial}D^2$) of area preserving homeomorphisms of the 2-disc $D^2$. We first establish the existence of Alexander isotopy in the category of Hamiltonian homeomorphisms. This reduces the question of extendability of the well-known Calabi homomorphism Cal : $Diff^{\Omega}$ ($D^1$, ${\partial}D^2$)${\rightarrow}{\mathbb{R}}$ to a homomorphism ${\bar{Cal}}$ : Hameo($D^2$, ${\partial}D^2$)${\rightarrow}{\mathbb{R}}$ to that of the vanishing of the basic phase function $f_{\underline{F}}$, a Floer theoretic graph selector constructed in [9], that is associated to the graph of the topological Hamiltonian loop and its normalized Hamiltonian ${\underline{F}}$ on $S^2$ that is obtained via the natural embedding $D^2{\hookrightarrow}S^2$. Here Hameo($D^2$, ${\partial}D^2$) is the group of Hamiltonian homeomorphisms introduced by $M{\ddot{u}}ller$ and the author [18]. We then provide an evidence of this vanishing conjecture by proving the conjecture for the special class of weakly graphical topological Hamiltonian loops on $D^2$ via a study of the associated Hamiton-Jacobi equation.

• 대한수학회보
• /
• 제57권3호
• /
• pp.709-737
• /
• 2020

Let R be a prime ring of characteristic different from 2. Suppose that F, G, H and T are generalized derivations of R. Let U be the Utumi quotient ring of R and C be the center of U, called the extended centroid of R and let f(x₁, …, x_n) be a non central multilinear polynomial over C. If F(f(r₁, …, r_n))G(f(r₁, …, r_n)) - f(r₁, …, r_n)T(f(r₁, …, r_n)) = H(f(r₁, …, r_n)²) for all r₁, …, r_n ∈ R, then we describe all possible forms of F, G, H and T.

• Kyungpook Mathematical Journal
• /
• 제51권2호
• /
• pp.177-185
• /
• 2011

A right ideal I of a ring R is small in case for every proper right ideal K of R, K + I ${\neq}$ = R. A right R-module M is called PS-injective if every R-homomorphism f : aR ${\rightarrow}$ M for every principally small right ideal aR can be extended to R ${\rightarrow}$ M. A ring R is called right PS-injective if R is PS-injective as a right R-module. We develop, in this article, PS-injectivity as a generalization of P-injectivity and small injectivity. Many characterizations of right PS-injective rings are studied. In light of these facts, we get several new properties of a right GPF ring and a semiprimitive ring in terms of right PS-injectivity. Related examples are given as well.

• Journal of applied mathematics & informatics
• /
• 제17권1_2_3호
• /
• pp.653-662
• /
• 2005

In this paper we shall give the relationships among $T_R,\;End_{R}(M),\;SEnd_{R}(M)\;and\;SAut_R(M)$ when M is a perfect R-module. If M and N are perfect modules, we get $SAut_{R}(M {\times}N){\cong}SAut_{R}(M){\times}SAut_R(N)$. Also we shall discuss that $_x(M)_H$ is a subgroup of $_x(M)$ if M is quasi-perfect and $_x(M)_H$ is a normal subgroup of $_x(M)$ if M is perfect.

• 대한수학회지
• /
• 제52권1호
• /
• pp.191-207
• /
• 2015

Let $\mathcal{R}$ be a prime ring of characteristic different from 2, $\mathcal{Q}_r$ be its right Martindale quotient ring and $\mathcal{C}$ be its extended centroid. Suppose that $\mathcal{G}$ is a nonzero generalized skew derivation of $\mathcal{R}$, ${\alpha}$ is the associated automorphism of $\mathcal{G}$, f($x_1$, ${\cdots}$, $x_n$) is a non-central multilinear polynomial over $\mathcal{C}$ with n non-commuting variables and $$\mathcal{S}=\{f(r_1,{\cdots},r_n)\left|r_1,{\cdots},r_n{\in}\mathcal{R}\}$$. If $\mathcal{G}$ acts as a Jordan homomorphism on $\mathcal{S}$, then either $\mathcal{G}(x)=x$ for all $x{\in}\mathcal{R}$, or $\mathcal{G}={\alpha}$.

• 대한수학회보
• /
• 제49권5호
• /
• pp.1067-1079
• /
• 2012

Let M be a right R-module, (S, ${\leq}$) a strictly totally ordered monoid which is also artinian and ${\omega}:S{\rightarrow}Aut(R)$ a monoid homomorphism, and let $[M^{S,{\leq}}]_{[[R^{S,{\leq}},{\omega}]]$ denote the generalized inverse polynomial module over the skew generalized power series ring [[$R^{S,{\leq}},{\omega}$]]. In this paper, we prove that $[M^{S,{\leq}}]_{[[R^{S,{\leq}},{\omega}]]$ has the same uniform dimension as its coefficient module $M_R$, and that if, in addition, R is a right perfect ring and S is a chain monoid, then $[M^{S,{\leq}}]_{[[R^{S,{\leq}},{\omega}]]$ has the same couniform dimension as its coefficient module $M_R$.

• 호남수학학술지
• /
• 제20권1호
• /
• pp.1-14
• /
• 1998

In this short note we study the torsion theories over a commutative ring R and discuss a relative dimension related to such theories for R-modules. Let ${\sigma}$ be a torsion functor and (T, F) be its corresponding partition of Spec(R). The concept of ${\sigma}$-Cohen Macaulay (abbr. ${\sigma}$-CM) module is defined and some of the main points concerning the usual Cohen-Macaulay modules are extended. In particular it is shown that if M is a non-zero ${\sigma}$-CM module over R and S is a multiplicatively closed subset of R such that, for all minimal element of T, $S{\cap}p={\emptyset}$, then $S^{-1}M$ is a $S^{-1}{\sigma}$-CM module over $S^{-1}$R, where $S^{-1}{\sigma}$ is the direct image of ${\sigma}$ under the natural ring homomorphism $R{\longrightarrow}S^{-1}R$.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제13권3호
• /
• pp.231-244
• /
• 2013

We introduce the concept of interval-valued fuzzy congruences on a semigroup S and we obtain some important results: First, for any interval-valued fuzzy congruence $R_e$ on a group G, the interval-valued congruence class Re is an interval-valued fuzzy normal subgroup of G. Second, for any interval-valued fuzzy congruence R on a groupoid S, we show that a binary operation * an S=R is well-defined and also we obtain some results related to additional conditions for S. Also we improve that for any two interval-valued fuzzy congruences R and Q on a semigroup S such that $R{\subset}Q$, there exists a unique semigroup homomorphism g : S/R${\rightarrow}$S/G.