Let G = GLn(q) be the general linear group of degree n ≥ 2 defined over a finite field Fq of characteristic p. We fix a prime l 6= p and let stand R for a local principal ideal domain having characteristic 0, maximal ideal lR, and containing a primitive p-th root of unity. Then the residue field K = R/lR has characteristic l and a primitive p-th root of unity. By a Steinberg lattice of G over R...

The article presents some results concerning H-bases and theirs applications in multivariate interpolation. We derived the space of reduced polynomials with respect to a particular inner product. We made some connections with least interpolation and presented two application of the connection between spaces of reduced polynomials modulo a H-basis and spaces of ideal interpolation. 2000 Mathemat...

For a quartic primitive CM field K, we say that a rational prime p is evil if at least one of the abelian varieties with CM by K reduces modulo a prime ideal p|p to a product of supersingular elliptic curves with the product polarization. We call such primes evil primes for K. In [GL], we showed that for fixed K, such primes are bounded by a quantity related to the discriminant of the field K. ...

The existence of exact upper bounds for increasing sequences of ordinal functions modulo an ideal is discussed. The main theorem (Theorem 18 below) gives a necessary and suucient condition for the existence of an exact upper bound f for a < I-increasing sequence f = hf : < i On A where > jAj + is regular: an eub f with lim inf I cff(a) = exists if and only if for every regular 2 (jAj;) the set ...

We establish new classes of Ratliff-Rush closed ideals and some pathological behavior of the Ratliff-Rush closure. In particular, Ratliff-Rush closure does not behave well under passage modulo superficial elements, taking powers of ideals, associated primes, leading term ideals, and the minimal number of generators. In contrast, the reduction number of the Ratliff-Rush filtration behaves better...

A method is proposed for finding the global minimum of a multivariate polynomial via sum of squares (SOS) relaxation over its gradient variety. That variety consists of all points where the gradient is zero and it need not be finite. A polynomial which is nonnegative on its gradient variety is shown to be SOS modulo its gradient ideal, provided the gradient ideal is radical or the polynomial is...

Let X be a finite set and let k be a commutative ring. We consider the k-algebra of the monoid of all relations on X, modulo the ideal generated by the relations factorizing through a set of cardinality strictly smaller than Card(X), called inessential relations. This quotient is called the essential algebra associated to X. We then define a suitable nilpotent ideal of the essential algebra and...

In this article we consider the intersection graph G(R) of nontrivial proper ideals of a finite commutative principal ideal ring R with unity 1. Two distinct ideals are adjacent if they have non-trivial intersection. We characterize when the intersection graph is complete, bipartite, planar, Eulerian or Hamiltonian. We also find a formula to calculate the number of ideals in each ring and the d...

It is shown that a commutative Bézout ring R with compact minimal prime spectrum is an elementary divisor ring if and only if so is R/L for each minimal prime ideal L. This result is obtained by using the quotient space pSpec R of the prime spectrum of the ring R modulo the equivalence generated by the inclusion. When every prime ideal contains only one minimal prime, for instance if R is arith...

We recall that Theorem 1.3 allows us to define the ideal class group of a Dedekind domain, and in particular of a ring of integers, as the group of fractional ideals modulo the subgroup of principal ideals. We will prove that in the case of a ring of integers, the ideal class group is finite. In fact, we will shortly give a stronger statement due to Minkowski. Using similar techniques, we will ...