• Korean Journal of Mathematics
• /
• v.5 no.2
• /
• pp.185-193
• /
• 1997

In this paper, we study the $BP_*$-module structure of $BP_*$(BG) mod $(p,v_1,{\cdots})^2$ for non abelian groups of the order $p^3$. We know $grBP_*(BG)=BP_*{\otimes}H(H_*(BG);Q_1){\oplus}BP^*/(p,v_1){\otimes}ImQ_1$. The similar fact occurs for $BP_*$-homology $grBP_*(BG)=BP_*s^{-1}H(H_*(BG);Q_1){\oplus}BP_*/(p,v)s^{-1}H^{odd}(BG)$ by using the spectral sequence $E^{*,*}_2=Ext_{BP^*}(BP_*(BG),BP^*){\Rightarrow}BP^*(BG)$.

• Journal of the Korean Mathematical Society
• /
• v.46 no.2
• /
• pp.249-256
• /
• 2009

Let $G{\otimes}G$ be the tensor square of a group G. The set of all elements a in G such that $a{\otimes}g\;=\;1_{\otimes}$, for all g in G, is called the tensor centre of G and denoted by $Z^{\otimes}^$(G). In this paper some properties of the tensor centre of G are obtained and the capability of the pair of groups (G, G') is determined. Finally, the structure of $J_2$(G) will be described, where $J_2$(G) is the kernel of the map $\kappa$ : $G{\otimes}\;{\rightarrow}\;G'$.

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

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

• Proceedings of the Korean Vacuum Society Conference
• /
• 2011.02a
• /
• pp.11-11
• /
• 2011

In this talk, I will discuss roles of pseudo vector and scalar potential in changing physical properties of graphene systems. First, graphene under small uniaxial strain is shown to be described by the generalized Weyl's Hamiltonian with inclusion of pseudo vector and scalar potential simultaneously [1]. Thus, strained graphene is predicted to exhibit velocity anisotropy as well as work function enhancement without any gap. Second, if homogeneous strains with different strengths are applied to each layer of bilayer graphene, transverse electric fields across the two layers can be generated without any external electronic sources, thereby opening an energy gap [2]. This phenomenon is made possible by generation of inequivalent pseudo scalar potentials in the two graphene layers. Third, when very tiny lateral interlayer shift occurs in bilayer graphene, the Fermi surfaces of the system are shown to undergo Lifshitz transition [3]. We will show that this unexpected hypersensitive electronic topological transition is caused by a unique interplay between the effective non-Abelian vector potential generated by sliding motions and Berry's phases associated with massless Dirac electrons.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.815-827
• /
• 2019

It is well known that the denominator of the Dedekind sum s(c, d) divides 2 gcd(d, 3)d and that no smaller denominator independent of c can be expected. In contrast, here we prove that we usually get a smaller denominator in S(H, d), the sum of the s(c, d)'s over all the c's in a subgroup H of order n > 1 in the multiplicative group $(\mathbb{Z}/d\mathbb{Z})^*$. First, we prove that for p > 3 a prime, the sum 2S(H, p) is a rational integer of the same parity as (p-1)/2. We give an application of this result to upper bounds on relative class numbers of imaginary abelian number fields of prime conductor. Finally, we give a general result on the denominator of S(H, d) for non necessarily prime d's. We show that its denominator is a divisor of some explicit divisor of 2d gcd(d, 3).

• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1371-1385
• /
• 2019

Given a topological space X and a non-negative integer k, ${\varepsilon}^{\sharp}_k(X)$ is the set of all self-homotopy equivalences of X that do not change maps from X to an t-sphere $S^t$ homotopically by the composition for all $t{\geq}k$. This set is a subgroup of the self-homotopy equivalence group ${\varepsilon}(X)$. We find certain homotopic tools for computations of ${\varepsilon}^{\sharp}_k(X)$. Using these results, we determine ${\varepsilon}^{\sharp}_k(M(G,n))$ for $k{\geq}n$, where M(G, n) is a Moore space type of (G, n) for a finitely generated abelian group G.

• Korean Journal of Mathematics
• /
• v.29 no.3
• /
• pp.483-492
• /
• 2021

This article concerns the property that for any element a in a ring, if a²ⁿ = aⁿ for some n ≥ 2 then a² = a. The class of rings with this property is large, but there also exist many kinds of rings without that, for example, rings of characteristic ≠2 and finite fields of characteristic ≥ 3. Rings with such a property is called reduced-over-idempotent. The study of reduced-over-idempotent rings is based on the fact that the characteristic is 2 and every nonzero non-identity element generates an infinite multiplicative semigroup without identity. It is proved that the reduced-over-idempotent property pass to polynomial rings, and we provide power series rings with a partial affirmative argument. It is also proved that every finitely generated subring of a locally finite reduced-over-idempotent ring is isomorphic to a finite direct product of copies of the prime field {0, 1}. A method to construct reduced-over-idempotent fields is also provided.

• Journal of applied mathematics & informatics
• /
• v.20 no.1_2
• /
• pp.75-96
• /
• 2006

Let m, n be positive integers. We denote by R(m,n) (respectively P(m,n)) the class of all groups G such that, for every n subsets $X_1,X_2\ldots,X_n$, of size m of G there exits a non-identity permutation $\sigma$ such that $X_1X_2{\cdots}X_n{\cap}X_{\sigma(1)}X_{/sigma(2)}{\cdots}X_{/sigma(n)}\neq\phi$ (respectively $X_1X_2{\cdots}X_n=X_{/sigma(1)}X_{\sigma(2)}{\cdots}X_{\sigma(n)}$). Let G be a non-abelian group. In this paper we prove that (i) $G{\in}P$(2,3) if and only if G isomorphic to $S_3$, where $S_n$ is the symmetric group on n letters. (ii) $G{\in}R$(2, 2) if and only if ${\mid}G{\mid}\geq8$. (iii) If G is finite, then $G{\in}R$(3, 2) if and only if ${\mid}G{\mid}\geq14$ or G is isomorphic to one of the following: SmallGroup(16, i), $i\in$ {3, 4, 6, 11, 12, 13}, SmallGroup(32, 49), SmallGroup(32, 50), where SmallGroup(m, n) is the nth group of order m in the GAP [13] library.

• Journal of the Korean Mathematical Society
• /
• v.47 no.6
• /
• pp.1269-1282
• /
• 2010

We in this note consider a new concept, so called $\pi$-McCoy, which unifies McCoy rings and IFP rings. The classes of McCoy rings and IFP rings do not contain full matrix rings and upper (lower) triangular matrix rings, but the class of $\pi$-McCoy rings contain upper (lower) triangular matrix rings and many kinds of full matrix rings. We first study the basic structure of $\pi$-McCoy rings, observing the relations among $\pi$-McCoy rings, Abelian rings, 2-primal rings, directly finite rings, and ($\pi-$)regular rings. It is proved that the n by n full matrix rings ($n\geq2$) over reduced rings are not $\pi$-McCoy, finding $\pi$-McCoy matrix rings over non-reduced rings. It is shown that the $\pi$-McCoyness is preserved by polynomial rings (when they are of bounded index of nilpotency) and classical quotient rings. Several kinds of extensions of $\pi$-McCoy rings are also examined.