• The Mathematical Education
• /
• v.12 no.1
• /
• pp.1-3
• /
• 1973

In this paper, we want to verify some properties in tensor product. It is interesting to think semi-exact sequence in tensor Product by [3]. Moreover no hardness is there in process and we want to discuss the commutativity in tensor product. For a certain semi-exact sequence, if we product arbitrary Abelian group for each group then the tensor Product will do or not. Here, we have positive answer. At first we define the semi-exact sequence as following.

• Journal of the Chungcheong Mathematical Society
• /
• v.14 no.2
• /
• pp.27-35
• /
• 2001

We shall deal with ten cases out of 15 distinct almost Bieberbach groups up to Seifert local invariant. In those cases we will show that if G is a finite abelian group acting freely on the standard nilmanifold, then G is cyclic, up to topological conjugacy.

• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1075-1082
• /
• 2018

Let R be a commutative ring, G be an Abelian group, and let RG be the group ring. We say that RG is a U-group ring if a is a unit in RG if and only if ${\epsilon}(a)$ is a unit in R. We show that RG is a U-group ring if and only if G is a p-group and $p{\in}J(R)$. We give some properties of U-group rings and investigate some properties of well known rings, such as Hermite rings and rings with stable range, in the presence of U-group rings.

• Journal of applied mathematics & informatics
• /
• v.10 no.1_2
• /
• pp.167-174
• /
• 2002

A group G is said to be (l, n, n)-generated if it is a quotient group of the triangle group T(p,q,r)=(x,y,z|x$\^$p/=y$\^$q/=z$\^$r/=xyz=1). In [15], the question of finding all triples (l, m, n) such that non-abelian finite simple groups are (l , m, n)-generated was posed. In this paper we partially answer this question for the sporadic group He. We continue the study of (p, q, r) -generations of the sporadic simple groups, where p, q, r are distinct primes. The problem is resolved for the Held group He.

• Journal of applied mathematics & informatics
• /
• v.12 no.1_2
• /
• pp.143-154
• /
• 2003

A finite group G is called (l, m, n)-generated, if it is a quotient group of the triangle group T(l, m, n) = 〈$\chi$, y, z│$\chi$$\^$l/ = y$\^$m/ = z$^n$ = $\chi$yz = 1〉. In [19], the question of finding all triples (l, m, n) such that non-abelian finite simple group are (l, m, n)-generated was posed. In this paper we partially answer this question for the sporadic group Ru. In fact, we prove that if p, q and r are prime divisors of │Ru│, where p < q < r and$.$(p, q) $\neq$ (2, 3), then Ru is (p, q, r)-generated.

• Journal of the Korean Mathematical Society
• /
• v.40 no.2
• /
• pp.225-239
• /
• 2003

(G, <) is an ordered group if'<'is a total order relation on G in which f < g implies that xfy < xgy for all f, g, x, y $\in$ G. We say that (G, <) is centrally ordered if (G, <) is ordered and ［G,D］ $\subseteq$ C for every convex jump C $\prec$ D in G. Equivalently, if $f^{-1}g f{\leq} g^2$ for all f, g $\in$ G with g > 1. Every order on a torsion-free locally nilpotent group is central. We prove that if every order on every two-generator subgroup of a locally soluble orderable group G is central, then G is locally nilpotent. We also provide an example of a non-nilpotent two-generator metabelian orderable group in which all orders are central.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.1
• /
• pp.117-123
• /
• 2013

Let G be a finite non-abelian group. We define the non-commuting graph ${\nabla}(G)$ of G as follows: the vertex set of ${\nabla}(G)$ is G-Z(G) and two vertices x and y are adjacent if and only if $xy{\neq}yx$. In this paper we prove that if G is a finite group with $${\nabla}(G){\simeq_-}{\nabla}(\mathbb{A}_{22})$$, then $$G{\simeq_-}\mathbb{A}_{22}$$where $\mathbb{A}_{22}$ is the alternating group of degree 22.

• Korean Journal of Mathematics
• /
• v.6 no.2
• /
• pp.221-229
• /
• 1998

Let $k$ be a real abelian field and $k_{\infty}$ be its $\mathbb{Z}_p$-extension for an odd prime $p$. Let $A_n$ be the Sylow $p$-subgroup of the ideal class group of $k_n$, the $nth$ layer of the $\mathbb{Z}_p$-extension. By using the main conjecture of Iwasawa theory, we have the following: If $p$ does not divide $\prod_{{{\chi}{\in}\hat{\Delta}_k},{\chi}{\neq}1}B_{1,{\chi}{\omega}^{-1}$, then $A_n$ = {0} for all $n{\geq}0$, where ${\Delta}_k=Gal(k/\mathbb{Q})$ and ${\omega}$ is the Teichm$\ddot{u}$ller character for $p$. The converse of this statement does not hold in general. However, we have the following when $k$ is of prime conductor $q$: Let $q$ be an odd prime different from $p$. and let $k$ be a real subfield of $\mathbb{Q}({\zeta}_q)$. If $p{\mid}{\prod}_{{\chi}{\in}\hat{\Delta}_{k,p},{\chi}{\neq}1}B_{1,{\chi}{\omega}}-1$, then $A_n{\neq}\{0\}$ for all $n{\geq}1$, where ${\Delta}_{k,p}$ is the $Gal(k_{(p)}/\mathbb{Q})$ and $k_{(p)}$ is the decomposition field of $k$ for $p$.

• Kyungpook Mathematical Journal
• /
• v.49 no.3
• /
• pp.419-424
• /
• 2009

Let J be the Jacobian variety of a hyperelliptic curve over $\mathbb{Q}$. Let M be the field generated by all square roots of rational integers over a finite number field K. Then we prove that the Mordell-Weil group J(M) is the direct sum of a finite torsion group and a free $\mathbb{Z}$-module of infinite rank. In particular, J(M) is not a divisible group. On the other hand, if $\widetilde{M}$ is an extension of M which contains all the torsion points of J over $\widetilde{\mathbb{Q}}$, then $J(\widetilde{M}^{sol})/J(\widetilde{M}^{sol})_{tors}$ is a divisible group of infinite rank, where $\widetilde{M}^{sol}$ is the maximal solvable extension of $\widetilde{M}$.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.3
• /
• pp.657-665
• /
• 2016

A general notion of ${\chi}$-transitive groups was introduced by C. Delizia et al. in [6], where ${\chi}$ is a class of groups. In [5], Ciobanu, Fine and Rosenberger studied the relationship among the notions of conjugately separated abelian, commutative transitive and fully residually ${\chi}$-groups. In this article we study the concept of 2-Engel transitive groups and among other results, its relationship with conjugately separated 2-Engel and fully residually ${\chi}$-groups are established. We also introduce the notion of 2-Engelizer of the element x in G and denote the set of all 2-Engelizers in G by $E^2(G)$. Then we construct the possible values of ${\mid}E^2(G){\mid}$.