• The Pure and Applied Mathematics
• /
• v.1 no.1
• /
• pp.7-11
• /
• 1994

Classically, valuation theory is closely related to the theory of divisors and conversely. If D is a Dedekined ring and K is its quotient field, then we can clearly construct the theory of divisors on D (or K), and then we can induce all the valuations on K ([3]). In particular, if K is a number field and A is the ring of algebraic integers, then since Z is Dedekind, A is a Dedekind rign and K is the field of fractions of A.(omitted)

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.1
• /
• pp.61-64
• /
• 1993

In this paper, we show that if R is a local-global domain then the Question holds. McDonald and Waterhouse in [6] and Estes and Guralnick in [5] introduced the concept of local-global rings (so called rings with many units) independently. A local-global ring is a commutative ring R with 1 satisfying; if a polynomial f in R[ $x_{1}$, .., $x_{n}$] represents a unit over $R_{P}$ for every maximal ideal P in R, then f represents a unit over R. Such rings include semilocal rings, or more generally, rings which are von Neumann regular mod their Jacobson radical, and the ring of all algebraic integers.s.s.

• Kyungpook Mathematical Journal
• /
• v.62 no.2
• /
• pp.289-321
• /
• 2022

The work realized by the authors of [4], [5] and [6] associates a non-negative matrix with positive integers entries to each dissection of a polygon. In the particular case of triangulations, these matrices called ℬ𝒞𝒥-matrices here contain valuable information of their frieze patterns, a concept introduced by Coxeter and Conway. This paper is concerned with the algebraic manipulation and properties of these matrices which are derived from operations acting on dissections.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.1
• /
• pp.19-34
• /
• 2011

A bounded linear operator T on a complex Banach space X is said to have property (I) provided that T has Bishop's property (${\beta}$) and there exists an integer p > 0 such that for a closed subset F of ${\mathbb{C}}$ ${X_T}(F)={E_T}(F)=\bigcap_{{\lambda}{\in}{\mathbb{C}}{\backslash}F}(T-{\lambda})^PX$ for all closed sets $F{\subseteq}{\mathbb{C}}$, where $X_T$(F) denote the analytic spectral subspace and $E_T$(F) denote the algebraic spectral subspace of T. Easy examples are provided by normal operators and hyponormal operators in Hilbert spaces, and more generally, generalized scalar operators and subscalar operators in Banach spaces. In this paper, we prove that if T has property (I), then the quasi-nilpotent part $H_0$(T) of T is given by $$KerT^P=\{x{\in}X:r_T(x)=0\}={\bigcap_{{\lambda}{\neq}0}(T-{\lambda})^PX$$ for all sufficiently large integers p, where ${r_T(x)}=lim\;sup_{n{\rightarrow}{\infty}}{\parallel}T^nx{\parallel}^{\frac{1}{n}}$. We also prove that if T has property (I) and the spectrum ${\sigma}$(T) is finite, then T is algebraic. Finally, we prove that if $T{\in}L$(X) has property (I) and has decomposition property (${\delta}$) then T has a non-trivial invariant closed linear subspace.

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

As a by-product of [5], we produce algebraic integers of certain values of quotients of Eisenstein series. And we consider the relation of $\Theta_3(0,\tau)$ and $\Theta_3(0,\tau^n)$. That is,we show that $$\mid$\Theta_3(0,\tau^n)$\mid$=$\mid$\Theta_3(0,\tau)$\mid$,\bigtriangleup(0,\tau)=\bigtriangleup(0,\tau^n)$ and $J(\tau)=J(\tau^n)$ for some $\tau\in\eta$.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.39-44
• /
• 1996

Throughout this paper $Z^p, Q_p$ and C_p$ will denote the ring of p-adic rational integers, the field of p-adic rational numbers and the completion of the algebraic closure of $Q_p$, respectively. Let $v_p$ be the normalized exponential valuation of $C_p$ with $$\mid$p$\mid$_p = p^{-v_p (p)} = p^{-1}$. We set $p^* = p$ for any prime p > 2 $p^* = 4 for p = 2$.

• Journal of Communications and Networks
• /
• v.13 no.1
• /
• pp.12-16
• /
• 2011

In this paper, we construct two families $C^*_m$ and ${\~{C}}^*_m$ of ternary ($2^m$, $3^m$, $2^{m-1}$ ) and ($2^m$, $3^{m+1}$, $2^{m-1}$ ) codes, for m = 1, 2, 3, ${\cdots}$, derived from the corresponding families of modified ternary Jacket matrices. These codes are close to the Plotkin bound and have a very easy decoding procedure.

• Journal of Educational Research in Mathematics
• /
• v.23 no.1
• /
• pp.17-35
• /
• 2013

The purpose of this study was to analyze the extendibility of division algorithm and Euclid algorithm for integers to algorithms for rational numbers based on word problems of fraction division. This study serviced to upgrade professional development of elementary and secondary mathematics teachers. In this paper, fractions were used as expressions of rational numbers, and they also represent rational numbers. According to discrete context and continuous context, and measurement division and partition division etc, divisibility was classified into two types; one is an abstract algebraic point of view and the other is a generalizing view which preserves division algorithms for integers. In the second view, we raised some contextual problems that can be used in school mathematics and then we discussed division algorithm, the greatest common divisor and the least common multiple, and Euclid algorithm for fractions.

• Journal of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.69-86
• /
• 2017

The point $P{\in}{\mathbb{P}}^2$ is referred to as a Galois point for a nonsingular plane algebraic curve C if the projection ${\pi}_P:C{\rightarrow}{\mathbb{P}}^1$ from P is a Galois covering. In contrast, the point $P^{\prime}{\in}C^{\prime}$ is referred to as a weak Galois Weierstrass point of a nonsingular algebraic curve C' if P' is a Weierstrass point of C' and a total ramification point of some Galois covering $f:C^{\prime}{\rightarrow}{\mathbb{P}}^1$. In this paper, we discuss the following phenomena. For a nonsingular plane curve C with a Galois point P and a double covering ${\varphi}:C{\rightarrow}C^{\prime}$, if there exists a common ramification point of ${\pi}_P$ and ${\varphi}$, then there exists a weak Galois Weierstrass point $P^{\prime}{\in}C^{\prime}$ with its Weierstrass semigroup such that H(P') = or , which is a semigroup generated by two positive integers r and 2r + 1 or 2r - 1, such that P' is a branch point of ${\varphi}$. Conversely, for a weak Galois Weierstrass point $P^{\prime}{\in}C^{\prime}$ with H(P') = or , there exists a nonsingular plane curve C with a Galois point P and a double covering ${\varphi}:C{\rightarrow}C^{\prime}$ such that P' is a branch point of ${\varphi}$.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1651-1672
• /
• 2023

In 2010, Li-Ye [13, Theorem 0.1] proved that P(ζ(z), ζ'(z), . . . , ζ^(m)(z), Γ(z), Γ'(z), Γ"(z)) ≢ 0 in ℂ, where m is a non-negative integer, and P(u₀, u₁, . . . , u_m, v₀, v₁, v₂) is any non-trivial polynomial in its arguments with coefficients in the field ℂ. Later on, Li-Ye [15, Theorem 1] proved that P(z, Γ(z), Γ'(z), . . . , Γ⁽ⁿ⁾(z), ζ(z)) ≢ 0 in z ∈ ℂ for any non-trivial distinguished polynomial P(z, u₀, u₁, . . ., u_n, v) with coefficients in a set L_δ of the zero function and a class of nonzero functions f from ℂ to ℂ ∪ {∞} (cf. [15, Definition 1]). In this paper, we prove that P(z, ζ(z), ζ'(z), . . . , ζ^(m)(z), Γ(z), Γ'(z), . . . , Γ⁽ⁿ⁾(z)) ≢ 0 in z ∈ ℂ, where m and n are two non-negative integers, and P(z, u₀, u₁, . . . , u_m, v₀, v₁, . . . , v_n) is any non-trivial polynomial in the m + n + 2 variables u₀, u₁, . . . , u_m, v₀, v₁, . . . , v_n with coefficients being meromorphic functions of order less than one, and the polynomial P(z, u₀, u₁, . . . , u_m, v₀, v₁, . . . , v_n) is a distinguished polynomial in the n + 1 variables v₀, v₁, . . . , v_n. The question studied in this paper is concerning the conjecture of Markus from [16]. The main results obtained in this paper also extend the corresponding results from Li-Ye [12] and improve the corresponding results from Chen-Wang [5] and Wang-Li-Liu-Li [23], respectively.