On the binomial arithmetical rank

The binomial arithmetical rank of a binomial ideal I is the smallest integer s for which there exist binomials f₁,..., f_s in I such that rad (I) = rad (f₁,..., f_s). We completely determine the binomial arithmetical rank for the ideals of monomial curves in P_KⁿP_K^n. In particular we prove that, if the characteristic of the field K is zero, then bar (I(C)) = n - 1 if C is complete intersection, otherwise bar (I(C)) = n. While it is known that if the characteristic of the field K is positive, then bar (I(C)) = n - 1 always.     

Quasi-polynomials associated with Bass and Betti numbers of filtered modules

It is shown that if M is a finite module on a local noetherian ring A which is filtered by an f-good filtration F \Phi = (M_n) where f is a noetherian filtration on A, then the i-th Betti and the i-th Bass numbers of the modules (M_n) and (M / M_n) define quasi-polynomial functions whose period does not depend on i but only of the Rees ring of f. It is proved that the projective and injective dimension of the modules M / M_n are perodic for large n. In the particular case where f is a good filtration or a strongly A P filtration it is shown that the projective and injective dimension as well as the depth stabilize. As an application, using a result proved by Brodmann, we give an upper bound of the analytic spread of¶ f = (I_n) in terms of the limes inferior of depth (A / I_n).     

On a certain ideal of Külshammer in the centre of a group algebra

Let G be a finite group and let F be a splitting field of characteristic $ p > 0 $ p > 0 . We show that I² = E₀, where I is a certain ideal of the centre Z of FG, and E₀ is the span of the block idempotents of defect zero.     

Non-commutative BMO space

We consider the non-commutative martingale BMO-version introduced recently by G. Pisier and Q. Xu. Let us denote it by BMO(M)BMO(\cal M), where M\cal M is )B(\ell_2). We prove that the triangular projection P_T (see [1]) is a bounded linear operator from B(l₂)B(\ell_2) into BMO(m)BMO(\cal m), obtaining a non-commutative analogue of the well-known fact from harmonical analysis that the Riesz projection maps continuously L_￥L_\infty into BMO.     

On self-normality and abnormality in the alternating group Ap

An old problem proposed by Huppert, Doerk and Hawkes motivates us to investigate the relationship between an abnormal subgroup and self-normalizing in non-solvable groups. A subgroup H of a group G is called second maximal if H is maximal in all maximal subgroups of G containing H. Our result is that if H is a second maximal subgroup of the alternating group A_p of prime degree, then H is abnormal in A_p if and only if H is self-normalizing.     

Mal'cev nilpotent algebras

We show that the Mal'cev semigroup identity x_n = y_n holds in the circle semigroup of an associative algebra over an infinite field precisely when the algebra is Lie nilpotent of class at most n. The Mal'cev semigroup law x_n = y_n holds in a group if and only if the group is nilpotent of class at most n.     

Directions of uniform rotundity in direct sums of normed spaces

Let {(X_i,|| · || _i)}_{i ? I},\{(X_i,\left \| {\cdot } \right \| _{i})\}_{i\in I}, be an arbitrary family of normed spaces and let (E,|| · || _E)(E,\left \| {\cdot } \right \| _{E}) be a monotonic normed space of real functions on the set I that is an ideal in \Bbb R^I{\Bbb R}^I. We prove a sufficient condition for the direct sum space E(X_i) to be uniformly rotund in a direction. We show that this condition is also necessary for E=l_￥E=\ell _{\infty }, and it is not necessary for E=l₁E=\ell _1. When E is either uniformly rotund in every direction and has compact order intervals, or weakly uniformly rotund respect to its evaluation functionals, we reestablish as a corollary the result that reads: E(X_i)E(X_i) is uniformly rotund in every direction if and only if so are all the X_i.     

Finite groups in which normality is a transitive relation

Let G be a finite group. We say that G is a T₀-group, if its Frattini quotient group G/F(G)G/\Phi (G) is a T-group, where by a T-group we mean a group in which every subnormal subgroup is normal. We determine the structure of a non T₀-group G all of whose proper subgroups are T₀-groups.     

Odd order groups with the rewriting property Q3

Let n be an integer greater than 1, and let G be a group. A subset {x₁, x₂, ..., x_n} of n elements of G is said to be rewritable if there are distinct permutations p \pi and s \sigma of {1, 2, ..., n} such that¶¶x_p(1)x_p(2) ?x_p(n) = x_s(1)x_s(2) ?x_s(n). x_{\pi(1)}x_{\pi(2)} \ldots x_{\pi(n)} = x_{\sigma(1)}x_{\sigma(2)} \ldots x_{\sigma(n)}. ¶¶A group is said to have the rewriting property Q_n if every subset of n elements of the group is rewritable. In this paper we prove that a finite group of odd order has the property Q₃ if and only if its derived subgroup has order not exceeding 5.     

The Problem of Freeness for Euler Monoids and Möbius Groups

The Euler monoid E_n = {(a,b,t) epsilon Z³ : a² + b² = tⁿ, n S 1, is free if and only if n is odd (Theorem 1). We extend the results of Lyndon and Ullman, and Beardon concerning the set of those rational numbers mu epsilon (-2,2) for which the matrix Möbius group G_mu generated by A= and B = is not free (Theorems 2, 3, 4).     

Rational surfaces and moduli spaces of vector bundles on rational surfaces

Let X be a smooth algebraic surface, L ? Pic(X) L \in \textrm{Pic}(X) and H an ample divisor on X. Set M_X,H(2; L, c₂) the moduli space of rank 2, H-stable vector bundles F on X with det(F) = L and c₂(F) = c₂. In this paper, we show that the geometry of X and of M_X,H(2; L, c₂) are closely related. More precisely, we prove that for any ample divisor H on X and any L ? Pic(X) L \in \textrm{Pic}(X) , there exists n₀ ? \mathbbZ n_0 \in \mathbb{Z} such that for all n₀ \leqq c₂ ? \mathbbZ n_0 \leqq c_2 \in \mathbb{Z} , M_X,H(2; L, c₂) is rational if and only if X is rational.     

A note on the complexity of the transportation problem with a permutable demand vector

In this note we investigate the computational complexity of the transportation problem with a permutable demand vector, TP-PD for short. In the TP-PD, the goal is to permute the elements of the given integer demand vector b=(b₁,…,b_n) in order to minimize the overall transportation costs. Meusel and Burkard [6] recently proved that the TP-PD is strongly NP-hard. In their NP-hardness reduction, the used demand values b_j, j=1,…,n, are large integers. In this note we show that the TP-PD remains strongly NP-hard even for the case where b_j]{0,3} for j=1,…,n. As a positive result, we show that the TP-PD becomes strongly polynomial time solvable if b_j] {0,1,2} holds for j=1,…,n. This result can be extended to the case where b_j]{3,3+1,3+2} for an integer 3.     

On matrix near-rings

Let R be a right near-ring with identity and M_n(R) be the near-ring of n 2 n matrices over R in the sense of Meldrum and Van der Walt. In this paper, M_n(R) is said to be s\sigma-generated if every n 2 n matrix A over R can be expressed as a sum of elements of X_n(R), where X_n(R)={f_ij^r | 1\leqq i, j\leqq n, r ? R}X_n(R)=\{f_{ij}^r\,|\,1\leqq i, j\leqq n, r\in R\}, is the generating set of M_n(R). We say that R is s\sigma-generated if M_n(R) is s\sigma-generated for every natural number n. The class of s\sigma-generated near-rings contains distributively generated and abstract affine near-rings. It is shown that this class admits homomorphic images. For abelian near-rings R, we prove that the zerosymmetric part of R is a ring, so the class of zerosymmetric abelian s\sigma-generated near-rings coincides with the class of rings. Further, for every n, there is a bijection between the two-sided subgroups of R and those of M_n(R).     

(2, 3, k)-generated groups of large rank

For any fixed k 3 7k \geq 7 there exist integers n_k and a_k such that if the ring R is generated by a set of m elements t₁,...,t_m, where 2t₁-t₁²2t_1-t_1^2 is a unit of finite multiplicative order, and n 3 n_k+ma_kn \geq n_k+ma_k, then the group E_n(R) generated by elementary transvections is an epimorphic image of the triangle group D(2,3,k).\Delta (2,3,k).     

Profinite groups with many commuting pairs or involutions

We prove that if the set of commuting pairs of a profinite group G has positive Haar measure then G is abelian by finite. Using this we show that the set I of involutions has positive measure exactly if I contains a nonempty open subset of G.     

Transitivity and full transitivity for p-local modules

A p-local module M is called (fully) transitive if for all x,y ? Mx,y\in M with U_M(x) = U_M(y) ( U_M(x)\leqq U_M(y)U_M(x)\leqq U_M(y)) there exists an automorphism (endomorphism) of M which maps x onto y. In this paper we examine the relationship of these two notions in the case of p-local modules. We show that a module M is fully transitive if and only if M?MM\oplus M is transitive in the case where the divisible part of M/tMM/tM has rank at most one. Moreover, we show that for the same class of modules transitivity implies full transitivity if p > 2. This extends theorems of Files, Goldsmith and of Kaplansky for torsion p-local modules.     

On the existence of certain measures appearing in distance geometry

Abstract. We prove the following result: Let X be a compact connected Hausdorff space and f be a continuous function on X x X. There exists some regular Borel probability measure m\mu on X such that the value of¶¶ ò\limit _X f(x,y)dm(y)\int\limit _X f(x,y)d\mu (y) is independent of the choice of x in X if and only if the following assertion holds: For each positive integer n and for all (not necessarily distinct) x₁,x₂,...,x_n,y₁,y₂,...,y_n in X, there exists an x in X such that¶¶ ?_i=1ⁿ f(x_i,x)=?_i=1ⁿ f(y_i,x).\sum\limits _{i=1}^n f(x_i,x)=\sum\limits _{i=1}^n f(y_i,x).     

On Groups Associated with Transformation Semigroups

For a semigroup S of transformations (total or partial) of a finite n-element set X_n, denote by G_S the group of all the permutations h of X_n that preserve S under conjugation. It is shown that, unless S contains certain nilpotents and has a very restricted form, the alternating group Alt_n may not serve as G_S, so that Alt_n ⊆ G_S implies that G_S=S_n, and S is an S_n-normal semigroup.     

Reducibility of polynomials a0(x) + a1 (x)y + a2 (x) y2 modulo p

Let f=a₀(x)+a₁(x)y+a₂(x)y² ? \Bbb Z[x,y]f=a_0(x)+a_1(x)y+a_2(x)y^2\in {\Bbb Z}[x,y] be an absolutely irreducible polynomial of degree m in x. We show that the reduction f mod p will also be absolutely irreducible if p 3 c_m·H(f)^e_mp\ge c_m\cdot H(f)^{e_m} where H (f) is the height of f and e₁ = 4,e₂ = 6, e₃ = 6 [2/3]{2}\over{3} and e_m = 2 m for m S 4. We also show that the exponents e_m are best possible for m 1 3m\ne 3 if a plausible number theoretic conjecture is true.