• Bulletin of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.875-883
• /
• 2012

Let $\mathbb{F}_q$ be a finite field with q elements and $\mathbb{F}_q((X^{-1}))$ be the field of all formal Laurent series with coefficients lying in $\mathbb{F}_q$. This paper concerns with the size of the set of points $x{\in}\mathbb{F}_q((X^{-1}))$ with their partial quotients $A_n(x)$ both lying in a given subset $\mathbb{B}$ of polynomials in $\mathbb{F}_q[X]$ ($\mathbb{F}_q[X]$ denotes the ring of polynomials with coefficients in $\mathbb{F}_q$) and deg $A_n(x)$ tends to infinity at least with some given speed. Write $E_{\mathbb{B}}=\{x:A_n(x){\in}\mathbb{B},\;deg\;A_n(x){\rightarrow}{\infty}\;as\;n{\rightarrow}{\infty}\}$. It was shown in [8] that the Hausdorff dimension of $E_{\mathbb{B}}$ is inf{$s:{\sum}_{b{\in}\mathbb{B}}(q^{-2\;deg\;b})^s$ < ${\infty}$}. In this note, we will show that the above result is sharp. Moreover, we also attempt to give conditions under which the above dimensional formula still valid if we require the given speed of deg $A_n(x)$ tends to infinity.

• Journal for History of Mathematics
• /
• v.32 no.4
• /
• pp.159-173
• /
• 2019

In this paper, we examine the brief history of the ring of four almonds regarding Mesopotamian mathematics, and present reasons why the Omar Khayyam's triangle, a special right triangle in a ring of four almonds, was essential for artisans due to its unique pattern. We presume that the ring of four almonds originated from a point symmetry figure given two concentric squares used in the proto-Sumerian Jemdet Nasr period (approximately 3000 B.C.) and a square halfway between two given concentric squares used during the time of the Old Akkadian period (2340-2200 B.C.) and the Old Babylonian age (2000-1600 B.C.). Artisans tried to create a new intricate pattern as almonds and 6-pointed stars by subdividing right triangles in the pattern of the popular altered Old Akkadian square band at the time. Therefore, artisans needed the Omar Khayyam's triangle, whose hypotenuse equals the sum of the short side and the perpendicular to the hypotenuse. We presume that artisans asked mathematicians how to construct the Omar Khayyam's triangle at a meeting between artisans and mathematicians in Isfahan. The construction of Omar Khayyam's triangle requires solving an irreducible cubic polynomial. Omar Khayyam was the first to classify equations of integer polynomials of degree up to three and then proceeded to solve all types of cubic equations by means of intersections of conic sections. Omar Khayyam's triangle gave practical meaning to the type of cubic equation $x^3+bx=cx^2+a$. The work of Omar Khayyam was completed by Descartes in the 17th century.

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

• Journal of applied mathematics & informatics
• /
• v.16 no.1_2
• /
• pp.251-263
• /
• 2004

In this paper, algorithms for computing the minimal polynomial and the common minimal polynomial of resultant matrices over any field are presented by means of the approach for the Grobner basis of the ideal in the polynomial ring, respectively, and two algorithms for finding the inverses of such matrices are also presented. Finally, an algorithm for the inverse of partitioned matrix with resultant blocks over any field is given, which can be realized by CoCoA 4.0, an algebraic system over the field of rational numbers or the field of residue classes of modulo prime number. We get examples showing the effectiveness of the algorithms.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.2
• /
• pp.233-239
• /
• 2007

Let $\mathbb{A}=\mathbb{F}_q$[T] be the polynomial ring over a finite field $\mathbb{F}_q$[T] and K=$\mathbb{F}_q$(T) its field of fractions. Let ${\ell}$ be a fixed prime divisor of q-1. Let J be a finite set of monic irreducible polynomials $P{\in}{\mathbb{A}}$ with deg $P{\equiv}0$ (mod ${\ell})$. In this paper we define the group $C_K$ of circular units in K=k$(\{\sqrt[{\ell}]P\;:\;P{\in}J\})$ in the sense of Kucera [4] and compute the index of $C_K$ in the full unit group $O^*_K$.

• Journal of the Korean Mathematical Society
• /
• v.41 no.4
• /
• pp.717-735
• /
• 2004

A problem raised by Selfridge and solved by Pomerance asks to find the pairs (a, b) of natural numbers for which $2^a\;-\;2^b$ divides $n^a\;-\;n^b$ for all integers n. Vajaitu and one of the authors have obtained a generalization which concerns elements ${\alpha}_1,\;{\cdots},\;{{\alpha}_{\kappa}}\;and\;{\beta}$ in the ring of integers A of a number field for which ${\Sigma{\kappa}{i=1}}{\alpha}_i{\beta}^{{\alpha}i}\;divides\;{\Sigma{\kappa}{i=1}}{\alpha}_i{z^{{\alpha}i}}\;for\;any\;z\;{\in}\;A$. Here we obtain a further generalization, proving the corresponding finiteness results in a multidimensional setting.

• The Pure and Applied Mathematics
• /
• v.10 no.3
• /
• pp.177-183
• /
• 2003

In this paper, we initiate the study of some annihilator conditions on polynomials which were used by Kaplansky [Rings of operators. W. A. Benjamin, Inc., New York, 1968] to abstract the algebra of bounded linear operators on a Hilbert spaces with Baer condition. On the other hand, p.p.-rings were introduced by Hattori [A foundation of torsion theory for modules over general rings. Nagoya Math. J. 17 (1960) 147-158] to study the torsion theory. The purpose of this paper is to introduce the near-rings with Baer condition and near-rings with p.p. condition which are somewhat different from ring case, and to extend a results of Armendariz [A note on extensions of Baer and P.P.-rings. J. Austral. Math. Soc. 18 (1974), 470-473] and Jøndrup [p.p. rings and finitely generated flat ideals. Proc. Amer. Math. Soc. 28 (1971) 431-435].

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.4
• /
• pp.679-690
• /
• 2005

Let K be a commutative ring with unity, R a prime K-algebra of characteristic different from 2, d a non-zero derivation of R, I a non-zero right ideal of R, f($x_1,{\cdots},\;x_n$) a multilinear polynomial in n non-commuting variables over K, a $\in$ R. Supppose that, for any $x_1,{\cdots},\;x_n\;\in\;I,\;a[d(f(x_1,{\cdots},\;x_n)),\;f(x_1,{\cdots},\;x_n)]$ = 0. If $[f(x_1,{\cdots},\;x_n),\;x_{n+1}]x_{n+2}$ is not an identity for I and $$S_4(I,\;I,\;I,\;I)\;I\;\neq\;0$$, then aI = ad(I) = 0.