• Kyungpook Mathematical Journal
• /
• v.63 no.4
• /
• pp.709-718
• /
• 2023

The inner automorphism groups of quandles are related to the classification problem of quandles. The inner automorphism group of a quandle is generated by inner automorphisms which are presented by columns in the operation table of the quandle. In this paper, we describe inner automorphisms of an abelian extension of a quandle by expressing columns of the operation table of the extended quandle as columns of the operation table of the original quandle. Such a description will be helpful in studying inner automorphism groups of abelian extensions of quandles.

• The Pure and Applied Mathematics
• /
• v.15 no.4
• /
• pp.353-364
• /
• 2008

The purpose of this paper is to investigate the finite extension of weighted word L-delta groups. The paper revealed that a finite extension of a weighted word L-delta group is a weighted word L-delta group, and an abelian group, in addition, is a weighted word L-delta group and simultaneously a word L-delta group.

• Honam Mathematical Journal
• /
• v.38 no.1
• /
• pp.85-93
• /
• 2016

Let A be an abelian variety defined over a number field K and let L be a degree 3 non-Galois extension of K. Let III(A/K) and III(A/L) denote, respectively, the Tate-Shafarevich groups of A over K and over L. Assuming that III(A/L) is finite, we compute [III(A/K)][III($A_{\varphi}/K$)]/[III(A/L)], where [X] is the order of a finite abelian group X.

• Honam Mathematical Journal
• /
• v.37 no.1
• /
• pp.1-6
• /
• 2015

Let A be an abelian variety defined over a number field K. Let L be a biquadratic extension of K with Galois group G and let III (A/K) and III(A/L) denote, respectively, the Tate-Shafarevich groups of A over K and over L. Assuming III(A/L) is finite, we compute [III(A/K)]/[III(A/L)] where [X] is the order of a finite abelian group X.

• Journal of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.515-545
• /
• 2024

Consider a Noetherian domain R₀ with quotient field K₀. Let K be a finitely generated regular transcendental field extension of K₀. We construct a Noetherian domain R with Quot(R) = K that contains R₀ and embed Spec(R₀) into Spec(R). Then, we prove that key properties of abelian varieties and smooth geometrically integral projective curves over K are preserved under reduction modulo p for "almost all" p ∈ Spec(R₀).

• Honam Mathematical Journal
• /
• v.39 no.2
• /
• pp.137-141
• /
• 2017

Let A be an abelian variety defined over a number field K and let L be a finite Galois extension of K. Let III(A/K) and III(A/L) denote, respectively, the Tate-Shafarevich groups of A over K and over L. Let $Res_{L/K}(A)$ be the restriction of scalars of A from L to K and let B be an abelian subvariety of $Res_{L/K}(A)$ defined over K. Assuming that III(A/L) is finite, we compute [III(B/K)][III(C/K)]/[III(A/L)], where [X] is the order of a finite abelian group X and the abelian variety C is defined by the exact sequence defined over K $0{\longrightarrow}B{\longrightarrow}Res_{L/K}(A){\longrightarrow}C{\longrightarrow}0$.

• The Pure and Applied Mathematics
• /
• v.23 no.1
• /
• pp.53-59
• /
• 2016

Let G be a finite group containing a non-abelian Sylow 2-subgroup. We elementarily show that every G-Galois field extension L/K has a hyperbolic trace form in the presence of root of unity.

• Communications of the Korean Mathematical Society
• /
• v.24 no.1
• /
• pp.1-4
• /
• 2009

In this paper we explicitly compute a Minkowski unit of a real abelian field and give a criterion when the first layer of anti-cyclotomic ${\mathbb{Z}}_3$-extension of an imaginary quadratic field is unramified everywhere.

• Bulletin of the Korean Mathematical Society
• /
• v.25 no.2
• /
• pp.179-183
• /
• 1988

In this paper we study a $C^{*}$-dynamical system (A, G, .alpha.) where A is a UHF-algebra, G is a finite abelian group and .alpha. is a *-automorphic action of product type of G on A. In [2], A. Kishimoto considered the case G= $Z_{n}$, the cyclic group of order n and investigated a condition in order that the fixed point algebra $A^{\alpha}$ of A under the action .alpha. is UHF. In later N.J. Munch studied extremal tracial states on $A^{\alpha}$ by employing the method of A. Kishimoto [3], where G is a finite abelian group. Generally speaking, when G is compact (not necessarily discrete and abelian), $A^{\alpha}$ is an AF-algebra and its ideal structure was well analysed by N. Riedel [4]. Here we obtain some conditions for $A^{\alpha}$ to be UHF, where G is a finite abelian group, which is an extension of the result of A. Kishimoto.oto.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.4
• /
• pp.545-551
• /
• 2003

We define subalgebras ${V_q}^{mZ{\times}nZ}\;of\;V_q\;where\;V_q$ are in the paper [4]. We show that the Lie algebra ${V_q}^{mZ{\times}nZ}$ is simple and maximally abelian decomposing. We may define a Lie algebra is maximally abelian decomposing, if it has a maximally abelian decomposition of it. The F-algebra automorphism group of the Laurent extension of the quantum plane is found in the paper [4], so we find the Lie automorphism group of ${V_q}^{mZ{\times}nZ}$ in this paper.