• Journal of the Chungcheong Mathematical Society
• /
• v.34 no.4
• /
• pp.317-326
• /
• 2021

Let K be an imaginary quadratic field other than ℚ(${\sqrt{-1}}$) and ℚ(${\sqrt{-3}}$), and let 𝒪_K be its ring of integers. Let N be a positive integer such that N = 5 or N ≥ 7. In this paper, we generate the ray class field modulo N𝒪_K over K by using a single x-coordinate of an elliptic curve with complex multiplication by 𝒪_K.

• Journal of the Korean Mathematical Society
• /
• v.55 no.2
• /
• pp.343-372
• /
• 2018

Let K be an imaginary quadratic field with ring of integers ${\mathcal{O}}_K$. Let E be an elliptic curve with complex multiplication by ${\mathcal{O}}_K$, and let $h_E$ be the Weber function on E. Let $N{\in}\{2,3,4,6\}$. We show that $h_E$ alone when evaluated at a certain N-torsion point on E generates the ray class field of K modulo $N{\mathcal{O}}_K$. This would be a partial answer to the question raised by Hasse and Ramachandra.

• Kyungpook Mathematical Journal
• /
• v.57 no.4
• /
• pp.581-600
• /
• 2017

A classical result of A. Cohn states that, if we express a prime p in base 10 as $$p=a_n10^n+a_{n-1}10^{n-1}+{\cdots}+a_110+a_0$$, then the polynomial $f(x)=a_nx^n+a_{n-1}x^{n-1}+{\cdots}+a_1x+a_0$ is irreducible in ${\mathbb{Z}}[x]$. This problem was subsequently generalized to any base b by Brillhart, Filaseta, and Odlyzko. We establish this result of A. Cohn in $O_K[x]$, K an imaginary quadratic field such that its ring of integers, $O_K$, is a Euclidean domain. For a Gaussian integer ${\beta}$ with ${\mid}{\beta}{\mid}$ > $1+{\sqrt{2}}/2$, we give another representation for any Gaussian integer using a complete residue system modulo ${\beta}$, and then establish an irreducibility criterion in ${\mathbb{Z}}[i][x]$ by applying this result.

• Korean Journal of Mathematics
• /
• v.30 no.1
• /
• pp.53-60
• /
• 2022

Let R be a finite commutative ring with non zero identity. The unit graph of R denoted by G(R) is the graph obtained by setting all the elements of R to be the vertices of a graph and two distinct vertices x and y are adjacent if and only if x + y ∈ U(R), where U(R) denotes the set of units of R. In this paper, we find the commutative rings R for which G(R) is a line graph. Also, we find the rings for which the complements of unit graphs are line graphs.

• Journal of applied mathematics & informatics
• /
• v.42 no.3
• /
• pp.663-680
• /
• 2024

The zero divisor graph is the most basic way of representing an algebraic structure as a graph. For any commutative ring R, each element is a vertex on the zero divisor graph and two vertices are defined as adjacent if and only if the product of those vertices equals zero. In this research, we determine some topological indices such as the Wiener index, the edge-Wiener index, the hyper-Wiener index, the Harary index, the first Zagreb index, the second Zagreb index, and the Gutman index of zero divisor graph of integers modulo prime power and its direct product.

• Kyungpook Mathematical Journal
• /
• v.60 no.4
• /
• pp.723-729
• /
• 2020

Let ℤ_n be the ring of integers modulo n and let ℤ_n[X]] be either ℤ_n[X] or ℤ_n[[X]]. Let 𝚪(Z_n[X]]) be the zero-divisor graph of ℤ_n[X]]. In this paper, we study some properties of 𝚪(ℤ_n[X]]). More precisely, we completely characterize the diameter and the girth of 𝚪(ℤ_n[X]]). We also calculate the chromatic number of 𝚪(ℤ_n[X]]).

• East Asian mathematical journal
• /
• v.33 no.3
• /
• pp.257-263
• /
• 2017

Let n be any positive integer and ${\mathbb{Z}}_n=\{0,1,{\cdots},n-1\}$ be the ring of integers modulo n. Let $X_n$ be the set of all nonzero, nonunits of ${\mathbb{Z}}_n$, and $G_n$ be the group of all units of ${\mathbb{Z}}_n$. In this paper, by investigating the regular action on $X_n$ by $G_n$, the following are proved : (1) The number of orbits under the regular action (resp. the number of annihilators in $X_n$) is equal to the number of all divisors (${\neq}1$, n) of n; (2) For any positive integer n, ${\sum}_{g{\in}G_n}\;g{\equiv}0$ (mod n); (3) For any orbit o(x) ($x{\in}X_n$) with ${\mid}o(x){\mid}{\geq}2$, ${\sum}_{y{\in}o(x)}\;y{\equiv}0$ (mod n).

• East Asian mathematical journal
• /
• v.37 no.1
• /
• pp.87-95
• /
• 2021

Let K be an imaginary quadratic field with ��K its ring of integers. For a positive integer N, let K(N) be the ray class field of K modulo N��K, and let ��N be the field of meromorphic modular functions of level N whose Fourier coefficients lie in the Nth cyclotomic field. For each h ∈ ��N, we construct a ray class invariant as its special value in terms of the extended form class group, and show that the invariant satisfies the natural transformation formula via the Artin map in the sense of Siegel and Stark. Finally, we establish an isomorphism between the extended form class group and Gal(K(N)/K) without any restriction on K.