Reversibility of Rings with Respect to the Jacobson Radical

Let R be a ring with identity and J(R) denote the Jacobson radical of R. A ring R is called J-reversible if for any a, \(b \in R\), \(ab = 0\) implies \(ba \in J(R)\). In this paper, we give some properties of J-reversible rings. We prove that some results of reversible rings can be extended to J-reversible rings for this general setting. We show that J-quasipolar rings, local rings, semicommutative rings, central reversible rings and weakly reversible rings are J-reversible. As an application it is shown that every J-clean ring is directly finite.     

On the length of a finite group and of its 2-generator subgroups

The nonsoluble length λ(G) of a finite group G is defined as the minimum number of nonsoluble factors in a normal series of G each of whose quotients either is soluble or is a direct product of nonabelian simple groups. The generalized Fitting height of a finite group G is the least number h = h* (G) such that F* _h (G) = G, where F* ₁ (G) = F* (G) is the generalized Fitting subgroup, and F* _i+1(G) is the inverse image of F* (G/F*_i (G)). In the present paper we prove that if λ(J) ≤ k for every 2-generator subgroup J of G, then λ(G) ≤ k. It is conjectured that if h* (J) ≤ k for every 2-generator subgroup J, then h* (G) ≤ k. We prove that if h* (〈x, x^g 〉) ≤ k for allx, g ∈ G such that 〈x, x^g 〉 is soluble, then h* (G) is k-bounded.     

Finite derivation type for large ideals

In this paper we give a partial answer to the following question: does a large subsemigroup of a semigroup S with the finite combinatorial property finite derivation type (FDT) also have the same property? A positive answer is given for large ideals. As a consequence of this statement we prove that, given a finitely presented Rees matrix semigroup M[S;I,J;P], the semigroup S has FDT if and only if so does M[S;I,J;P].     

Relations among complementary and supplementary pairings of Saalschützian $${}_4F_3(1)$$ series

We investigate sums \(J(\vec {x})\) and \(L(\vec {x})\) of pairs of normalized Saalschützian \({}_4F_3(1)\) hypergeometric series, and develop a theory of relations among these J and L functions. The function \(L(\vec {x})\) has been studied extensively in the literature and has been shown to satisfy a number of two-term and three-term relations with respect to the variable \(\vec {x}\). More recent works have framed these relations in terms of Coxeter group actions on \(\vec {x}\) and have developed a similar theory of two-term and three-term relations for \(J(\vec {x})\). In this article, we derive “mixed” three-term relations, wherein any one of the L (respectively, J) functions arising in the above context may be expressed as a linear combination of two of the above J (respectively, L) functions. We show that, under the appropriate Coxeter group action, the resulting set of three-term relations (mixed and otherwise) among J and L functions partitions into eighteen orbits. We provide an explicit example of a relation from each orbit. We further classify the eighteen orbits into five types, with each type uniquely determined by the distances (under a certain natural metric) between the J and L functions in the relation. We show that the type of a relation dictates the complexity (in terms of both number of summands and number of factors in each summand) of the coefficients of the J and L functions therein.     

Extremely primitive groups and linear spaces

A non-regular primitive permutation group is called extremely primitive if a point stabilizer acts primitively on each of its nontrivial orbits. Let S be a nontrivial finite regular linear space and G ≤ Aut(S). Suppose that G is extremely primitive on points and let rank(G) be the rank of G on points. We prove that rank(G) ≥ 4 with few exceptions. Moreover, we show that Soc(G) is neither a sporadic group nor an alternating group, and G = PSL(2, q) with q + 1 a Fermat prime if Soc(G) is a finite classical simple group.     

The regular digraph of ideals of a commutative ring

Let R be a commutative ring and Max?(R) be the set of maximal ideals of R. The regular digraph of ideals of R, denoted by \(\overrightarrow{\Gamma_{\mathrm{reg}}}(R)\), is a digraph whose vertex set is the set of all non-trivial ideals of R and for every two distinct vertices I and J, there is an arc from I to J whenever I contains a J-regular element. The undirected regular (simple) graph of ideals of R, denoted by Γ_reg(R), has an edge joining I and J whenever either I contains a J-regular element or J contains an I-regular element. Here, for every Artinian ring R, we prove that |Max?(R)|?1≦ω(Γ_reg(R))≦|Max?(R)| and \(\chi(\Gamma_{\mathrm{ reg}}(R)) = 2|\mathrm{Max}\, (R)| -k-1\), where k is the number of fields, appeared in the decomposition of R to local rings. Among other results, we prove that \(\overrightarrow{\Gamma_{\mathrm{ reg}}}(R)\) is strongly connected if and only if R is an integral domain. Finally, the diameter and the girth of the regular graph of ideals of Artinian rings are determined.     

Packing measure of super separated iterated function systems

Let J be the limit set of an iterated function system in \(\mathbb {R}^d\) satisfying the open set condition. It is well known that the h-dimensional packing measure of J is positive and finite when h is given by Hutchinson’s formula. However, it may be hard to find a formula for the h-dimensional packing measure of J. We introduce the super separation condition and use it to reduce the problem of computing the packing measure to checking densities of a finite number of balls around each point in the limit set. We then use this fact to find formulas for the packing measure of a class of Cantor sets in \(\mathbb {R}\), a class of fractals based on regular convex polygons in \(\mathbb {R}^2\), and a class of fractals based on regular simplexes in \(\mathbb {R}^d\) for \(d \ge 3\).     

Non-uniform hyperbolicity in complex dynamics

We say that a rational function F satisfies the summability condition with exponent α if for every critical point c which belongs to the Julia set J there exists a positive integer n _c so that \(\sum_{n=1}^{\infty} |(F^{n})^{\prime}(F^{n_{c}}(c))|^{-\alpha}<\infty\) and F has no parabolic periodic cycles. Let μ _max be the maximal multiplicity of the critical points.The objective is to study the Poincaré series for a large class of rational maps and establish ergodic and regularity properties of conformal measures. If F is summable with exponent \(\alpha<\frac{\delta_{\textit{Poin}}(J)}{\delta_{\textit{Poin}}(J)+\mu_{\textit{max}}}\) where δ _Poin (J) is the Poincaré exponent of the Julia set then there exists a unique, ergodic, and non-atomic conformal measure ν with exponent δ _Poin (J)=HDim(J). If F is polynomially summable with the exponent α, \(\sum_{n=1}^{\infty}n |(F^{n})^{\prime}(F^{n_{c}}(c))|^{-\alpha}<\infty\) and F has no parabolic periodic cycles, then F has an absolutely continuous invariant measure with respect to ν. This leads also to a new result about the existence of absolutely continuous invariant measures for multimodal maps of the interval.We prove that if F is summable with an exponent \(\alpha< \frac{2}{2+\mu_{\textit{max}}}\) then the Minkowski dimension of J is strictly less than 2 if \(J\neq\hat{\mathbb{C}}\) and F is unstable. If F is a polynomial or Blaschke product then J is conformally removable. If F is summable with \(\alpha<\frac{1}{1+\mu_{\textit{max}}}\) then connected components of the boundary of every invariant Fatou component are locally connected. To study continuity of Hausdorff dimension of Julia sets, we introduce the concept of the uniform summability.Finally, we derive a conformal analogue of Jakobson’s (Benedicks–Carleson’s) theorem and prove the external continuity of the Hausdorff dimension of Julia sets for almost all points c from the Mandelbrot set with respect to the harmonic measure.     

Representations of Dq(k[x])

We prove that the meager idealMis Tukey reducible to the Mycielski ideal J(Si) which is the ideal associated with Silver forcing Si. This implies add (J(Si)) ? add (M) and answers a question of Laguzzi and others.     

The existence of <Emphasis Type="Italic">J</Emphasis>-holomorphic curves in almost Hermitian manifolds

In this paper, we investigate the existence of J-holomorphic curves on almost Hermitian manifolds. Let (M, g, J, F) be an almost Hermitian manifold and \(f:\Sigma \rightarrow M\) be an injective immersion. We prove that if the \(L_p\) functional has a critical point or a stable point in the same almost Hermitian class, then the immersion is J-holomorphic.     

Bases of identities for semigroups of bounded rank transformations of a set

We complete the series of results by M. V. Sapir, M. V. Volkov and the author solving the Finite Basis Problem for semigroups of rank ≤ k transformations of a set, namely based on these results we prove that the semigroup T _k (X) of rank ≤ k transformations of a set X has no finite basis of identities if and only if k is a natural number and either k = 2 and |X| ∈ «3, 4» or k ≥ 3. A new method for constructing finite non-finitely based semigroups is developed. We prove that the semigroup of rank ≤ 2 transformations of a 4-element set has no finite basis of identities but that the problem of checking its identities is tractable (polynomial).     

Ergodicity of the 2D Navier-Stokes equations with degenerate multiplicative noise

Consider the two-dimensional, incompressible Navier-Stokes equations on torus T² = [?π, π]² driven by a degenerate multiplicative noise in the vorticity formulation (abbreviated as SNS): dw _t = νΔw _t dt + B(Kw _t ,w _t )dt + Q(w _t )dW _t . We prove that the solution to SNS is continuous differentiable in initial value. We use the Malliavin calculus to prove that the semigroup {P _t }_t≥0 generated by the SNS is asymptotically strong Feller. Moreover, we use the coupling method to prove that the solution to SNS has a weak form of irreducibility. Under almost the same Hypotheses as that given by Odasso, Prob. Theory Related Fields, 140: 41–82 (2005) with a different method, we get an exponential ergodicity under a stronger norm.     

Quasisymmetric geometry of the Julia sets of McMullen maps

We study the quasisymmetric geometry of the Julia sets of McMullen maps f_λ(z) = z^m + λ/z^?, where λ ∈ ? {0} and ? and m are positive integers satisfying 1/?+1/m < 1. If the free critical points of f_λ are escaped to the infinity, we prove that the Julia set J_λ of f_λ is quasisymmetrically equivalent to either a standard Cantor set, a standard Cantor set of circles or a round Sierpiński carpet (which is also standard in some sense). If the free critical points are not escaped, we give a suffcient condition on λ such that J_λ is a Sierpiński carpet and prove that most of them are quasisymmetrically equivalent to some round carpets. In particular, there exist infinitely renormalizable rational maps whose Julia sets are quasisymmetrically equivalent to the round carpets.     

Variations of Landau’s theorem for p-regular and p-singular conjugacy classes

The well-known Landau’s theorem states that, for any positive integer k, there are finitely many isomorphism classes of finite groups with exactly k (conjugacy) classes. We study variations of this theorem for p-regular classes as well as p-singular classes. We prove several results showing that the structure of a finite group is strongly restricted by the number of p-regular classes or the number of p-singular classes of the group. In particular, if G is a finite group with O_p(G) = 1 then |G/F(G)|_p' is bounded in terms of the number of p-regular classes of G. However, it is not possible to prove that there are finitely many groups with no nontrivial normal p-subgroup and kp-regular classes without solving some extremely difficult number-theoretic problems (for instance, we would need to show that the number of Fermat primes is finite).     

Certain decompositions of matrices over Abelian rings

A ring R is (weakly) nil clean provided that every element in R is the sum of a (weak) idempotent and a nilpotent. We characterize nil and weakly nil matrix rings over abelian rings. Let R be abelian, and let n ∈ ?. We prove that M ⁿ (R) is nil clean if and only if R/J(R) is Boolean and M _n (J(R)) is nil. Furthermore, we prove that R is weakly nil clean if and only if R is periodic; R/J(R) is ?₃, B or ?₃ ⊕ B where B is a Boolean ring, and that M _n (R) is weakly nil clean if and only if M _n (R) is nil clean for all n ≥ 2.     

Thompson’s conjecture for the alternating group of degree 2<Emphasis Type="Italic">p</Emphasis> and 2<Emphasis Type="Italic">p</Emphasis>+1

For a finite group G denote by N(G) the set of conjugacy class sizes of G. In 1980s, J.G.Thompson posed the following conjecture: If L is a finite nonabelian simple group, G is a finite group with trivial center and N(G) = N(L), then G ? L. We prove this conjecture for an infinite class of simple groups. Let p be an odd prime. We show that every finite group G with the property Z(G) = 1 and N(G) = N(A _i ) is necessarily isomorphic to A _i , where i ∈ {2p, 2p + 1}.     

ABELIAN BALANCED HERMITIAN STRUCTURES ON UNIMODULAR LIE ALGEBRAS

Let g be a 2n-dimensional unimodular Lie algebra equipped with a Hermitian structure (J; F) such that the complex structure J is abelian and the fundamental form F is balanced. We prove that the holonomy group of the associated Bismut connection reduces to a subgroup of SU(n – k), being 2k the dimension of the center of g. We determine conditions that allow a unimodular Lie algebra to admit this particular type of structures. Moreover, we give methods to construct them in arbitrary dimensions and classify them if the Lie algebra is 8-dimensional and nilpotent.     

Wedge operations and a new family of projective toric manifolds

Let P _m (J) denote a simplicial complex obtainable from consecutive wedge operations from an m-gon. In this paper, we completely classify toric manifolds over P _m (J) and prove that all of them are projective. As a consequence, we provide an infinite family of projective toric manifolds.     

Lattices generated by joins of the flats in orbits under finite affine-singular symplectic group and its characteristic polynomials

Let ASG(2ν + l, ν;F _q ) be the (2ν + l)-dimensional affine-singular symplectic space over the finite field F _q and ASp_2ν+l,ν (F _q ) be the affine-singular symplectic group of degree 2ν + l over F _q . Let O be any orbit of flats under ASp_2ν+l,ν (F _q ). Denote by L ^J the set of all flats which are joins of flats in O such that O ? L ^J and assume the join of the empty set of flats in ASG(2ν + l, ν;F _q ) is ?. Ordering L ^J by ordinary or reverse inclusion, then two lattices are obtained. This paper firstly studies the inclusion relations between different lattices, then determines a characterization of flats contained in a given lattice L ^J , when the lattices form geometric lattice, lastly gives the characteristic polynomial of L ^J .     

Revision of asymptotic behavior of the complexity of word assembly by concatenation circuits

The problem of complexity of word assembly is studied. The complexity of a word means the minimal number of concatenation operations sufficient to obtain this word in the basis of oneletter words over a finite alphabet A (repeated use of obtained words is permitted). Let LA(n) be the maximal complexity of words of length n over a finite alphabet A. In this paper we prove that Шn) = (l + (2 + ₀ ( 1 ) ).