• Bulletin of the Korean Mathematical Society
• /
• v.44 no.1
• /
• pp.61-71
• /
• 2007

A group G is called cyclic subgroup separable for the cyclic subgroup H if for each $x\;{\in}\;G{\backslash}H$, there exists a normal subgroup N of finite index in G such that $x\;{\not\in}\;HN$. Clearly a cyclic subgroup separable group is residually finite. In this note we show that certain polygonal products of cyclic subgroup separable groups amalgamating normal subgroups are again cyclic subgroup separable. We then apply our results to polygonal products of polycyclic-by-finite groups and free-by-finite groups.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.1
• /
• pp.33-37
• /
• 2008

Let G be a compact abelian Lie group, and M an odd-dimensional closed smooth G-manifold. If the fixed point set $M^G\neq\emptyset$ and dim $M^G=0$, then G has a subgroup H with $G/H{\cong}\mathbb{Z}_2$, the cyclic group of order 2. The tangential representation $\tau_x$(M) of G at $x{\in}M^G$ is also regarded as a representation of H by restricted action. We show that the number of fixed points is even, and that the tangential representations at fixed points are pairwise isomorphic as representations of H.

• Journal of Communications and Networks
• /
• v.3 no.4
• /
• pp.361-364
• /
• 2001

Over an additive abelian group G of order g and for a given positive integer $\lambda$, a generalized Hadamard matrix GH(g, $\lambda$) is defined as a gλ$\times$gλ matrix[h(i, j)], where 1 $\leq i \leqg\lambda and 1 \leqj \leqg\lambda$, such that every element of G appears exactly $\lambd$atimes in the list h($i_1, 1) -h(i_2, 1), h(i_1, 2)-h(i_2, 2), …, h(i_1, g\lambda) -h(i_2, g\lambda), for any i_1\neqi_2$. In this paper, we propose a new method of expanding a GH(g^m, \lambda_1) = B = [B_{ij}] over G^m$ by replacing each of its m-tuple B_{ij} with B_{ij} + GH(g, $\lambda_2) where m = g\lambda_2. We may use g^m/\lambda_1 (not necessarily all distinct) GH(g, \lambda_2$)s for the substitution and the resulting matrix is defined over the group of order g.

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

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.10A
• /
• pp.1560-1565
• /
• 2000

Over an additive abelian group G of order g and for a given positive integer λ, a generalized Hadamard matrix GF(g,λ) is defined as a gλ$\times$gλ matrix [h(i,j)] where 1$\leq$i$\leq$gλ,1$\leq$j$\leq$gλ, such that every element of G appears exactly λ times in the list h(i$_1$,1)-h(i$_2$,1), h(i$_1$,2)-h(i$_2$,2),...,h(i$_1$,gλ)-h(i$_2$, gλ) for any i$\neq$j. In this paper, we propose a new method of expanding a GH(\ulcorner,λ$_1$) = B = \ulcorner over G by replacing each of its m-tuple \ulcorner with \ulcorner GH(g,λ$_2$) where m=gλ$_2$. We may use \ulcornerλ$_1$(not necessarily all distinct) GH(g,λ$_2$)'s for the substitution and the resulting matrix is defined over the group of order g.

• Journal of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.869-889
• /
• 2015

Let ${\Gamma}^+$ be the positive cone in a totally ordered abelian group ${\Gamma}$, and ${\alpha}$ an action of ${\Gamma}^+$ by extendible endomorphisms of a $C^*$-algebra A. Suppose I is an extendible ${\alpha}$-invariant ideal of A. We prove that the partial-isometric crossed product $\mathcal{I}:=I{\times}^{piso}_{\alpha}{\Gamma}^+$ embeds naturally as an ideal of $A{\times}^{piso}_{\alpha}{\Gamma}^+$, such that the quotient is the partial-isometric crossed product of the quotient algebra. We claim that this ideal $\mathcal{I}$ together with the kernel of a natural homomorphism $\phi:A{\times}^{piso}_{\alpha}{\Gamma}^+{\rightarrow}A{\times}^{iso}_{\alpha}{\Gamma}^+$ gives a composition series of ideals of $A{\times}^{piso}_{\alpha}{\Gamma}^+$ studied by Lindiarni and Raeburn.

• Journal of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.239-268
• /
• 2015

Let Q be a finite quiver and $G{\subseteq}Aut(\mathbb{k}Q)$ a finite abelian group. Assume that $\hat{Q}$ and ${\Gamma}$ are the generalized Mckay quiver and the valued graph corresponding to (Q, G) respectively. In this paper we discuss the relationship between indecomposable $\hat{Q}$-representations and the root system of Kac-Moody algebra $g({\Gamma})$. Moreover, we may lift G to $\bar{G}{\subseteq}Aut(g(\hat{Q}))$ such that $g({\Gamma})$ embeds into the fixed point algebra $g(\hat{Q})^{\bar{G}}$ and $g(\hat{Q})^{\bar{G}}$ as a $g({\Gamma})$-module is integrable.

• Journal of the Korean Mathematical Society
• /
• v.54 no.4
• /
• pp.1345-1356
• /
• 2017

For a given number field K, we show that the ranks of elliptic curves over K are uniformly finitely bounded if and only if the weak Mordell-Weil property holds in all (some) ultrapowers $^*K$ of K. We introduce the nonstandard weak Mordell-Weil property for $^*K$ considering each Mordell-Weil group as $^*{\mathbb{Z}}$-module, where $^*{\mathbb{Z}}$ is an ultrapower of ${\mathbb{Z}}$, and we show that the nonstandard weak Mordell-Weil property is equivalent to the weak Mordell-Weil property in $^*K$. In a saturated nonstandard number field, there is a nonstandard ring of integers $^*{\mathbb{Z}}$, which is definable. We can consider definable abelian groups as $^*{\mathbb{Z}}$-modules so that the nonstandard weak Mordell-Weil property is well-defined, and we conclude that the nonstandard weak Mordell-Weil property and the weak Mordell-Weil property are equivalent. We have valuations induced from prime numbers in nonstandard rational number fields, and using these valuations, we identify two nonstandard rational numbers.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.333-346
• /
• 2002

Let $F={F^v:S^1->S^1,v\in\; V$ and $g={G^v:S^1->S^1,v\in\; V$ be disjoint flows defined on the unit circle $S^1$, that is such flows that each their element either is the identity mapping or has no fixed point ((V, +) is a 2-divisible nontrivial abelian group). The aim of this paper is to give a necessary and sufficient codition for topological conjugacy of disjoint flows i.e., the existence of a homeomorphism $\Gamma:S^1->S^1$ satisfying $$\Gamma\circ\ F^v=G^v\circ\Gamma,\; v\in\; V$$ Moreover, under some further restrictions, we determine all such homeomorphisms.