• Bulletin of the Korean Mathematical Society
• /
• v.52 no.5
• /
• pp.1587-1606
• /
• 2015

Comonoid, bi-algebra, and Hopf algebra structures are studied within the universal-algebraic context of entropic varieties. Attention focuses on the behavior of setlike and primitive elements. It is shown that entropic $J{\acute{o}}nsson$-Tarski varieties provide a natural universal-algebraic setting for primitive elements and group quantum couples (generalizations of the group quantum double). Here, the set of primitive elements of a Hopf algebra forms a Lie algebra, and the tensor algebra on any algebra is a bi-algebra. If the tensor algebra is a Hopf algebra, then the underlying $J{\acute{o}}nsson$-Tarski monoid of the generating algebra is cancellative. The problem of determining when the $J{\acute{o}}nsson$-Tarski monoid forms a group is open.

• Journal of the Chungcheong Mathematical Society
• /
• v.7 no.1
• /
• pp.165-182
• /
• 1994

The aim of this paper is to give the partial answer of Vukman's conjecture [2]. From the partial answer we also generalize a classical result of Posner. We prove the following result: Let R be a prime ring with char$(R){\neq}2,3$, and 5. Suppose there exists a nonzero derivation $D:R{\rightarrow}R$ such that the mapping $x{\longmapsto}$ [[[Dx,x],x],x] is centralizing on R. Then R is commutative. Using this result and some results of Sinclair and Johnson, we generalize Yood's noncom-mutative extension of the Singer-Wermer theorem.

• Journal of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.109-132
• /
• 2024

The Clifford algebra of a direct sum of real quadratic spaces appears as the superalgebra tensor product of the Clifford algebras of the summands. The purpose of the current paper is to present a purely settheoretical version of the superalgebra tensor product which will be applicable equally to groups or to their non-associative analogues - quasigroups and loops. Our work is part of a project to make supersymmetry an effective tool for the study of combinatorial structures. Starting from group and quasigroup structures on four-element supersets, our superproduct unifies the construction of the eight-element quaternion and dihedral groups, further leading to a loop structure which hybridizes the two groups. All three of these loops share the same character table.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.867-873
• /
• 2024

A pseudo-Riemannian solvmanifold is a solvable Lie group endowed with a left invariant pseudo-Riemannian metric. In this short note, we investigate the nilpotency of the Ricci operator of pseudo-Riemannian solvmanifolds. We focus on a special class of solvable Lie groups whose Lie algebras can be expressed as a one-dimensional extension of a nilpotent Lie algebra ℝD⋉n, where D is a derivation of n whose restriction to the center of n has at least one real eigenvalue. The main result asserts that every solvable Lie group belonging to this special class admits a left invariant pseudo-Riemannian metric with nilpotent Ricci operator. As an application, we obtain a complete classification of three-dimensional solvable Lie groups which admit a left invariant pseudo-Riemannian metric with nilpotent Ricci operator.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.1
• /
• pp.73-82
• /
• 2022

Let K be a field of characteristic zero. We first show that images of the linear derivations and the linear 𝓔-derivations of the polynomial algebra K[x] = K[x₁, x₂, …, x_n] are ideals if the products of any power of eigenvalues of the matrices according to the linear derivations and the linear 𝓔-derivations are not unity. In addition, we prove that the images of D and 𝛿 are Mathieu-Zhao spaces of the polynomial algebra K[x] if D = ∑ⁿ_i=1 (a_ix_i + b_i)∂_i and 𝛿 = I - 𝜙, 𝜙(x_i) = λ_ix_i + 𝜇_i for a_i, b_i, λ_i, 𝜇_i ∈ K for 1 ≤ i ≤ n. Finally, we prove that the image of an affine 𝓔-derivation of the polynomial algebra K[x₁, x₂] is a Mathieu-Zhao space of the polynomial algebra K[x₁, x₂]. Hence we give an affirmative answer to the LFED Conjecture for the affine 𝓔-derivations of the polynomial algebra K[x₁, x₂].

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.359-366
• /
• 1996

A linear map T from a Banach algebra A into a Banach algebra B is almost multiplicative if $\left\$\mid$ T(fg) - T(f)T(g) \right\$\mid$ \leq \in\left\$\mid$ f \right\$\mid$\left\$\mid$ g \right\$\mid$(f,g \in A)$ for some small positive $\in$. B.E.Johnson [4,5] studied whether this implies that T is near a multiplicative map in the norm of operators from A into B. K. Jarosz [2,3] raised the conjecture : If T is an almost multiplicative functional on uniform algebra A, there is a linear and multiplicative functional F on A such that $\left\$\mid$ T - F \right\$\mid$ \leq \in', where \in' \to 0$ as $\in \to 0$. B. E. Johnson [4] gave an example of non-uniform commutative Banach algebra which does not have the property described in the above conjecture. He proved also that C(K) algebras and the disc algebra A(D) have this property [5]. We extend this property to a derivation on a Banach algebra.