On soluble groups of module automorphisms of finite rank

Let R be a commutative ring, M an R-module and G a group of R-automorphisms of M, usually with some sort of rank restriction on G. We study the transfer of hypotheses between M/C _M (G) and [M,G] such as Noetherian or having finite composition length. In this we extend recent work of Dixon, Kurdachenko and Otal and of Kurdachenko, Subbotin and Chupordia. For example, suppose [M,G] is R-Noetherian. If G has finite rank, then M/C _M (G) also is R-Noetherian. Further, if [M,G] is R-Noetherian and if only certain abelian sections of G have finite rank, then G has finite rank and is soluble-by-finite. If M/C _M (G) is R-Noetherian and G has finite rank, then [M,G] need not be R-Noetherian.     

Serre dimension of monoid algebras

Let R be a commutative Noetherian ring of dimension d, M a commutative cancellative torsion-free monoid of rank r and P a finitely generated projective R[M]-module of rank t. Assume M is Φ-simplicial seminormal. If \(M\in \mathcal {C}({\Phi })\), then Serre dim R[M]≤d. If r≤3, then Serre dim R[int(M)]≤d. If \(M\subset \mathbb {Z}_{+}^{2}\) is a normal monoid of rank 2, then Serre dim R[M]≤d. Assume M is c-divisible, d=1 and t≥3. Then P?∧ ^t P⊕R[M] ^t?1. Assume R is a uni-branched affine algebra over an algebraically closed field and d=1. Then P?∧ ^t P⊕R[M] ^t?1.     

An Algorithm for Approximating the Second Moment of the Normalizing Constant Estimate from a Particle Filter

We propose a new algorithm for approximating the non-asymptotic second moment of the marginal likelihood estimate, or normalizing constant, provided by a particle filter. The computational cost of the new method is O(M) per time step, independently of the number of particles N in the particle filter, where M is a parameter controlling the quality of the approximation. This is in contrast to O(M N) for a simple averaging technique using M i.i.d. replicates of a particle filter with N particles. We establish that the approximation delivered by the new algorithm is unbiased, strongly consistent and, under standard regularity conditions, increasing M linearly with time is sufficient to prevent growth of the relative variance of the approximation, whereas for the simple averaging technique it can be necessary to increase M exponentially with time in order to achieve the same effect. This makes the new algorithm useful as part of strategies for estimating Monte Carlo variance. Numerical examples illustrate performance in the context of a stochastic Lotka–Volterra system and a simple AR(1) model.     

Computational Complexity of the Vertex Cover Problem in the Class of Planar Triangulations

We study the computational complexity of the vertex cover problem in the class of planar graphs (planar triangulations) admitting a plane representation whose faces are triangles. It is shown that the problem is strongly NP-hard in the class of 4-connected planar triangulations in which the degrees of vertices are of order O(log n), where n is the number of vertices, and in the class of plane 4-connected Delaunay triangulations based on the Minkowski triangular distance. A pair of vertices in such a triangulation is adjacent if and only if there is an equilateral triangle ?(p, λ) with p ∈ R² and λ > 0 whose interior does not contain triangulation vertices and whose boundary contains this pair of vertices and only it, where ?(p, λ) = p + λ? = {x ∈ R²: x = p + λa, a ∈ ?}; here ? is the equilateral triangle with unit sides such that its barycenter is the origin and one of the vertices belongs to the negative y-axis. Keywords: computational complexity, Delaunay triangulation, Delaunay TD-triangulation.     

Generalization of CS condition

Let R be an associative ring with identity. An R-module M is called an NCS module if C (M)∩S(M) = {0}, where C (M) and S(M) denote the set of all closed submodules and the set of all small submodules of M, respectively. It is clear that the NCS condition is a generalization of the well-known CS condition. Properties of the NCS conditions of modules and rings are explored in this article. In the end, it is proved that a ring R is right Σ-CS if and only if R is right perfect and right countably Σ-NCS. Recall that a ring R is called right Σ-CS if every direct sum of copies of R_R is a CS module. And a ring R is called right countably Σ-NCS if every direct sum of countable copies of R_R is an NCS module.     

Fast Algorithm of Square Rooting in Some Finite Fields of Odd Characteristic

It was proved that the complexity of square root computation in the Galois field GF(3^s), s = 2^kr, is equal to O(M(2^k)M(r)k + M(r) log₂r) + 2^kkr^1+o(1), where M (n) is the complexity of multiplication of polynomials of degree n over fields of characteristics 3. The complexity of multiplication and division in the field GF(3^s) is equal to O(M(2^k)M(r)) and O(M(2^k)M(r)) + r^1+o(1), respectively. If the basis in the field GF(3^r) is determined by an irreducible binomial over GF(3) or is an optimal normal basis, then the summands 2^kkr^1+o(1) and r^1+o(1) can be omitted. For M(n) one may take n log₂nψ(n) where ψ(n) grows slower than any iteration of the logarithm. If k grow and r is fixed, than all the estimates presented here have the form O_r (M (s) log ₂s) = s (log ₂s)²ψ(s).     

Coherence relative to a weak torsion class

Let R be a ring. A subclass T of left R-modules is called a weak torsion class if it is closed under homomorphic images and extensions. Let T be a weak torsion class of left R-modules and n a positive integer. Then a left R-module M is called T-finitely generated if there exists a finitely generated submodule N such that M/N ∈ T; a left R-module A is called (T,n)-presented if there exists an exact sequence of left R-modules

$$0 \to {K_{n - 1}} \to {F_{n - 1}} \to \cdots \to {F_1} \to {F_0} \to M \to 0$$

such that F₀,..., F_n?1 are finitely generated free and K_n?1 is T-finitely generated; a left R-module M is called (T,n)-injective, if Ext ⁿ _R (A,M) = 0 for each (T, n+1)-presented left R-module A; a right R-module M is called (T,n)-flat, if Tor ^R _n (M,A) = 0 for each (T, n+1)-presented left R-module A. A ring R is called (T,n)-coherent, if every (T, n+1)-presented module is (n + 1)-presented. Some characterizations and properties of these modules and rings are given.

     

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.     

<Emphasis Type="Italic">π</Emphasis>-Armendariz rings relative to a monoid

Let M be a monoid. A ring R is called M-π-Armendariz if whenever α = a ₁ g ₁ + a ₂ g ₂ + · · · + a _n g _n , β = b ₁ h ₁ + b ₂ h ₂ + · · · + b _m h _m ∈ R[M] satisfy αβ ∈ nil(R[M]), then a _i b _j ∈ nil(R) for all i, j. A ring R is called weakly 2-primal if the set of nilpotent elements in R coincides with its Levitzki radical. In this paper, we consider some extensions of M-π-Armendariz rings and further investigate their properties under the condition that R is weakly 2-primal. We prove that if R is an M-π-Armendariz ring then nil(R[M]) = nil(R)[M]. Moreover, we study the relationship between the weak zip-property (resp., weak APP-property, nilpotent p.p.-property, weak associated prime property) of a ring R and that of the monoid ring R[M] in case R is M-π-Armendariz.     

Isometries with dense windings of the torus in <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">M</Emphasis>)

Let C(M) be the space of all continuous functions on M? ?. We consider the multiplication operator T: C(M) → C(M) defined by Tf(z) = zf(z) and the torus

$$O(M) = \left\{ {f:M \to \mathbb{C} \ntrianglelefteq \left\| f \right\| = \left\| {\frac{1}{f}} \right\| = 1} \right\}$$

. If M is a Kronecker set, then the T-orbits of the points of the torus ½O(M) are dense in ½O(M) and are ½-dense in the unit ball of C(M).

     

Pricing early-exercise and discrete barrier options by fourier-cosine series expansions

We present a pricing method based on Fourier-cosine expansions for early-exercise and discretely-monitored barrier options. The method works well for exponential Lévy asset price models. The error convergence is exponential for processes characterized by very smooth (\({{\rm{C}}^{\infty}[a,b]\in\mathbb {R}}\)) transitional probability density functions. The computational complexity is O((M ? 1)N log N) with N a (small) number of terms from the series expansion, and M, the number of early-exercise/monitoring dates. This paper is the follow-up of (Fang and Oosterlee in SIAM J Sci Comput 31(2):826–848, 2008) in which we presented the impressive performance of the Fourier-cosine series method for European options.     

Several Generalizations of the Wedderburn-Artin Theorem with Applications

We say that an R-module M is virtually semisimple if each submodule of M is isomorphic to a direct summand of M. A nonzero indecomposable virtually semisimple module is then called a virtually simple module. We carry out a study of virtually semisimple modules and modules which are direct sums of virtually simple modules . Our study provides several natural generalizations of the Wedderburn-Artin Theorem and an analogous to the classical Krull-Schmidt Theorem. Some applications of these theorems are indicated. For instance, it is shown that the following statements are equivalent for a ring R: (i) Every finitely generated left (right) R-module is virtually semisimple; (ii) Every finitely generated left (right) R-module is a direct sum of virtually simple R-modules; (iii) \(R\cong {\prod }_{i = 1}^{k} M_{n_{i}}(D_{i})\) where k,n ₁,…,n _k ∈ ? and each D _i is a principal ideal V-domain; and (iv) Every nonzero finitely generated left R-module can be written uniquely (up to isomorphism and order of the factors) in the form R m ₁ ⊕… ⊕ R m _k where each R m _i is either a simple R-module or a virtually simple direct summand of R.     

On the geometry of spaces of oriented geodesics

Let M be either a simply connected pseudo-Riemannian space of constant curvature or a rank one Riemannian symmetric space, and consider the space L(M) of oriented geodesics of M. The space L(M) is a smooth homogeneous manifold and in this paper we describe all invariant symplectic structures, (para)complex structures, pseudo-Riemannian metrics and (para)Kähler structure on L(M).     

On generalized CS-modules

An S-closed submodule of a module M is a submodule N for which M/N is nonsingular. A module M is called a generalized CS-module (or briefly, GCS-module) if any S-closed submodule N of M is a direct summand of M. Any homomorphic image of a GCS-module is also a GCS-module. Any direct sum of a singular (uniform) module and a semi-simple module is a GCS-module. All nonsingular right R-modules are projective if and only if all right R-modules are GCS-modules.     

Iwasawa theory of quadratic twists of <Emphasis Type="Italic">X</Emphasis><Subscript>0</Subscript>(49)

The field \(K = \mathbb{Q}\left( {\sqrt { - 7} } \right)\) is the only imaginary quadratic field with class number 1, in which the prime 2 splits, and we fix one of the primes p of K lying above 2. The modular elliptic curve X ₀(49) has complex multiplication by the maximal order O of K, and we let E be the twist of X ₀(49) by the quadratic extension \(KK(\sqrt M )/K\), where M is any square free element of O with M ≡ 1 mod 4 and (M,7) = 1. In the present note, we use surprisingly simple algebraic arguments to prove a sharp estimate for the rank of the Mordell-Weil group modulo torsion of E over the field F _∞ = K(E _p∞), where E _p∞ denotes the group of p^∞-division points on E. Moreover, writing B for the twist of X ₀(49) by \(K(\sqrt[4]{{ - 7}})/K\), our Iwasawa-theoretic arguments also show that the weak form of the conjecture of Birch and Swinnerton-Dyer implies the non-vanishing at s = 1 of the complex L-series of B over every finite layer of the unique Z₂-extension of K unramified outside p. We hope to give a proof of this last non-vanishing assertion in a subsequent paper.     

A natural map in local cohomology

Let R be a Noetherian ring, \(\mathfrak{a}\) an ideal of R, M an R-module and n a non-negative integer. In this paper we first study the finiteness properties of the kernel and the cokernel of the natural map \(f\colon\operatorname{Ext}^{n}_{R}(R/\mathfrak{a},M)\to \operatorname{Hom}_{R}(R/\mathfrak{a},\mathrm{H}^{n}_{\mathfrak{a}}(M))\), under some conditions on the previous local cohomology modules. Then we get some corollaries about the associated primes and Artinianness of local cohomology modules. Finally we will study the asymptotic behavior of the kernel and the cokernel of the natural map in the graded case.     

The probability that <Emphasis Type="Italic">r</Emphasis> elements of a rank <Emphasis Type="Italic">n</Emphasis> free group generate a rank <Emphasis Type="Italic">r</Emphasis> subgroup

Granted the three integers n ≥ 2, r, and R, consider all ordered tuples of r elements of length at most R in the free group F _n . Calculate the number of those tuples that generate in F _n a rank r subgroup and divide it by the number of all tuples under study. As R → ∞, the limit of the ratio is known to exist and equal 1 (see [1]). We give a simple proof of this result.     

On the Characterizability of the Automorphism Groups of Sporadic Simple Groups by Their Element Orders

For G a finite group, π _e (G) denotes the set of orders of elements in G. If Ω is a subset of the set of natural numbers, h(Ω) stands for the number of isomorphism classes of finite groups with the same set Ω of element orders. We say that G is k-distinguishable if h(π _e (G)) = k < ∞, otherwise G is called non-distinguishable. Usually, a 1-distinguishable group is called a characterizable group. It is shown that if M is a sporadic simple group different from M ₁₂, M ₂₂, J ₂, He, Suz, M ^c L and O′N, then Aut(M) is characterizable by its element orders. It is also proved that if M is isomorphic to M ₁₂, M ₂₂, He, Suz or O′N, then h(π _e (Aut(M))) ∈¸ {1,∞}.     

Noetherian Rings whose Modules are Prime Serial

A theorem due to Nakayama and Skornyakov states that “a ring R is an Artinian serial ring if and only if all left R-modules are serial” and a theorem due to Warfield state that “a Noetherian ring R is serial if and only if every finitely generated left R-module is serial”. We say that an R-module M is prime uniserial (?-uniserial, for short) if for every pair P, Q of prime submodules of M either \(P\subseteq Q\) or \(Q\subseteq P\), and we say that M is prime serial (?-serial, for short) if it is a direct sum of ?-uniserial modules. Therefore, two interesting natural questions of this sort are: “Which rings have the property that every module is ?-serial?” and “Which rings have the property that every finitely generated module is ?-serial?” Most recently, in our paper, Prime uniserial modules and rings (submitted), we considered these questions in the context of commutative rings. The goal of this paper is to answer these questions in the case R is a Noetherian ring in which all idempotents are central or R is a left Artinian ring.