• 대한수학회지
• /
• 제42권3호
• /
• pp.573-597
• /
• 2005

A continuous linear operator T, on the space of entire functions in d variables, is PDE-preserving for a given set $\mathbb{P}\;\subseteq\;\mathbb{C}|\xi_{1},\ldots,\xi_{d}|$ of polynomials if it maps every kernel-set ker P(D), $P\;{\in}\;\mathbb{P}$, invariantly. It is clear that the set $\mathbb{O}({\mathbb{P}})$ of PDE-preserving operators for $\mathbb{P}$ forms an algebra under composition. We study and link properties and structures on the operator side $\mathbb{O}({\mathbb{P}})$ versus the corresponding family $\mathbb{P}$ of polynomials. For our purposes, we introduce notions such as the PDE-preserving hull and basic sets for a given set $\mathbb{P}$ which, roughly, is the largest, respectively a minimal, collection of polynomials that generate all the PDE-preserving operators for $\mathbb{P}$. We also describe PDE-preserving operators via a kernel theorem. We apply Hilbert's Nullstellensatz.

• 대한수학회논문집
• /
• 제33권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.

• 호남수학학술지
• /
• 제41권3호
• /
• pp.559-568
• /
• 2019

In this paper we introduce and study the concept of of (${\varphi}$, ${\psi}$)-am-enability of a locally compact group G, where ${\varphi}$ is a continuous homomorphism on G and ${\psi}:G{\rightarrow}{\mathbb{C}}$ multiplicative linear function. We prove that if the group algebra $L^1$ (G) is (${\tilde{\varphi}}$, ${\tilde{\psi}}$)-amenable then G is (${\varphi}$, ${\psi}$)-amenable, where ${\tilde{\varphi}}$ is the extension of ${\varphi}$ to M(G). In the case where ${\varphi}$ is an isomorphism on G it is shown that the converse is also valid.

• Korean Journal of Mathematics
• /
• 제27권3호
• /
• pp.735-741
• /
• 2019

Let ${\mathcal{H}}$ be a complex Hilbert space and ${\mathcal{B}}({\mathcal{H}})$ the algebra of all bounded linear operators on ${\mathcal{H}}$. In this paper, we prove that if ${\varphi}:{\mathcal{B}}({\mathcal{H}}){\rightarrow}{\mathcal{B}}({\mathcal{H}})$ is a unital surjective bounded linear map, which preserves m- isometries m = 1, 2 in both directions, then there are unitary operators $U,V{\in}{\mathcal{B}}({\mathcal{H}})$ such that ${\varphi}(T)=UTV$ or ${\varphi}(T)=UT^{tr}V$ for all $T{\in}{\mathcal{B}}({\mathcal{H}})$, where $T^{tr}$ is the transpose of T with respect to an arbitrary but fixed orthonormal basis of ${\mathcal{H}}$.

• 대한수학회논문집
• /
• 제34권2호
• /
• pp.375-381
• /
• 2019

In this paper, we introduce an operation denoted by [$Br_e$], a bracket operation, which maps an arbitrary groupoid ($X,{\ast}$) on a set X to another groupoid $(X,{\bullet})=[Br_e](X,{\ast})$ which on groups corresponds to sending a pair of elements (x, y) of X to its commutator $xyx^{-1}y^{-1}$. When applied to classes such as d-algebras, BCK-algebras, a variety of results is obtained indicating that this construction is more generally useful than merely for groups where it is of fundamental importance.

• 대한수학회논문집
• /
• 제37권4호
• /
• pp.1181-1197
• /
• 2022

We give a complete classification of simply connected and solvable real Lie groups whose nontrivial coadjoint orbits are of codimension 1. This classification of the Lie groups is one to one corresponding to the classification of their Lie algebras. Such a Lie group belongs to a class, called the class of MD-groups. The Lie algebra of an MD-group is called an MD-algebra. Some interest properties of MD-algebras will be investigated as well.

• 대한수학회논문집
• /
• 제37권4호
• /
• pp.957-967
• /
• 2022

Recently, Brešar's Jordan {g, h}-derivations have been investigated on triangular algebras. As a first aim of this paper, we extend this study to an interesting general context. Namely, we introduce the notion of Jordan 𝒢_n-derivations, with n ≥ 2, which is a natural generalization of Jordan {g, h}-derivations. Then, we study this notion on path algebras. We prove that, when n > 2, every Jordan 𝒢_n-derivation on a path algebra is a {g, h}-derivation. However, when n = 2, we give an example showing that this implication does not hold true in general. So, we characterize when it holds. As a second aim, we give a positive answer to a variant of Lvov-Kaplansky conjecture on path algebras. Namely, we show that the set of values of a multi-linear polynomial on a path algebra KE is either {0}, KE or the space spanned by paths of a length greater than or equal to 1.

• 대한수학회논문집
• /
• 제38권2호
• /
• pp.469-485
• /
• 2023

Let 𝓐 be a unital Banach *-algebra and 𝓜 be a unital *-𝓐-bimodule. If W is a left separating point of 𝓜, we show that every *-derivable mapping at W is a Jordan derivation, and every *-left derivable mapping at W is a Jordan left derivation under the condition W𝓐 = 𝓐W. Moreover we give a complete description of linear mappings 𝛿 and 𝜏 from 𝓐 into 𝓜 satisfying 𝛿(A)B^* + A𝜏(B)^* = 0 for any A, B ∈ 𝓐 with AB^* = 0 or 𝛿(A)◦B^* + A◦𝜏(B)^* = 0 for any A, B ∈ 𝓐 with A◦B^* = 0, where A◦B = AB + BA is the Jordan product.

• 대한수학회논문집
• /
• 제39권2호
• /
• pp.331-343
• /
• 2024

Let ℜ be a *-algebra with unity I and a nontrivial projection P₁. In this paper, we show that under certain restrictions if a map ψ : ℜ → ℜ satisfies $$\Psi(S_1{\diamond}S_2{\cdot}{\cdot}{\cdot}{\diamond}S_{n-1}{\bullet}S_n)=\sum_{k=1}^nS_1{\diamond}S_2{\diamond}{\cdot}{\cdot}{\cdot}{\diamond}S_{k-1}{\diamond}{\Psi}(S_k){\diamond}S_{k+1}{\diamond}{\cdot}{\cdot}{\cdot}{\diamond}S_{n-1}{\bullet}S_n$$ for all S_n-2, S_n-1, S_n ∈ ℜ and S_i = I for all i ∈ {1, 2, . . . , n - 3}, where n ≥ 3, then ψ is an additive *-derivation.

• 대한수학회지
• /
• 제56권2호
• /
• pp.539-558
• /
• 2019

An ideal of a commutative ring is called a d-ideal if it contains the annihilator of the annihilator of each of its elements. Denote by DId(A) the lattice of d-ideals of a ring A. We prove that, as in the case of f-rings, DId(A) is an algebraic frame. Call a ring homomorphism "compatible" if it maps equally annihilated elements in its domain to equally annihilated elements in the codomain. Denote by $SdRng_c$ the category whose objects are rings in which the sum of two d-ideals is a d-ideal, and whose morphisms are compatible ring homomorphisms. We show that $DId:\;SdRng_c{\rightarrow}CohFrm$ is a functor (CohFrm is the category of coherent frames with coherent maps), and we construct a natural transformation $RId{\rightarrow}DId$, in a most natural way, where RId is the functor that sends a ring to its frame of radical ideals. We prove that a ring A is a Baer ring if and only if it belongs to the category $SdRng_c$ and DId(A) is isomorphic to the frame of ideals of the Boolean algebra of idempotents of A. We end by showing that the category $SdRng_c$ has finite products.