• 대한수학회논문집
• /
• 제28권4호
• /
• pp.643-647
• /
• 2013

Let G be a group and let $p$ be a prime number. If the set $\mathcal{A}(G)$ of all commuting automorphisms of G forms a subgroup of Aut(G), then G is called $\mathcal{A}(G)$-group. In this paper we show that any $p$-group with cyclic maximal subgroup is an $\mathcal{A}(G)$-group. We also find the structure of the group $\mathcal{A}(G)$ and we show that $\mathcal{A}(G)=Aut_c(G)$. Moreover, we prove that for any prime $p$ and all integers $n{\geq}3$, there exists a non-abelian $\mathcal{A}(G)$-group of order $p^n$ in which $\mathcal{A}(G)=Aut_c(G)$. If $p$ > 2, then $\mathcal{A}(G)={\cong}\mathbb{Z}_p{\times}\mathbb{Z}_{p^{n-2}}$ and if $p=2$, then $\mathcal{A}(G)={\cong}\mathbb{Z}_2{\times}\mathbb{Z}_2{\times}\mathbb{Z}_{2^{n-3}}$ or $\mathbb{Z}_2{\times}\mathbb{Z}_2$.

• 대한수학회보
• /
• 제53권2호
• /
• pp.495-506
• /
• 2016

In this note we consider the monoid $\mathcal{PODI}_n$ of all monotone partial permutations on $\{1,{\ldots},n\}$ and its submonoids $\mathcal{DP}_n$, $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ of all partial isometries, of all order-preserving partial permutations and of all order-preserving partial isometries, respectively. We prove that both the monoids $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ are quotients of bilateral semidirect products of two of their remarkable submonoids, namely of extensive and of co-extensive transformations. Moreover, we show that $\mathcal{PODI}_n$ is a quotient of a semidirect product of $\mathcal{POI}_n$ and the group $\mathcal{C}_2$ of order two and, analogously, $\mathcal{DP}_n$ is a quotient of a semidirect product of $\mathcal{ODP}_n$ and $\mathcal{C}_2$.

• 대한수학회보
• /
• 제53권2호
• /
• pp.601-614
• /
• 2016

Let $N_{g,s}$ denote the nonorientable surface of genus g with s boundary components. Recently Paris and Szepietowski [12] obtained an explicit finite presentation for the mapping class group $\mathcal{M}(N_{g,s})$ of the surface $N_{g,s}$, where $s{\in}\{0,1\}$ and g + s > 3. Following this work, we obtain a finite presentation for the subgroup $\mathcal{T}(N_{g,s})$ of $\mathcal{M}(N_{g,s})$ generated by Dehn twists.

• East Asian mathematical journal
• /
• 제15권2호
• /
• pp.313-324
• /
• 1999

What we will be concerned with is, first, the question of the condition about $\mathcal{L}$ that gives Alg$\mathcal{L}$ a von Neumann algebra, that is, the question of the condition about $\mathcal{L}$ that will give Alg$\mathcal{L}$ a self-adjoint algebra. Secondly, if Alg$\mathcal{L}$ is a von Neumann algebra, we want to find out what type it is.

• Korean Journal of Mathematics
• /
• 제18권2호
• /
• pp.175-183
• /
• 2010

The classical group completion theorem states that under a certain condition the homology of ${\Omega}BM$ is computed by inverting ${\pi}_0M$ in the homology of M. McDuff and Segal extended this theorem in terms of homology fibration. Recently, more general group completion theorem for simplicial spaces was developed. In this paper, we construct a symmetric monoidal 2-category ${\mathcal{A}}$. The 1-morphisms of ${\mathcal{A}}$ are generated by three atomic 2-dimensional CW-complexes and the set of 2-morphisms is given by the group of path components of the space of homotopy equivalences of 1-morphisms. The main part of the paper is to compute the homotopy type of the group completion of the classifying space of ${\mathcal{A}}$, which is shown to be homotopy equivalent to ${\mathbb{Z}}{\times}BAut^+_{\infty}$.

• 충청수학회지
• /
• 제19권4호
• /
• pp.319-324
• /
• 2006

Let K be a finite cyclic extension of $k=\mathbb{F}_q(T)$ of prime degree ${\ell}$. Let ${\tilde{\mathcal{C}}}l_{K,{\ell}}$ be the Sylow ${\ell}$-subgroup of the ideal class group ${\tilde{\mathcal{C}}}l_K$ of $\mathcal{O}_K$. The structure of ${\tilde{\mathcal{C}}}l_{K,{\ell}}$ as $\mathbb{Z}_{\ell}[G]$/<$N_G$>-module is determined the dimensions $${\lambda}_i\;:=dim_{\mathbb{F}_{\ell}}({\tilde{\mathcal{C}}}l_{K,{\ell}}^{({\sigma}-1)^{i-1}}/{\tilde{\mathcal{C}}}l_{K,{\ell}}^{({\sigma}-1)^i})$$ for $i{\geq}1$. In this paper we investigate the dimensions ${\lambda}_1$ and ${\lambda}_2$.

• 대한수학회지
• /
• 제52권2호
• /
• pp.269-331
• /
• 2015

For a fixed positive integer g, we let $\mathcal{P}_g=\{Y{\in}\mathbb{R}^{(g,g)}{\mid}Y=^tY&gt;0\}$ be the open convex cone in the Euclidean space $\mathbb{R}^{g(g+1)/2}$. Then the general linear group GL(g, $\mathbb{R}$) acts naturally on $\mathcal{P}_g$ by $A{\star}Y=AY^tA(A{\in}GL(g,\mathbb{R}),\;Y{\in}\mathcal{P}_g)$. We introduce a notion of polarized real tori. We show that the open cone $\mathcal{P}_g$ parametrizes principally polarized real tori of dimension g and that the Minkowski modular space 𝔗g = $GL(g,\mathbb{Z}){\backslash}\mathcal{P}_g$ may be regarded as a moduli space of principally polarized real tori of dimension g. We also study smooth line bundles on a polarized real torus by relating them to holomorphic line bundles on its associated polarized real abelian variety.

• Kyungpook Mathematical Journal
• /
• 제55권2호
• /
• pp.251-258
• /
• 2015

Let $\mathcal{A}$ be a unital $C^*$-algebra, a, x and y are elements in $\mathcal{A}$. In this paper, we present the expression of the Moore-Penrose inverse and the group inverse of a-$xy^*$ under the conditions $x=aa^+x,y^*=y^*a^+a$, respectively.

• Korean Journal of Mathematics
• /
• 제21권3호
• /
• pp.331-344
• /
• 2013

In the present article, we describe specific elements in a motivic cohomology group $H^1_{\mathcal{M}}(Spec\mathbb{Q}({\zeta}_l),\;\mathbb{Z}(2))$ of cyclotomic fields, which generate a subgroup of finite index for an odd prime $l$. As $H^1_{\mathcal{M}}(Spec\mathbb{Q}({\zeta}_l),\;\mathbb{Z}(1))$ is identified with the group of units in the ring of integers in $\mathbb{Q}({\zeta}_l)$ and cyclotomic units generate a subgroup of finite index, these elements play similar roles in the motivic cohomology group.

• 호남수학학술지
• /
• 제35권4호
• /
• pp.583-606
• /
• 2013

We generalize the idea of (${\in}$, ${\in}{\vee}q_k$)-fuzzy ordered semi-group and give the concept of (${\in}$, ${\in}{\vee}q_k$)-fuzzy ordered $\mathcal{LA}$-semigroup. We show that (${\in}$, ${\in}{\vee}q_k$)-fuzzy left (right, two-sided) ideals, (${\in}$, ${\in}{\vee}q_k$)-fuzzy (generalized) bi-ideals, (${\in}$, ${\in}{\vee}q_k$)-fuzzy interior ideals and (${\in}$, ${\in}{\vee}q_k$)-fuzzy (1, 2)-ideals need not to be coincide in an ordered $\mathcal{LA}$-semigroup but on the other hand, we prove that all these (${\in}$, ${\in}{\vee}q_k$)-fuzzy ideals coincide in a left regular class of an ordered $\mathcal{LA}$-semigroup. Further we investigate some useful conditions for an ordered $\mathcal{LA}$-semigroup to become a left regular ordered $\mathcal{LA}$-semigroup and characterize a left regular ordered $\mathcal{LA}$-semigroup in terms of (${\in}$, ${\in}{\vee}q_k$)-fuzzy one-sided ideals. Finally we connect an ideal theory with an (${\in}$, ${\in}{\vee}q_k$)-fuzzy ideal theory by using the notions of duo and (${\in}{\vee}q_k$)-fuzzy duo.