• Bulletin of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.763-769
• /
• 2007

We study the structure of abelian-by-nilpotent groups satisfying the maximal condition on infinite normal subgroups or the minimal condition on normal subgroups of infinite index.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.2
• /
• pp.381-394
• /
• 2012

We generalize the insertion-of-factors-property by setting nilpotent products of elements. In the process we introduce the concept of a nil-IFP ring that is also a generalization of an NI ring. It is shown that if K$\ddot{o}$the's conjecture holds, then every nil-IFP ring is NI. The class of minimal noncommutative nil-IFP rings is completely determined, up to isomorphism, where the minimal means having smallest cardinality.

• Communications of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.811-826
• /
• 2017

The reversible property of rings was initially introduced by Habeb and plays a role in noncommutative ring theory. In this note we study the reversible ring property on nilpotent elements, introducing the concept of commutativity of nilpotent elements at zero (simply, a CNZ ring) as a generalization of reversible rings. We first find the CNZ property of 2 by 2 full matrix rings over fields, which provides a basis for studying the structure of CNZ rings. We next observe various kinds of CNZ rings including ordinary ring extensions.

• 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.

• Honam Mathematical Journal
• /
• v.20 no.1
• /
• pp.147-152
• /
• 1998

In this paper, we shall investigate the admittance of a fixed point free deformation(FPFD) on the locally nilpotent spaces when ${\pi}_1(X)$ is infinite. More precisely, for $X{\in}(S_{{\ast}{LN}})$ with ${\pi}_1(X)$ infinite, we prove the admittance of a FPFD where ${\pi}_1(X)$ has the maximal condition on normal subgroups, or ${\pi}_1(X)$ satisfies either the max-${\infty}$ or min-${\infty}$ for non-nilpotent subgroups where $S_{{\ast}{LN}}$ denotes the category of the locally nilpotent spaces and base point preserving continuous maps.

• 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.

• Kyungpook Mathematical Journal
• /
• v.63 no.2
• /
• pp.167-173
• /
• 2023

Let G be a finite group and let ν(G) be the probability that two randomly selected elements of G produce a nilpotent group. In this article we show that for every positive integer n > 0, there is a finite group G such that ${\nu}(G)={\frac{1}{n}}$. We also classify all groups G with ${\nu}(G)={\frac{1}{2}}$. Further, we prove that if G is a solvable nonnilpotent group of even order, then ${\nu}(G){\leq}{\frac{p+3}{4p}}$, where p is the smallest odd prime divisor of |G|, and that equality exists if and only if $\frac{G}{Z_{\infty}(G)}$ is isomorphic to the dihedral group of order 2p where Z_∞(G) is the hypercenter of G. Finally we find an upper bound for ν(G) in terms of |G| where G ranges over all groups of odd square-free order.

• 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.38 no.4
• /
• pp.623-633
• /
• 2001

In this note we study the prime radicals of formal power series rings, and the shapes of them under the condition that the prime radical is nilpotent. Furthermore we observe the condition structurally, adding related examples to the situations that occur naturally in the process.

• Honam Mathematical Journal
• /
• v.27 no.4
• /
• pp.543-550
• /
• 2005

Some properties of a transitive fuzzy matrix are examined and the canonical form of the transitive fuzzy matrix is given using the properties. As a special case an open problem concerning idempotent matrices is solved. Thus we have the same result in a intuitionistic fuzzy matrix theory. In our results a nilpotent intuitionistic matrix and a symmetric intuitionistic matrix play an important role. We decompose a transitive intuitionistic fuzzy matrix into sum of a nilpotent intuitionistic matrix and a symmetric intuitionistic matrix. Then we obtain a canonical form of the transitive intuitionistic fuzzy matrix.