Reducing system of parameters and the Cohen-Macaulay property

Let R be a local ring and let (x ₁, …, x _r) be part of a system of parameters of a finitely generated R-module M, where r < dim_R M. We will show that if (y ₁, …, y _r) is part of a reducing system of parameters of M with (y ₁, …, y _r) M = (x ₁, …, x _r) M then (x ₁, …, x _r) is already reducing. Moreover, there is such a part of a reducing system of parameters of M iff for all primes P ε Supp M ∩ V _R(x ₁, …, x _r) with dim_R R/P = dim_R M − r the localization M _P of M at P is an r-dimensional Cohen-Macaulay module over R _P. Furthermore, we will show that M is a Cohen-Macaulay module iff y _d is a non zero divisor on M/(y ₁, …, y _d−1) M, where (y ₁, …, y _d) is a reducing system of parameters of M (d:= dim_R M).     

A Note on Relative Efficiency of Axiom Systems

We introduce a notion of relative efficiency for axiom systems. Given an axiom system A_β for a theory T consistent with S¹₂, we show that the problem of deciding whether an axiom system A_α for the same theory is more efficient than A_β is II₂-hard. Several possibilities of speed-up of proofs are examined in relation to pairs of axiom systems A_α, A_β, with A_α ? A_β, both in the case of A_α, A_β having the same language, and in the case of the language of A_α extending that of A_β: in the latter case, letting Pr_α, Pr_β denote the theories axiomatized by A_α, A_β, respectively, and assuming Pr_α to be a conservative extension of Pr_β, we show that if A_α — A_β contains no nonlogical axioms, then A_α can only be a linear speed-up of A_β; otherwise, given any recursive function g and any A_β, there exists a finite extension A_α of A_β such that A_α is a speed-up of A_β with respect to g. Mathematics Subject Classification: 03F20, 03F30.     

NZ‐flows in strong products of graphs

We prove that the strong product G₁? G₂ of G₁ and G₂ is ?₃‐flow contractible if and only if G₁? G₂ is not T? K₂, where T is a tree (we call T? K₂ a K₄‐tree). It follows that G₁? G₂ admits an NZ 3 ‐flow unless G₁? G₂ is a K₄ ‐tree. We also give a constructive proof that yields a polynomial algorithm whose output is an NZ 3‐flow if G₁? G₂ is not a K₄ ‐tree, and an NZ 4‐flow otherwise. © 2009 Wiley Periodicals, Inc. J Graph Theory 64: 267–276, 2010     

Rings of Formal Power Series in an Infinite Set of Indeterminates

Let α be an infinite cardinal number, Λ be an index set of cardinality > α, and {X _λ}_λ∈Λ be a set of indeterminates over an integral domain D. It is well known that there are three ways of defining the ring of formal power series in {X _λ}_λ∈Λ over D, say, D[[{X _λ}]] _i for i = 1, 2, 3. In this paper, we let D[[{X _λ}]]_α = ∪ {D[[{X _λ}_λ∈Γ]]₃ | Γ ? Λ and |Γ| ≤ α}, and we then show that D[[{X _λ}]]_α is an integral domain such that D[[{X _λ}]]₂ ? D[[{X _λ}]]_α ? D[[{X _λ}]]₃. We also prove that (1) D is a Krull domain if and only if D[[{X _λ}]]_α is a Krull domain and (2) D[[{X _λ}]]_α is a unique factorization domain (UFD) (resp., π-domain) if and only if D[[X ₁,…, X _n ]] is a UFD (resp., π-domain) for every integer n ≥ 1.     

On Selfsimilar Jordan Curves on the Plane

We study the attractors of a finite system of planar contraction similarities S _j (j=1,...,n) satisfying the coupling condition: for a set {x ₀,...,x _n} of points and a binary vector (s ₁,...,s _n ), called the signature, the mapping S _j takes the pair {x ₀,x _n} either into the pair {x _j-1,x _j } (if s _j =0) or into the pair {x _j , x _j-1} (if s _j =1). We describe the situations in which the Jordan property of such attractor implies that the attractor has bounded turning, i.e., is a quasiconformal image of an interval of the real axis.     

Generalized Derivations with Engel Conditions on Polynomials

Let R be a noncommutative prime ring with extended centroid C, and let D: R → R be a nonzero generalized derivation, f(X ₁,…, X _t ) a nonzero polynomial in noncommutative indeterminates X ₁,…, X _t over C with zero constant term, and k ≥ 1 a fixed integer. In this article, D and f(X ₁,…, X _t ) are characterized if the Engel identity is satisfied: [D(f(x ₁,…, x _t )), f(x ₁,…, x _t )] _k  = 0 for all x ₁,…, x _t  ∈ R.     

Relatively Free Nilpotent Torsion-Free Groups and Their Lie Algebras

Let K be a field of characteristic zero. For a torsion-free finitely generated nilpotent group G, we naturally associate four finite dimensional nilpotent Lie algebras over K, ? _K (G), grad^(?)(? _K (G)), grad^(g)(exp ? _K (G)), and L _K (G). Let 𝔗 _c be a torsion-free variety of nilpotent groups of class at most c. For a positive integer n, with n ≥ 2, let F _n (𝔗 _c ) be the relatively free group of rank n in 𝔗 _c . We prove that ? _K (F _n (𝔗 _c )) is relatively free in some variety of nilpotent Lie algebras, and ? _K (F _n (𝔗 _c )) ? L _K (F _n (𝔗 _c )) ? grad^(?)(? _K (F _n (𝔗 _c ))) ? grad^(g)(exp ? _K (F _n (𝔗 _c ))) as Lie algebras in a natural way. Furthermore, F _n (𝔗 _c ) is a Magnus nilpotent group. Let G ₁ and G ₂ be torsion-free finitely generated nilpotent groups which are quasi-isometric. We prove that if G ₁ and G ₂ are relatively free of finite rank, then they are isomorphic. Let L be a relatively free nilpotent Lie algebra over ? of finite rank freely generated by a set X. Give on L the structure of a group R, say, by means of the Baker–Campbell–Hausdorff formula, and let H be the subgroup of R generated by the set X. We show that H is relatively free in some variety of nilpotent groups; freely generated by the set X, H is Magnus and L ? ?_?(H) ? L _?(H) as Lie algebras. For relatively free residually torsion-free nilpotent groups, we prove that ? _K and L _K are isomorphic as Lie algebras. We also give an example of a finitely generated Magnus nilpotent group G, not relatively free, such that ?_?(G) is not isomorphic to L _?(G) as Lie algebras.     

Modules Whose t-Closed Submodules Have a Summand as a Complement

We define and investigate T ₁₁-type modules as a generalization of t-extending modules, and modules satisfying C ₁₁ condition. A module M is said to be T ₁₁-type if every t-closed submodule of M has a complement which is a direct summand. Direct sums of T ₁₁-type modules inherit the property. Some equivalent conditions for a module M to be T ₁₁-type are given. We characterize a module M for which every direct summand satisfies T ₁₁ condition. If R _R is T ₁₁-type, then R/Z ₂(R _R ) is a C ₂ ring if and only if it is a von Neumann regular ring. Applying this result, we characterize a right t-extending (resp., finitely Σ-t-extending, or Σ-t-extending) ring R for which R/Z ₂(R _R ) is von Neumann regular.     

On Strongly Clean Modules

An element of a ring R is called “strongly clean” if it is the sum of an idempotent and a unit that commute, and R is called “strongly clean” if every element of R is strongly clean. A module M is called “strongly clean” if its endomorphism ring End(M) is a strongly clean ring. In this article, strongly clean modules are characterized by direct sum decompositions, that is, M is a strongly clean module if and only if whenever M′⊕ B = A ₁⊕ A ₂ with M′? M, there are decompositions M′ = M ₁⊕ M ₂, B = B ₁⊕ B ₂, and A _i  = C _i ⊕ D _i (i = 1,2) such that M ₁⊕ B ₁ = C ₁⊕ D ₂ = M ₁⊕ C ₁ and M ₂⊕ B ₂ = D ₁⊕ C ₂ = M ₂⊕ C ₂.     

ADDITIVE FAMILIES OF INVARIANTS OF FORMS OF DEGREE d

Abstract

Let d be a positive integer, and F be a field of characteristic zero. Suppose that for each positive integer n, I _n, is a GL _n,(F)- invariant of forms of degree d in x₁, …, x _n, over F. We call {I _n} an additive family of invariants if I _p+q (f ⊥ g) = I _p(f).I _q(g) whenever f; g are forms of degree d over F in x _l, …, x _p; …, x _q respectively, and where (f ⊥ g)(x _l, …, x _p+q) = f(x ₁, …, x _p,) + g (x _p+1, …, x _p+q). It is well-known that the family of discriminants of the quadratic forms is additive. We prove that in odd degree d each invariant in an additive family must be a constant. We also give an example in each even degree d of a nontrivial family of invariants of the forms of degree d. The proofs depend on the symbolic method for representing invariants of a form, which we review.     

A Class of Sparse Invertible Matrices and Their Use for Nonlinear Prediction of Nearly Periodic Time Series with Fixed Period

We introduce a class of sparse matrices U _m (A _{p 1} ) of order m by m, where m is a composite natural number, p ₁ is a divisor of m, and A _{p 1} is a set of nonzero real numbers of length p ₁. The construction of U _m (A _{p 1} ) is achieved by iteration, involving repetitive dilation operations and block-matrix operations. We prove that the matrices U _m (A _{p 1} ) are invertible and we compute the inverse matrix (U _m (A _{p 1} ))^?1 explicitly. We prove that each row of the inverse matrix (U _m (A _{p 1} ))^?1 has only two nonzero entries with alternative signs, located at specific positions, related to the divisors of m. We use the structural properties of the matrix (U _m (A _{p 1} ))^?1 in order to build a nonlinear estimator for prediction of nearly periodic time series of length m with fixed period.     

On *-Clean Group Rings II

A ring with involution * is called *-clean if each of its elements is the sum of a unit and a projection (*-invariant idempotent). Recently, Gao, Chen, and Li obtained necessary and sufficient conditions for RG to be *-clean, where R is a commutative local ring and G is one of C₃, C₄, S₃, and Q₈. Most recently, Li, Yuan, and Parmenter gave a complete characterization of when the group algebra FC_p is *-clean, where F is a field and C_p is a cyclic group of prime order p. In this article, we extend the above mentioned result from FC_p to F_qC_p^k, where F_q is a finite field and C_p^k is a cyclic group of an odd prime power order p^k. For the general case when G = C_n is cyclic group of order n, we also provide a necessary condition and a few sufficient conditions for F_qC_n to be *-clean.     

On a Maximum Principle for Bergman Spaces with Small Exponents

We prove a stability theorem for the nullity of a linear combination c ₁ P ₁ + c ₂ P ₂ of two idempotent operators P ₁, P ₂ on a Banach space provided c ₁, c ₂ and c ₁ + c ₂ are nonzero. We then show that for c ₁ P ₁ + c ₂ P ₂ the property of being upper semi-Fredholm, lower semi-Fredholm and Fredholm, respectively, is independent of the choice of c ₁, c ₂, and that the nullity, defect and index of c ₁ P ₁ + c ₂ P ₂ are stable.     

Vertex partitions and maximum degenerate subgraphs

Let G be a graph with maximum degree d≥ 3 and ω(G)≤ d, where ω(G) is the clique number of the graph G. Let p₁ and p₂ be two positive integers such that d = p₁ + p₂. In this work, we prove that G has a vertex partition S₁, S₂ such that G[S₁] is a maximum order (p₁‐1)‐degenerate subgraph of G and G[S₂] is a (p₂‐1)‐degenerate subgraph, where G[S_i] denotes the graph induced by the set S_i in G, for i = 1,2. On one hand, by using a degree‐equilibrating process our result implies a result of Bollobas and Marvel [ 1 ]: for every graph G of maximum degree d≥ 3 and ω(G)≤ d, and for every p₁ and p₂ positive integers such that d = p₁ + p₂, the graph G has a partition S₁,S₂ such that for i = 1,2, Δ(G[S_i])≤ p_i and G[S_i] is (p_i‐1)‐degenerate. On the other hand, our result refines the following result of Catlin in [ 2 ]: every graph G of maximum degree d≥ 3 has a partition S₁,S₂ such that S₁ is a maximum independent set and ω(G[S₂])≤ d‐1; it also refines a result of Catlin and Lai [ 3 ]: every graph G of maximum degree d≥ 3 has a partition S₁,S₂ such that S₁ is a maximum size set with G[S₁] acyclic and ω(G[S₂])≤ d‐2. The cases d = 3, (d,p₁) = (4,1) and (d,p₁) = (4,2) were proved by Catlin and Lai [ 3 ]. © 2007 Wiley Periodicals, Inc. J Graph Theory 55: 227–232, 2007     

Dirac index classes and the noncommutative spectral flow

We present a detailed proof of the existence-theorem for noncommutative spectral sections (see the noncommutative spectral flow, unpublished preprint, 1997). We apply this result to various index-theoretic situations, extending to the noncommutative context results of Booss–Wojciechowski, Melrose–Piazza and Dai–Zhang. In particular, we prove a variational formula, in K_*(C_r^*(Γ)), for the index classes associated to 1-parameter family of Dirac operators on a Γ-covering with boundary; this formula involves a noncommutative spectral flow for the boundary family. Next, we establish an additivity result, in K_*(C_r^*(Γ)), for the index class defined by a Dirac-type operator associated to a closed manifold M and a map r:M→BΓ when we assume that M is the union along a hypersurface F of two manifolds with boundary M=M_{+ F} M₋. Finally, we prove a defect formula for the signature-index classes of two cut-and-paste equivalent pairs (M₁,r₁:M₁→BΓ) and (M₂,r₂:M₂→BΓ), where

M₁=M_{+ (F,φ1)} M₋, M₂=M_{+ (F,φ2)} M₋

and φ_jDiff(F). The formula involves the noncommutative spectral flow of a suitable 1-parameter family of twisted signature operators on F. We give applications to the problem of cut-and-paste invariance of Novikov's higher signatures on closed oriented manifolds.     

Shape preserving properties of generalized Bernstein operators on Extended Chebyshev spaces

We study the existence and shape preserving properties of a generalized Bernstein operator B _n fixing a strictly positive function f ₀, and a second function f ₁ such that f ₁/f ₀ is strictly increasing, within the framework of extended Chebyshev spaces U _n . The first main result gives an inductive criterion for existence: suppose there exists a Bernstein operator B _n : C[a, b] → U _n with strictly increasing nodes, fixing f₀, f₁ ? U_n{f_{0}, f_{1} \in U_{n}} . If U_n ì U_{n + 1}{U_{n} \subset U_{n + 1}} and U _n+1 has a non-negative Bernstein basis, then there exists a Bernstein operator B _n+1 : C[a, b] → U _n+1 with strictly increasing nodes, fixing f ₀ and f ₁. In particular, if f ₀, f ₁, . . . , f _n is a basis of U _n such that the linear span of f ₀, . . . , f _k is an extended Chebyshev space over [a, b] for each k = 0, . . . , n, then there exists a Bernstein operator B _n with increasing nodes fixing f ₀ and f ₁. The second main result says that under the above assumptions the following inequalities hold

Polynomial Invariants of Certain Pseudo-Symplectic Groups Over Finite Fields of Characteristic Two

Let F _q be a finite field of characteristic two, S be a nonsingular non-alternate symmetric matrix over F _q and Ps _n (F _q , S) be the associated pseudo-symplectic group. Let Ps _n (F _q , S) act linearly on the polynomial ring F _q [x ₁,…, x _n ]. In this note, we find an explicit set of generators of the ring of invariants of Ps _n (F _q , S) for n = 2, 4 and 2ν +1. In particular, the results assert that the ring of invariants of Ps ₄(F _q , S) is not a polynomial algebra but is an example of hypersurface and the ring of invariants of Ps _2ν+1(F _q , S) is a complete intersection.     

Random and Deterministic Triangle Generation of Three-Dimensional Classical Groups II

Let p ₁, p ₂, p ₃ be primes. This is the second article in a series of three on the (p ₁, p ₂, p ₃)-generation of the finite projective special unitary and linear groups PSU₃(p ⁿ ), PSL₃(p ⁿ ), where we say a noncyclic group is (p ₁, p ₂, p ₃)-generated if it is a homomorphic image of the triangle group T _{p 1, p 2, p 3} . This paper is concerned with the case where p ₁ = 2 and p ₂ = p ₃. We determine for any prime p ₂ the prime powers p ⁿ such that PSU₃(p ⁿ ) (respectively, PSL₃(p ⁿ )) is a quotient of T = T _{2, p 2, p 2} . We also derive the limit of the probability that a randomly chosen homomorphism in Hom(T, PSU₃(p ⁿ )) (respectively, Hom(T, PSL₃(p ⁿ ))) is surjective as p ⁿ tends to infinity.     

On the structure of cluster point sets of iteratively generated sequences

LetX be a closed subset of a topological spaceF; leta(·) be a continuous map fromX intoX; let {x _i} be a sequence generated iteratively bya(·) fromx ₀ inX, i.e.,x _i+1 =a(x _i),i=0, 1, 2, ...; and letQ(x ₀) be the cluster point set of {x _i}. In this paper, we prove that, if there exists a pointz inQ(x ₀) such that (i)z is isolated with respect toQ(x ₀), (ii)z is a periodic point ofa(·) of periodp, and (iii)z possesses a sequentially compact neighborhood, then (iv)Q(x ₀) containsp points, (v) the sequence {x _i} is contained in a sequentially compact set, and (vi) every point inQ(x ₀) possesses properties (i) and (ii). The application of the preceding results to the caseF=E ⁿ leads to the following: (vii) ifQ(x ₀) contains one and only one point, then {x _i} converges; (viii) ifQ(x ₀) contains a finite number of points, then {x _i} is bounded; and (ix) ifQ(x ₀) containsp points, then every point inQ(x ₀) is a periodic point ofa(·) of periodp.     

Parameterized matching with mismatches

The problem of approximate parameterized string searching consists of finding, for a given text t=t₁t₂…t_n and pattern p=p₁p₂…p_m over respective alphabets Σ_t and Σ_p, the injection π_i from Σ_p to Σ_t maximizing the number of matches between π_i(p) and t_it_i+1…t_i+m−1 (i=1,2,…,n−m+1). We examine the special case where both strings are run-length encoded, and further restrict to the case where one of the alphabets is binary. For this case, we give a construction working in time O(n+(r_p×r_t)α(r_t)log(r_t)), where r_p and r_t denote the number of runs in the corresponding encodings for y and x, respectively, and α is the inverse of the Ackermann's function.