• Journal of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.289-300
• /
• 1995

Every group G has a unique maximal normal locally nilpotent subgroup $\Phi(G)$, called the Hirsh-Plotkin radical of G [9]. If G is a group, we define the upper Hirsh-Plotkin series of G to be the ascending series $1 = R_0 \leq R_1 \leq \ldots$ in which $R_{\alpha+1}/R_\alpha = \{Phi(G/R_\alpha)$ for each ordinal $\alpha and R_\beta = \cup_{\alpha<\beta}R_\alpha$ for each limit ordinal $\beta$. If $R_r = G$ for some natural number r, then G is said to have locally nilpotent length r. $(LN)^r$ denotes the calss of groups of locally nilpotent length at most r.

• Korean Journal of Mathematics
• /
• v.21 no.4
• /
• pp.421-428
• /
• 2013

We observe the basic structure of the products of coefficients of nilpotent (left) polynomials in skew polynomial rings. This study consists of a process to extend a well-known result for semi-Armendariz rings. We introduce the concept of ${\alpha}$-skew n-semi-Armendariz ring, where ${\alpha}$ is a ring endomorphism. We prove that a ring R is ${\alpha}$-rigid if and only if the n by n upper triangular matrix ring over R is $\bar{\alpha}$-skew n-semi-Armendariz. This result are applicable to several known results.

• The Pure and Applied Mathematics
• /
• v.20 no.4
• /
• pp.243-249
• /
• 2013

Let A be an algebra and D a derivation of A. Then D is called algebraic nil if for any $x{\in}A$ there is a positive integer n = n(x) such that $D^{n(x)}(P(x))=0$, for all $P{\in}\mathbb{C}[X]$ (by convention $D^{n(x)}({\alpha})=0$, for all ${\alpha}{\in}\mathbb{C}$). In this paper, we show that any algebraic nil derivation (possibly unbounded) on a commutative complex algebra A maps into N(A), where N(A) denotes the set of all nilpotent elements of A. As an application, we deduce that any nilpotent derivation on a commutative complex algebra A maps into N(A), Finally, we deduce two noncommutative versions of algebraic nil derivations inclusion range.

• Journal of the Korean Mathematical Society
• /
• v.36 no.3
• /
• pp.459-467
• /
• 1999

A complete analysis of the equation x'=y, y'=$\beta$y-$\alpha$x2+$\alpha$x2+$\delta$xy, where $\alpha$ and $\beta$ small, describing a particular unfolding of the Takens-Bogdanov singularity is presented.

• The Pure and Applied Mathematics
• /
• v.21 no.4
• /
• pp.237-246
• /
• 2014

Let M be a prime ${\Gamma}$-ring and let d be a derivation of M. If there exists a fixed integer n such that $(d(x){\alpha})^nd(x)=0$ for all $x{\in}M$ and ${\alpha}{\in}{\Gamma}$, then we prove that d(x) = 0 for all $x{\in}M$. This result can be extended to semiprime ${\Gamma}$-rings.

• Korean Journal of Mathematics
• /
• v.26 no.2
• /
• pp.175-189
• /
• 2018

In this paper, at first we generalize the notion of algebra over a field. A ${\Gamma}$-algebra is an algebraic structure consisting of a vector space V, a groupoid ${\Gamma}$ together with a map from $V{\times}{\Gamma}{\times}V$ to V. Then, on every associative ${\Gamma}$-algebra V and for every ${\alpha}{{\in}}{\Gamma}$ we construct an ${\alpha}$-Lie algebra. Also, we discuss some properties about ${\Gamma}$-Lie algebras when V and ${\Gamma}$ are the sets of $m{\times}n$ and $n{\times}m$ matrices over a field F respectively. Finally, we define the notions of ${\alpha}$-derivation, ${\alpha}$-representation, ${\alpha}$-nilpotency and prove Engel theorem in this case.

• The Pure and Applied Mathematics
• /
• v.4 no.1
• /
• pp.61-69
• /
• 1997

In this paper, we study the dynamics of a two-parameter unfolding system $\chi$' = y, y' = $\beta$y＋$\alpha$f($\chi\alpha\pm\chiy$＋yg($\chi$), where f($\chi$,$\alpha$) is a second order polynomial in $\chi$ and g($\chi$) is strictly nonlinear in $\chi$. We show that the higher order term yg($\chi$) in the system does not change qulitative structure of the Hopf bifurcations near the fixed points for small $\alpha$ and $\beta$ if the nontrivial fixed point approaches to the origin as $\alpha$ approaches zero.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.3
• /
• pp.487-497
• /
• 2006

The purpose of this paper is to describe the structure of the rings $\mathbb{Z}_{p^2}[X]/({\alpha}(X))$ with ${\alpha}(X)$ a monic polynomial and $\={X}^{\kappa}=0$ for some nonnegative integer ${\kappa}$. Especially we will see that any ideal of such rings can be generated by at most two elements of the special form and we will find the 'minimal' set of generators of the ideals. We indicate how to identify the isomorphism types of the ideals as $\mathbb{Z}_{p^2}-modules$ by finding the isomorphism types of the ideals of some particular ring. Also we will find the annihilators of the ideals by finding the most 'economical' way of annihilating the generators of the ideal.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.57-71
• /
• 2019

Let R be an associative ring with identity, M a t.u.p. monoid with only one unit and ${\omega}:M{\rightarrow}End(R)$ a monoid homomorphism. Let R be a reversible, M-compatible ring and ${\alpha}=a_1g_1+{\cdots}+a_ng_n$ a non-zero element in skew monoid ring $R{\ast}M$. It is proved that if there exists a non-zero element ${\beta}=b_1h_1+{\cdots}+b_mh_m$ in $R{\ast}M$ with ${\alpha}{\beta}=c$ is a constant, then there exist $1{\leq}i_0{\leq}n$, $1{\leq}j_0{\leq}m$ such that $g_{i_0}=e=h_{j_0}$ and $a_{i_0}b_{j_0}=c$ and there exist elements a, $0{\neq}r$ in R with ${\alpha}r=ca$. As a consequence, it is proved that ${\alpha}{\in}R*M$ is unit if and only if there exists $1{\leq}i_0{\leq}n$ such that $g_{i_0}=e$, $a_{i_0}$ is unit and aj is nilpotent for each $j{\neq}i_0$, where R is a reversible or right duo ring. Furthermore, we determine the relation between clean and nil clean elements of R and those elements in skew monoid ring $R{\ast}M$, where R is a reversible or right duo ring.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1555-1566
• /
• 2023

A Hilbert space operator A ∈ B(H) is a generalised n-projection, denoted A ∈ (G-n-P), if A^*n = A. (G-n-P)-operators A are normal operators with finitely countable spectra σ(A), subsets of the set $\{0\}\,{\cup}\,\{\sqrt[n+1]{1}\}.$ The Aluthge transform à of A ∈ B(H) may be (G - n - P) without A being (G - n - P). For doubly commuting operators A, B ∈ B(H) such that σ(AB) = σ(A)σ(B) and ${\parallel}A{\parallel}\,{\parallel}B{\parallel}\;{\leq}\;{\parallel}{\tilde{AB}}{\parallel},$ ${\tilde{AB}}\;{\in}\;(G\,-\,n\,-\,P)$ if and only if $A\;=\;{\parallel}{\tilde{A}}{\parallel}\,(A_{00}\,{\oplus}\,(A_0\,{\oplus}\,A_u))$ and $B\;=\;{\parallel}{\tilde{B}}{\parallel}\,(B_0\,{\oplus}\,B_u),$ where A₀₀ and B₀, and A₀ ⊕ A_u and B_u, doubly commute, A₀₀B₀ and A₀ are 2 nilpotent, A_u and B_u are unitaries, A^*n_u = A_u and B^*n_u = B_u. Furthermore, a necessary and sufficient condition for the operators αA, βB, αà and ${\beta}{\tilde{B}},\;{\alpha}\,=\,\frac{1}{{\parallel}{\tilde{A}}{\parallel}}$ and ${\beta}\,=\,\frac{1}{{\parallel}{\tilde{B}}{\parallel}},$ to be (G - n - P) is that A and B are spectrally normaloid at 0.