On the Key Equation Over a Commutative Ring

We define alternant codes over a commutative ring R and a corresponding key equation. We show that when the ring is a domain, e.g. the p-adic integers, the error-locator polynomial is the unique monic minimal polynomial (equivalently, the unique shortest linear recurrence) of the finite sequence of syndromes and that it can be obtained by Algorithm MR of Norton.WhenR is a local ring, we show that the syndrome sequence may have more than one (monic) minimal polynomial, but that all the minimal polynomials coincide modulo the maximal ideal ofR . We characterise the set of minimal polynomials when R is a Hensel ring. We also apply these results to decoding alternant codes over a local ring R: it is enough to find any monic minimal polynomial over R and to find its roots in the residue field. This gives a decoding algorithm for alternant codes over a finite chain ring, which generalizes and improves a method of Interlando et. al. for BCH and Reed-Solomon codes over a Galois ring.     

On maximal commutative subrings of non-commutative rings

We observe that every non-commutative unital ring has at least three maximal commutative subrings. In particular, non-commutative rings (resp., finite non-commutative rings) in which there are exactly three (resp., four) maximal commutative subrings are characterized. If R has acc or dcc on its commutative subrings containing the center, whose intersection with the nontrivial summands is trivial, then R is Dedekind-finite. It is observed that every Artinian commutative ring R, is a finite intersection of some Artinian commutative subrings of a non-commutative ring, in each of which, R is a maximal subring. The intersection of maximal ideals of all the maximal commutative subrings in a non-commutative local ring R, is a maximal ideal in the center of R. A ring R with no nontrivial idempotents, is either a division ring or a right ue-ring (i.e., a ring with a unique proper essential right ideal) if and only if every maximal commutative subring of R is either a field or a ue-ring whose socle is the contraction of that of R. It is proved that a maximal commutative subring of a duo ue-ring with finite uniform dimension is a finite direct product of rings, all of which are fields, except possibly one, which is a local ring whose unique maximal ideal is of square zero. Analogues of Jordan-Hölder Theorem (resp., of the existence of the Loewy chain for Artinian modules) is proved for rings with acc and dcc (resp., with dcc) on commutative subrings containing the center. A semiprime ring R has only finitely many maximal commutative subrings if and only if R has a maximal commutative subring of finite index. Infinite prime rings have infinitely many maximal commutative subrings.     

Polynomials Contained in a Finite Number of Maximal Ideals

Abstract

Let R[X] be a polynomial ring in one variable over a commutative ring R. If (R,?) is a local ring then any Weierstrass polynomial in R[X] is contained only in the maximal ideal (?,X) of R[X]. We generalise this property of Weierstrass polynomials and investigate properties of polynomials contained in a finite number of maximal ideals in R[X].     

On Factorization in Modules

In two articles, Anderson and Valdes-Leon generalized the theory of factorization in integral domains to commutative rings with zero divisors and to modules. Here we investigate some factorization properties in modules and state a result that relates factorization properties of an R-module, M, to the factorization properties of M as an (R/Ann(M))-module. Furthermore, we will investigate when a polynomial module, M[x], has the bounded factorization property, assuming that M has this property.     

On Rings for Which Finitely Generated Ideals Have Only Finitely Many Minimal Components

For a commutative ring R we investigate the property that the sets of minimal primes of finitely generated ideals of R are always finite. We prove this property passes to polynomial ring extensions (in an arbitrary number of variables) over R as well as to R-algebras which are finitely presented as R-modules.     

Symbole de Newton. Symbole de Jacobi-Carlitz

First of all we define the “Newton symbol” of two polynomials with coefficients in a commutative ring. The “Artinian symbol” of two polynomials of F₂[t] is then defined by analogy with the quadratic residue symbol. We prove that the Artinian symbol satisfies an “Euler's criterion”, and we define a “Jacobi-Carlitz symbol” in terms of the Newton symbol.     

Abelian groups with normal endomorphism rings

A ring is said to be normal if all of its idempotents are central. It is proved that a mixed group A with a normal endomorphism ring contains a pure fully invariant subgroup G ⊕ B, the endomorphism ring of a group G is commutative, and a subgroup B is not always distinguished by a direct summand in A. We describe separable, coperiodic, and other groups with normal endomorphism rings. Also we consider Abelian groups in which the square of the Lie bracket of any two endomorphisms is the zero endomorphism. It is proved that every central invariant subgroup of a group is fully invariant iff the endomorphism ring of the group is commutative.     

Differential Calculi on Quantum Groupoids

Let R be a commutative ring with Noetherian spectrum in which zero is a primary ideal. We determine the minimal zero-dimensional extensions of R when every regular prime ideal of R is contained in only finitely many prime ideals. This extends previous results of the first author for dim (R) ≤1. We also present a characterization of the partially ordered set of prime ideals in a ring with Noetherian spectrum.     

Extending Sets of Idempotents to Ring Extensions

In this paper the idea of an intrinsic extension of a ring, first proposed by Faith and Utumi, is generalized and studied in its own right. For these types of ring extensions, it is shown that, with relatively mild conditions on the base ring, R, a complete set of primitive idempotents (a complete set of left triangulating idempotents, a complete set of centrally primitive idempotents) can be constructed for an intrinsic extension, T, from a corresponding set in the base ring R. Examples and applications are given for rings that occur in functional analysis and group ring theory.     

Factorization of monic polynomials

We prove a uniqueness result about the factorization of a monic polynomial over a general commutative ring into comaximal factors. We apply this result to address several questions raised by Steve McAdam. These questions, inspired by Hensel's Lemma, concern properties of prime ideals and the factoring of monic polynomials modulo prime ideals.

     

Azumaya Categories

We define the notions of Azumaya category and Brauer group in category theory enriched over some very general base category V. We prove the equivalence of various definitions, in particular in terms of separable categories or progenerating bimodules. When V is the category of modules over a commutative ring R with unit, we recapture the classical notions of Azumaya algebra and Brauer group and provide an alternative, purely categorical treatment of those theories. But our theory applies as well to the cases of topological, metric or Banach modules, to the sheaves of such structures or graded such structures, and many other examples.     

Power automorphisms of finite p-groups

Abstract

In this paper, the definitions of quasi-orthogonal idempotent sequences and Iq-dimensions of a ring R are given. The relations between Iq-dimensions and block decomposition numbers of a ring are discussed. As a generalization of monic polynomials, the concept of quasi-monic polynomials over a ring is introduced. It is shown that, for a quasi-monic polynomial over a ring, the division algorithm holds. Suslin Lemma and Horrocks' Theorem are extended to the setting of quasi-monic polynomials. For a commutative ring R, if f(x) is a quasi-monic polynomial in R[x], then GD(R) = GD(R[x]/f(x)) is proved, where GD(R) denotes the global dimension of R.     

Algorithms for Commutative Algebras Over the Rational Numbers

The algebras considered in this paper are commutative rings of which the additive group is a finite-dimensional vector space over the field of rational numbers. We present deterministic polynomial-time algorithms that, given such an algebra, determine its nilradical, all of its prime ideals, as well as the corresponding localizations and residue class fields, its largest separable subalgebra, and its primitive idempotents. We also solve the discrete logarithm problem in the multiplicative group of the algebra. While deterministic polynomial-time algorithms were known earlier, our approach is different from previous ones. One of our tools is a primitive element algorithm; it decides whether the algebra has a primitive element and, if so, finds one, all in polynomial time. A methodological novelty is the use of derivations to replace a Hensel–Newton iteration. It leads to an explicit formula for lifting idempotents against nilpotents that is valid in any commutative ring.     

On explicit factors of cyclotomic polynomials over finite fields

We study the explicit factorization of 2 ⁿ r-th cyclotomic polynomials over finite field \mathbbF_q{\mathbb{F}_q} where q, r are odd with (r, q) = 1. We show that all irreducible factors of 2 ⁿ r-th cyclotomic polynomials can be obtained easily from irreducible factors of cyclotomic polynomials of small orders. In particular, we obtain the explicit factorization of 2 ⁿ 5-th cyclotomic polynomials over finite fields and construct several classes of irreducible polynomials of degree 2 ^n–2 with fewer than 5 terms.     

Gaussian Property of the Rings R(X) and R〈X〉

The content of a polynomial f over a commutative ring R is the ideal c(f) of R generated by the coefficients of f. A commutative ring R is said to be Gaussian if c(fg) = c(f)c(g) for every polynomials f and g in R[X]. A number of authors have formulated necessary and sufficient conditions for R(X) (respectively, R?X?) to be semihereditary, have weak global dimension at most one, be arithmetical, or be Prüfer. An open question raised by Glaz is to formulate necessary and sufficient conditions that R(X) (respectively, R?X?) have the Gaussian property. We give a necessary and sufficient condition for the rings R(X) and R?X? in terms of the ring R in case the square of the nilradical of R is zero.     

Polynomial orbits in finite commutative rings

Let R be a finite commutative ring with unity. We determine the set of all possible cycle lengths in the ring of polynomials with rational integral coefficients.     

On Minimal Extensions of Rings

Given two rings R ? S, S is said to be a minimal ring extension of R, if R is a maximal subring of S. In this article, we study minimal extensions of an arbitrary ring R, with particular focus on those possessing nonzero ideals that intersect R trivially. We will also classify the minimal ring extensions of prime rings, generalizing results of Dobbs, Dobbs &; Shapiro, and Ferrand &; Olivier, on commutative minimal extensions.     

Radically perfect prime ideals in polynomial rings

We call an ideal I of a commutative ring R radically perfect if among the ideals of R whose radical is equal to the radical of I the one with the least number of generators has this number of generators equal to the height of I. Let R be a Noetherian integral domain of Krull dimension one containing a field of characteristic zero. Then each prime ideal of the polynomial ring R[X] is radically perfect if and only if R is a Dedekind domain with torsion ideal class group. We also show that over a finite dimensional Bézout domain R, the polynomial ring R[X] has the property that each prime ideal of it is radically perfect if and only if R is of dimension one and each prime ideal of R is the radical of a principal ideal.