Ideals generated by reverse lexicographic segments

Let k be a field, and let S = k[x ₁, …, x _n ] be the polynomial ring in x ₁, …, x _n with coefficients in the field k. We study ideals of S which are generated by reverse lexicographic segments of monomials of S. An ideal generated by a reverse lexicographic segment is called a completely reverse lexicographic segment ideal if all iterated shadows of the set of generators are reverse lexicographic segments. We characterize all completely reverse lexicographic segment ideals of S and determine conditions under which they have a linear resolution.     

Finiteness conditions in Krull subrings of a ring of polynomials

LetR be a Krull subring of a ring of polynomialsk[x ₁, …, x_n] over a fieldk. We prove that ifR is generated by monomials overk thenr is affine. We also construct an example of a non-affine Krull ringR, such thatk[x, xy]⊂R⊂k[x, y], and a non-Noetherian Krull ringS, such thatk[x, xy, z]⊂S⊂k[x, y, z].     

On the genus of generalized unit and unitary Cayley graphs of a commutative ring

Let R be a commutative ring, U(R) be the set of all unit elements of R, G be a multiplicative subgroup of U(R) and S be a non-empty subset of G such that S ^?1={s ^?1:?s∈S}?S. In [16], K. Khashyarmanesh et al. defined a graph of R, denoted by Γ(R,G,S), which generalizes both unit and unitary Cayley graphs of R. In this paper, we derive several bounds for the genus of Γ(R,U(R),S). Moreover, we characterize all commutative Artinian rings R for which the genus of Γ(R,U(R),S) is one. This leads to the characterization of all commutative Artinian rings whose unit and unitary Cayley graphs have genus one.     

Symmetric solutions of some production economies

A symmetricn-person game (n, k) (for positive integerk) is defined in its characteristic function form byv(S)=[¦S¦/k], where ¦S¦ is the number of players in the coalitionS and [x] denotes the largest integer not greater thanx, (i.e., anyk players, but not less, can “produce” one unit). It is proved that in any imputation in any symmetric von Neumann-Morgenstern solution of such a game, a blocking coalition ofp=n?k+1 players who receive the largest payoffs is formed, and their payoffs are always equal. Conditions for existence and uniqueness of such symmetric solutions with the otherk?1 payoffs equal too are proved; other cases are discussed thereafter.     

On the respective terms of the derived and the polycentral series of a free lie algabra and an ideal

Let F be a free Lie algebra of rank> 1 and S be an ideal of F. Denote by F_m and F_{n l},…,n_k the terms of the lower central and the polycentral series of F. The aim of this paper is to provide a sufficient condition for the quotient algebra F_{n l},…,n_k/S_{n l},…,n_k to be infinitely generated. The case F_m/S_m was studied in [6] for free groups and in [ 2 ] for free Lie algebras. In this paper the following main theorem is proved : If F = F2 = S, k > 1 and n_i > 1 for i=l,…, k, then F_{n l}…,n_k/S_{n l} is infinitely generated.     

Commutative rings whose proper ideals are direct sums of uniform modules

An interesting result, obtaining by some theorems of Asano, Köthe and Warfield, states that: “for a commutative ring R, every module is a direct sum of uniform modules if and only if R is an Artinian principal ideal ring.” Moreover, it is observed that: “every ideal of a commutative ring R is a direct sum of uniform modules if and only if R is a finite direct product of uniform rings.” These results raise a natural question: “What is the structure of commutative rings whose all proper ideals are direct sums of uniform modules?” The goal of this paper is to answer this question. We prove that for a commutative ring R, every proper ideal is a direct sum of uniform modules, if and only if, R is a finite direct product of uniform rings or R is a local ring with the unique maximal ideal ? of the form ? = U⊕S, where U is a uniform module and S is a semisimple module. Furthermore, we determine the structure of commutative rings R for which every proper ideal is a direct sum of cyclic uniform modules (resp., cocyclic modules). Examples which delineate the structures are provided.     

Resolutions of monomial almost complete intersections and generalizations

Let S=K[x₁,…,x_n] be a polynomial ring over a field kand let / be a monomial ideal of S. The main result of this paper is an explicit minimal resolution of kover R= S/Iwhen / is a monomial almost complete intersection ideal of S. We also compute an upper bound on the multigraded resolution of k over a generalization of monomial almost complete intersection ring.     

An integrality theorem of Grosshans over arbitrary base ring

We revisit a theorem of Grosshans and show that it holds over arbitrary commutative base ring k. One considers a split reductive group scheme G acting on a k-algebra A and leaving invariant a subalgebra R. Let U be the unipotent radical of a split Borel subgroup scheme. If R ^U = A ^U then the conclusion is that A is integral over R.     

Submodule categories of wild representation type

Let Λ be a commutative local uniserial ring with radical factor field k. We consider the category S(Λ) of embeddings of all possible submodules of finitely generated Λ-modules. In case Λ=Z/〈pⁿ〉, where p is a prime, the problem of classifying the objects in S(Λ), up to isomorphism, has been posed by Garrett Birkhoff in 1934. In this paper we assume that Λ has Loewy length at least seven. We show that S(Λ) is controlled k-wild with a single control object I∈S(Λ). It follows that each finite dimensional k-algebra can be realized as a quotient End(X)/End(X)_I of the endomorphism ring of some object X∈S(Λ) modulo the ideal End(X)_I of all maps which factor through a finite direct sum of copies of I.     

Topology and combinatorics of partitions of masses by hyperplanes

An old problem in combinatorial geometry is to determine when one or more measurable sets in Rd admit an equipartition by a collection of k hyperplanes [B. Grünbaum, Partitions of mass-distributions and convex bodies by hyperplanes, Pacific J. Math. 10 (1960) 1257-1261]. A related topological problem is the question of (non)existence of a map , equivariant with respect to the Weyl group Wk=Bk:=(Z/2)^⊕k?Sk, where U is a representation of Wk and S(U)⊂U the corresponding unit sphere. We develop general methods for computing topological obstructions for the existence of such equivariant maps. Among the new results is the well-known open case of 5 measures and 2 hyperplanes in R⁸ [E.A. Ramos, Equipartitions of mass distributions by hyperplanes, Discrete Comput. Geom. 15 (1996) 147-167]. The obstruction in this case is identified as the element 2Xab∈H₁(D₈;Z)≅Z/4, where Xab is a generator, which explains why this result cannot be obtained by the parity count formulas of Ramos [loc. cit.] or the methods based on either Stiefel-Whitney classes or ideal valued cohomological index theory [E. Fadell, S. Husseini, An ideal-valued cohomological index theory with applications to Borsuk-Ulam and Bourgin-Yang theorems, Ergodic Theory Dynam. Systems ^8* (1988) 73-85].     

Game saturation of intersecting families

We consider the following combinatorial game: two players, Fast and Slow, claim k-element subsets of [n] = {1, 2, …, n} alternately, one at each turn, so that both players are allowed to pick sets that intersect all previously claimed subsets. The game ends when there does not exist any unclaimed k-subset that meets all already claimed sets. The score of the game is the number of sets claimed by the two players, the aim of Fast is to keep the score as low as possible, while the aim of Slow is to postpone the game’s end as long as possible. The game saturation numbers, gsat_F(II _n,k ) and gsat_S(II _n,k ), are the score of the game when both players play according to an optimal strategy in the cases when the game starts with Fast’s or Slow’s move, respectively. We prove that $\Omega _k (n^{k/3 - 5} ) \leqslant gsat_F (\mathbb{I}_{n,k} ),gsat_S (\mathbb{I}_{n,k} ) \leqslant O_k (n^{k - \sqrt {k/2} } )$ .     

Some improvements in Neuberger's iteration procedure for solving partial differential equations

If m and n are positive integers then let S(m, n) denote the linear space over R whose elements are the real-valued symmetric n-linear functions on E_m with operations defined in the usual way. If $\text{U}$ is a function from some sphere S in E_m to R then let $\text{U}$⁽ⁱ⁾(x) denote the ith Frechet derivative of $\text{U}$ at x. In general $\text{U}$⁽ⁱ⁾(x)∈S(m,i). In the paper “An Iterative Method for Solving Nonlinear Partial Differential Equations” [Advances in Math. 19 (1976), 245–265] Neuberger presents an iterative procedure for solving a partial differential equation of the form

$\text{AU}{}^{\mathrm{n}}\text{(x)=F(x, U(x), U′(x),…,U}{}^{\mathrm{k}}\text{(x))}$

, where k > n, $\text{U}$ is the unknown from some sphere in E_m to R, A is a linear functional on S(m, n), and F is analytic. The defect in the theory presented there was that in order to prove that the iterates converged to a solution $\text{U}$ the condition $\text{k ?}\text{n}\text{2}$ was needed. In this paper an iteration procedure that is a slight variation on Neuberger's procedure is considered. Although the condition $\text{k ?}\text{n}\text{2}$ cannot as yet be eliminated, it is shown that in a broad class of cases depending upon the nature of the functional A the restriction $\text{k ?}\text{n}\text{2}$ may be replaced by the restriction $\text{k ?}\text{3n}\text{4}$.     

Delay moments for FIFO GI/GI/s queues

For stable FIFO GI/GI/s queues, s ≥ 2, we show that finite (k+1)st moment of service time, S, is not in general necessary for finite kth moment of steady-state customer delay, D, thus weakening some classical conditions of Kiefer and Wolfowitz (1956). Further, we demonstrate that the conditions required for E[D ^k]<∞ are closely related to the magnitude of traffic intensity ρ (defined to be the ratio of the expected service time to the expected interarrival time). In particular, if ρ is less than the integer part of s/2, then E[D] < ∞ if E[S^3/2]<∞, and E[D^k]<∞ if E[S^k]<∞, ^k≥ 2. On the other hand, if s-1 < ρ < s, then E[D^k]<∞ if and only if E[S^k+1]<∞, k ≥ 1. Our method of proof involves three key elements: a novel recursion for delay which reduces the problem to that of a reflected random walk with dependent increments, a new theorem for proving the existence of finite moments of the steady-state distribution of reflected random walks with stationary increments, and use of the classic Kiefer and Wolfowitz conditions. This revised version was published online in June 2006 with corrections to the Cover Date.     

On 2min-sets and 2minmax-sets with respect to certain cycles

Let [n] = {1, 2, …, n}. Suppose we have k linear orderings on [n], say <1, <2, …, <k. Let M ? [n]. Then M has a minimum for each linear ordering <i. So M has at most k minima. A set M ? [n] is called a 2min-set if it has at most two different minima in the linear orderings <1, <2, …, <k. Similarly, a set N ? [n] can have at most k minima and k maxima for any k linear orderings. A set N ? [n] is called a 2minmax-set if there exist a, b ∈ N such that all the elements in N | {a, b} lie in between a and b for every linear ordering <i. In this paper, we shall determine the sizes of 2min-sets and 2minmax-sets for certain k linear orderings.     

Commutative Moufang loops and Bessel functions

LetF be a field. For eachk>1, letG be a finite group containing{x ₁,...,x _k }!×{y ₁,...,y _k}!. Then in the group algebraFG, $$co\dim _F \sum\limits_{j = 1}^{k - 1} {(1 + (x_j x_{j + 1} ))(1 + (y_j y_{j + 1} ))FG = \frac{{|G|}}{{2\pi i}}\oint\limits_{|z| = 1} {\frac{{dz}}{{J_0 (2\sqrt z )z^{k + 1} }}.} } $$ Connections with the theory of commutative Moufang loops are discussed, including a conjectured answer to Manin's problem of specifying the 3-rank of a finitely generated free commutative Moufang loop.     

Quotient rings of polynomial rings

Let R be a commutative ring with identity. The multiplicatively closed sets U₂={fR[X]: c(f)–1=R}, (U₂)={fU₂: f is regular} and S={fR[X]: c(f)=R} are studied. By considering various equalities between these sets, many characterizations of Noetherian rings are found. In particular, a Noetherian ring R has depth 1 if and only if S=(U₂): and each maximal ideal of a Noetherian ring is regular if and only if U₂=(U₂).The theory of Prüfer v-multiplication rings (PVMR's) is developed for rings with zero divisors. Six equivalent conditions are given to the statement that an additively regular v-ring R is a PVMR.     

Commutativity of One Sided S- Unital Rings

In the present paper we extend some commutativity theorems for rings as follows: Let m > 1, n and k be fixed non- negative integers, and let R be a left or right s- unital ring satisfying the polynomial identity [xⁿ]y ? y^mx^k,x] = 0. Then R is commutative. Under appropriate conditions the commutativity of R has also been proved for the case m = 1.     

On finiteness conditions for Rees matrix semigroups

Let T=[S; I; J; P] be a Rees matrix semigroup where S is a semigroup, I and J are index sets, and P is a J × I matrix with entries from S, and let U be the ideal generated by all the entries of P. If U has finite index in S, then we prove that T is periodic (locally finite) if and only if S is periodic (locally finite). Moreover, residual finiteness and having solvable word problem are investigated.     

On the subsemiring generated by almost idempotents of a k-regular semiring

An element e of a semiring S with commutative addition is called an almost idempotent if \(e + e^2 = e^2\). Here we characterize the subsemiring \(\langle E(S)\rangle \) generated by the set E(S) of all almost idempotents of a k-regular semiring S with a semilattice additive reduct. If S is a k-regular semiring then \(\langle E(S)\rangle \) is also k-regular. A similar result holds for the completely k-regular semirings, too.