• Journal of the Chungcheong Mathematical Society
• /
• v.29 no.4
• /
• pp.523-530
• /
• 2016

Let R be a 3!-torsion free semiprime ring, and let $D:R{\rightarrow}R$ be a Jordan derivation on a semiprime ring R. In this case, we show that [D(x), x]D(x) = 0 if and only if D(x)[D(x), x] = 0 for every $x{\in}R$. In particular, let A be a Banach algebra with rad(A). If D is a continuous linear Jordan derivation on A, then we see that $[D(x),x]D(x){\in}rad(A)$ if and only if $[D(x),x]D(x){\in}rad(A)$ for all $x{\in}A$.

• Communications of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.103-125
• /
• 2018

Let R be a 5!-torsion free semiprime ring, and let $D:R{\rightarrow}R$ be a Jordan derivation on a semiprime ring R. Then $[D(x),x]D(x)^2=0$ if and only if $D(x)^2[D(x), x]=0$ for every $x{\in}R$. In particular, let A be a Banach algebra with rad(A) and if D is a continuous linear Jordan derivation on A, then we show that $[D(x),x]D(x)2{\in}rad(A)$ if and only if $D(x)^2[D(x),x]{\in}rad(A)$ for all $x{\in}A$ where rad(A) is the Jacobson radical of A.

• Journal of the Korean Mathematical Society
• /
• v.32 no.3
• /
• pp.635-647
• /
• 1995

Let $H$ denote a separable, infinite dimensional complex Hilbert space and let $L(H)$ denote the algebra of all bounded linear operators on $H$. A dual algebra is a subalgebra of $L(H)$ that contains the identity operator $1_H$ and is closed in the $weak^*$ operator topology on $L(H)$. For $T \in L(H)$, let $A_T$ denote the smallest subalgebra of $L(H)$ that contains T and $1_H$ and is closed in the $weak^*$ operator topology.

• Journal of the Korean Mathematical Society
• /
• v.42 no.5
• /
• pp.893-912
• /
• 2005

We discuss a certain geometric property $X_{{\theta},{\gamma}}$ of dual algebras generated by a polynomially bounded operator and property ($\mathbb{A}_{N_0,N_0}$; these are central to the study of $N_{0}\timesN_{0}$-systems of simultaneous equations of weak$^{*}$-continuous linear functionals on a dual algebra. In particular, we prove that if T $\in$ $\mathbb{A}$$^{M}$ satisfies a certain sequential property, then T $\in$ $\mathbb{A}^{M}_{N_0}(H) if and only if the algebra $A_{T}$ has property $X_{0, 1/M}$, which is an improvement of Li-Pearcy theorem in [8].

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.3
• /
• pp.429-435
• /
• 2000

Our main goal is to show that if there exist Jordan derivations D, E and G on a noncommutative 2-torsion free prime ring R such that$(G^2(x)+E(x))D(x)=0\ or\ D(x)(G^2(x)+E(x))=0\ for\ all\ x\inR$, then we have D=o or E=0, G=0.

• Communications of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.261-266
• /
• 2017

H. R. Ebrahimi Vishki et al. conjectured in [1], that if every Jordan higher derivation on a trivial generalized matrix algebra $\mathcal{G}=(A,M,N,B)$ is a higher derivation, then either M = 0 or N = 0. In this note, we will give a class of counter examples.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.1031-1040
• /
• 2009

It is shown that every almost positive linear mapping h : $\mathcal{A}\rightarrow\mathcal{B}$ of a Banach *-algebra $\mathcal{A}$ to a Banach *-algebra $\mathcal{B}$ is a positive linear operator when h(rx) = rh(x) (r > 1) holds for all $x\in\mathcal{A}$, and that every almost linear mapping h : $\mathcal{A}\rightarrow\mathcal{B}$ of a unital C*-algebra $\mathcal{A}$ to a unital C*-algebra $\mathcal{B}$ is a positive linear operator when h($2^nu*y$) = h($2^nu$)*h(y) holds for all unitaries $u\in \mathcal{A}$, all $y \in \mathcal{A}$, and all n = 0, 1, 2, ..., by using the Hyers-Ulam-Rassias stability of functional equations. Under a more weak condition than the condition as given above, we prove that every almost linear mapping h : $\mathcal{A}\rightarrow\mathcal{B}$ of a unital C*-algebra $\mathcal{A}$ A to a unital C*-algebra $\mathcal{B}$ is a positive linear operator. It is applied to investigate states, center states and center-valued traces.

• Journal of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.643-702
• /
• 2021

Fix ℤ/2 is the prime field of two elements and write 𝒜₂ for the mod 2 Steenrod algebra. Denote by GL_d := GL(d, ℤ/2) the general linear group of rank d over ℤ/2 and by ${\mathfrak{P}}_d$ the polynomial algebra ℤ/2[x₁, x₂, …, x_d] as a connected unstable 𝒜₂-module on d generators of degree one. We study the Peterson "hit problem" of finding the minimal set of 𝒜₂-generators for ${\mathfrak{P}}_d$. Equivalently, we need to determine a basis for the ℤ/2-vector space $$Q{\mathfrak{P}}_d:={\mathbb{Z}}/2{\otimes}_{\mathcal{A}_2}\;{\mathfrak{P}}_d{\sim_=}{\mathfrak{P}}_d/{\mathcal{A}}^+_2{\mathfrak{P}}_d$$ in each degree n ≥ 1. Note that this space is a representation of GL_d over ℤ/2. The problem for d = 5 is not yet completely solved, and unknown in general. In this work, we give an explicit solution to the hit problem of five variables in the generic degree n = r(2^t - 1) + 2^ts with r = d = 5, s = 8 and t an arbitrary non-negative integer. An application of this study to the cases t = 0 and t = 1 shows that the Singer algebraic transfer of rank 5 is an isomorphism in the bidegrees (5, 5 + (13.2⁰ - 5)) and (5, 5 + (13.2¹ - 5)). Moreover, the result when t ≥ 2 was also discussed. Here, the Singer transfer of rank d is a ℤ/2-algebra homomorphism from GL_d-coinvariants of certain subspaces of $Q{\mathfrak{P}}_d$ to the cohomology groups of the Steenrod algebra, $Ext^{d,d+*}_{\mathcal{A}_2}$ (ℤ/2, ℤ/2). It is one of the useful tools for studying these mysterious Ext groups.

• Journal of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.127-135
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m. Then we say that I is an equimultiple good ideal in A, if I contains a reduction Q = ( $a_1$, $a_2$,ㆍㆍㆍ, $a_{s}$ ) generated by s elements in A and G(I) =(equation omitted)$_{n 0}$ $I^{n}$ / $I^{n＋1}$ of I is a Gorenstein ring with a(G(I)) = 1 - s, where s = h $t_{A}$ I and a(G(I)) denotes the a-invariant of G(I). Let $X_{A}$$^{s}$ denote the set of equimultiple good ideals I in A with h $t_{A}$ I = s, R(I) = A [It] be the Rees algebra of I, and $K_{R(I)}$ denote the canonical module of R(I). Let a I such that $I^{n＋l}$ = a $I^{n}$ for some n$\geq$0 and $\mu$$_{A}$(I)$\geq$2, where $\mu$$_{A}$(I) denotes the number of elements in a minimal system of generators of I. Assume that A/I is a Cohen-Macaulay ring. We show that the following conditions are equivalent. (1) $K_{R(I)}$(equation omitted)R(I)＋as graded R(I)-modules. (2) $I^2$ = aI and aA : I$\in$ $X^1$$_{A}$._{A}$./.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.4
• /
• pp.673-688
• /
• 2011

Let $n{\geq}2$ be an even integer. We investigate that if an odd mapping f : X ${\rightarrow}$ Y satisfies the following equation $2_{n-2}C_{\frac{n}{2}-1}rf\(\sum\limits^n_{j=1}{\frac{x_j}{r}}\)\;+\;{\sum\limits_{i_k{\in}\{0,1\} \atop {{\sum}^n_{k=1}\;i_k={\frac{n}{2}}}}\;rf\(\sum\limits^n_{i=1}(-1)^{i_k}{\frac{x_i}{r}}\)=2_{n-2}C_{{\frac{n}{2}}-1}\sum\limits^n_{i=1}f(x_i),$ then f : X ${\rightarrow}$ Y is additive, where $r{\in}R$. We also prove the stability in normed group by using shadowing property and the Hyers-Ulam stability of the functional equation in Banach spaces and in Banach modules over unital C-algebras. As an application, we show that every almost linear bijection h : A ${\rightarrow}$ B of unital $C^*$-algebras A and B is a $C^*$-algebra isomorphism when $h(\frac{2^s}{r^s}uy)=h(\frac{2^s}{r^s}u)h(y)$ for all unitaries u ${\in}$ A, all y ${\in}$ A, and s = 0, 1, 2,....