• Korean Journal of Mathematics
• /
• v.4 no.1
• /
• pp.45-49
• /
• 1996

Let $F_0$ be the maximal real subfield of $\mathbb{Q}({\zeta}_q+{\zeta}_q^{-1})$ and $F_{\infty}={\cup}_{n{\geq}0}F_n$ be its basic $\mathbb{Z}_p$-extension. Let $A_n$ be the Sylow $p$-subgroup of the ideal class group of $F_n$. The aim of this paper is to examine the injectivity of the natural $mapA_n{\rightarrow}A_m$ induced by the inclusion $F_n{\rightarrow}F_m$ when $m>n{\geq}0$. By using cyclotomic units of $F_n$ and by applying cohomology theory, one gets the following result: If $p$ does not divide the order of $A_1$, then $A_n{\rightarrow}A_m$ is injective for all $m>n{\geq}0$.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.1
• /
• pp.17-23
• /
• 2009

Let F be a finite real abelian extension of a global function field k with G = Gal(F/k). Assume that F is an extension field of the Hilbert class field $K_e$ of k and is contained in a cyclotomic function field $K_n$. Let $\ell$ be any prime number not dividing $ph_k{\mid}G{\mid}$. In this paper, we show that if $\theta{\in}\mathbb{Z}[G]$ annihilates the Sylow $\ell$-subgroup of ${\mathcal{O}}^{\times}_F/{\mathcal{C}}_F$, then (q-1)$\theta$ annihilates the Sylow $\ell$-subgroup of ${\mathcal{Cl}}_F$.

• Bulletin of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.251-257
• /
• 1995

In the catagory of t-modules the Carlitz module C plays the role of $G_m$ in the category of group schemes. For a finite t-module G which corresponds to a finite group scheme, Taguchi [T] showed that Hom (G, C) is the "right" dual in the category of finite- t-modules which corresponds to the Cartier dual of a finite group scheme. In this paper we show that for Drinfeld modules (i.e., t-modules of dimension 1) of rank 2 there is a natural way of defining its dual by using the extension of drinfeld module by the Carlitz module which is in the same vein as defining the dual of an abelian varietiey by its $G_m$-extensions. Our results suggest that the extensions are the right objects to define the dual of arbitrary t-modules.t-modules.

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

• Honam Mathematical Journal
• /
• v.42 no.1
• /
• pp.93-103
• /
• 2020

This article concerns a property of Abelain π-regular rings. A ring R shall be called right quasi-DR if for every a ∈ R there exists n ≥ 1 such that C(R)aⁿ ⊆ aR, where C(R) means the monoid of regular elements in R. The relations between the right quasi-DR property and near ring theoretic properties are investigated. We next show that the class of right quasi-DR rings is quite large.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.1
• /
• pp.135-146
• /
• 2009

In the present note we study the properties of weak Armendariz rings, and the connections among weak Armendariz rings, Armendariz rings, reduced rings and IFP rings. We prove that a right Ore ring R is weak Armendariz if and only if so is Q, where Q is the classical right quotient ring of R. With the help of this result we can show that a semiprime right Goldie ring R is weak Armendariz if and only if R is Armendariz if and only if R is reduced if and only if R is IFP if and only if Q is a finite direct product of division rings, obtaining a simpler proof of Lee and Wong's result. In the process we construct a semiprime ring extension that is infinite dimensional, from given any semi prime ring. We next find more examples of weak Armendariz rings.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1257-1272
• /
• 2019

This article concerns the structure of idempotents in reversible and pseudo-reversible rings in relation with various sorts of ring extensions. It is known that a ring R is reversible if and only if $ab{\in}I(R)$ for $a,b{\in}R$ implies ab = ba; and a ring R shall be said to be pseudoreversible if $0{\neq}ab{\in}I(R)$ for $a,b{\in}R$ implies ab = ba, where I(R) is the set of all idempotents in R. Pseudo-reversible is seated between reversible and quasi-reversible. It is proved that the reversibility, pseudoreversibility, and quasi-reversibility are equivalent in Dorroh extensions and direct products. Dorroh extensions are also used to construct several sorts of rings which are necessary in the process.

• Journal of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.1075-1087
• /
• 2008

We study a class of KMS-symmetric quantum Markovian semigroups on a quantum spin system ($\mathcal{A},{\tau},{\omega}$), where $\mathcal{A}$ is a quasi-local algebra, $\tau$ is a strongly continuous one parameter group of *-automorphisms of $\mathcal{A}$ and $\omega$ is a Gibbs state on $\mathcal{A}$. The semigroups can be considered as the extension of semi groups on the nontrivial abelian subalgebra. Let $\mathcal{H}$ be a Hilbert space corresponding to the GNS representation con structed from $\omega$. Using the general construction method of Dirichlet form developed in [8], we construct the symmetric Markovian semigroup $\{T_t\}{_t_\geq_0}$ on $\mathcal{H}$. The semigroup $\{T_t\}{_t_\geq_0}$ acts separately on two subspaces $\mathcal{H}_d$ and $\mathcal{H}_{od}$ of $\mathcal{H}$, where $\mathcal{H}_d$ is the diagonal subspace and $\mathcal{H}_{od}$ is the off-diagonal subspace, $\mathcal{H}=\mathcal{H}_d\;{\bigoplus}\;\mathcal{H}_{od}$. The restriction of the semigroup $\{T_t\}{_t_\geq_0}$ on $\mathcal{H}_d$ is Glauber dynamics, and for any ${\eta}{\in}\mathcal{H}_{od}$, $T_t{\eta}$, decays to zero exponentially fast as t approaches to the infinity.