• 호남수학학술지
• /
• 제35권4호
• /
• pp.747-755
• /
• 2013

This paper deals with the unit groups of the endomorphism rings of projective modules over polynomial rings and further over formal power series rings. A normal subgroup of the unit group is defined and discussed. The local splitting properties of element of endomorphism rings of projective modules over polynomial rings are given.

• 대한수학회보
• /
• 제29권1호
• /
• pp.137-143
• /
• 1992

The purpose of this paper is to provide the affirmative solution of the following conjecture due to Davis and Geramita. Conjecture; Let A=R[T] be a polynomial ring in one variable, where R is a regular local ring of dimension d. Then maximal ideals in A are complete intersection. Geramita has proved that the conjecture is true when R is a regular local ring of dimension 2. Whatwadekar has rpoved that conjecture is true when R is a formal power series ring over a field and also when R is a localization of an affine algebra over an infinite perfect field. Nashier also proved that conjecture is true when R is a local ring of D[ $X_{1}$,.., $X_{d-1}$] at the maximal ideal (.pi., $X_{1}$,.., $X_{d-1}$) where (D,(.pi.)) is a discrete valuation ring with infinite residue field. The methods to establish our results are following from Nashier's method. We divide this paper into three sections. In section 1 we state Theorems without proofs which are used in section 2 and 3. In section 2 we prove some lemmas and propositions which are used in proving our results. In section 3 we prove our main theorem.eorem.rem.

• 대한수학회지
• /
• 제56권2호
• /
• pp.289-309
• /
• 2019

This paper is intended as a discussion of some generalizations of the notion of a reversible ring, which may be obtained by the restriction of the zero commutative property from the whole ring to some of its subsets. By the INCZ property we will mean the commutativity of idempotent elements of a ring with its nilpotent elements at zero, and by ICZ property we will mean the commutativity of idempotent elements of a ring at zero. We will prove that the INCZ property is equivalent to the abelianity even for nonunital rings. Thus the INCZ property implies the ICZ property. Under the assumption on the existence of unit, also the ICZ property implies the INCZ property. As we will see, in the case of nonunital rings, there are a few classes of rings separating the class of INCZ rings from the class of ICZ rings. We will prove that the classes of rings, that will be discussed in this note, are closed under extending to the rings of polynomials and formal power series.

• 한국수학사학회지
• /
• 제16권3호
• /
• pp.89-94
• /
• 2003

Though the concept of unique factorization was formulated in tile 19th century, Euclid already had considered the prime factorization of natural numbers, so called tile fundamental theorem of arithmetic. The unique factorization of algebraic integers was a crucial problem in solving elliptic equations and the Fermat Last Problem in tile 19th century On the other hand the unique factorization of the formal power series ring were a critical problem in the past century. Unique factorization is one of the idealistic condition in computation and prime elements and prime ideals are vital ingredients in thinking and solving problems.

• 대한수학회보
• /
• 제49권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.

• 대한수학회보
• /
• 제30권1호
• /
• pp.71-77
• /
• 1993

Every ring considered in the paper will be assumed to be commutative and have a unit element. An ideal A of a ring R will be called primal if the elements of R which are zero divisors modulo A, form an ideal of R, say pp. If A is a primal ideal of R, P is called the adjoint ideal of A. The adjoint ideal of a primal ideal is prime [2]. The definition of primal ideals may also be formulated as follows: An ideal A of a ring R is primal if in the residue class ring R/A the zero divisors form an ideal of R/A. If Q is a primary idel of a ring R then every zero divisor of R/Q is nilpotent; therefore, Q is a primal ideal of R. That a primal ideal need not be primary, is shown by an example in [2]. Let R[X], and R[[X]] denote the polynomial ring and formal power series ring in an indeterminate X over a ring R, respectively. Let S be a multiplicative system in a ring R and S$^{-1}$ R the quotient ring of R. Let Q be a P-primary ideal of a ring R. Then Q[X] is a P[X]-primary ideal of R[X], and S$^{-1}$ Q is a S$^{-1}$ P-primary ideal of a ring S$^{-1}$ R if S.cap.P=.phi., and Q[[X]] is a P[[X]]-primary ideal of R[[X]] if R is Noetherian [1]. We search for analogous results when primary ideals are replaced with primal ideals. To show an ideal A of a ring R to be primal, it sufficies to show that a-b is a zero divisor modulo A whenever a and b are zero divisors modulo A.

• 대한수학회지
• /
• 제55권1호
• /
• pp.101-129
• /
• 2018

From an analytical perspective, we introduce a sequence of Cartier operators that act on the field of formal Laurent series in one variable with coefficients in a field of positive characteristic p. In this work, we discover the binomial inversion formula between Hasse derivatives and Cartier operators, implying that Cartier operators can play a prominent role in various objects of study in function field arithmetic, as a suitable substitute for higher derivatives. For an applicable object, the Wronskian criteria associated with Cartier operators are introduced. These results stem from a careful study of two types of Cartier operators on the power series ring ${\mathbf{F}}_q$[[T]] in one variable T over a finite field ${\mathbf{F}}_q$ of q elements. Accordingly, we show that two sequences of Cartier operators are an orthonormal basis of the space of continuous ${\mathbf{F}}_q$-linear functions on ${\mathbf{F}}_q$[[T]]. According to the digit principle, every continuous function on ${\mathbf{F}}_q$[[T]] is uniquely written in terms of a q-adic extension of Cartier operators, with a closed-form of expansion coefficients for each of the two cases. Moreover, the p-adic analogues of Cartier operators are discussed as orthonormal bases for the space of continuous functions on ${\mathbf{Z}}_p$.