A note on the algebra of operations for Hopf cohomology at odd primes

Let p be any prime, and let \({\mathcal B}(p)\) be the algebra of operations on the cohomology ring of any cocommutative \(\mathbb {F}_p\)-Hopf algebra. In this paper we show that when p is odd (and unlike the \(p=2\) case), \({\mathcal B}(p)\) cannot become an object in the Singer category of \(\mathbb {F}_p\)-algebras with coproducts, if we require that coproducts act on the generators of \({\mathcal B}(p)\) coherently with their nature of cohomology operations.

     

Minimal generation of ideals of algebraic varieties at points with multilinear tangent cones

Let \(A\) be the local ring, at a singular isolated point \(P\) of an affine irreducible algebraic variety \(V\), with regular normalization. Let \(\mathfrak p\) be the prime ideal of \(A\) corresponding to \(V\). In this paper we study the minimal number of generators of \(\mathfrak p\), when the projectivized tangent cone of \(V\) at \(P\) is multilinear (that is union of linear varieties) and has maximal rank.

     

Some combinatorial properties of the Hurwitz series ring

We study some properties and perspectives of the Hurwitz series ring \(H_R[[t]]\), for an integral domain R, with multiplicative identity and zero characteristic. Specifically, we provide a closed form for the invertible elements by means of the complete ordinary Bell polynomials, we highlight some connections with well–known transforms of sequences, and we see that the Stirling transforms are automorphisms of \(H_R[[t]]\). Moreover, we focus the attention on some special subgroups studying their properties. Finally, we introduce a new transform of sequences that allows to see one of this subgroup as an ultrametric dynamic space.     

Projective spaces and inversive planes

In this paper, a common characterization of the finite projective space of dimension four and order \(n\) and of a finite inversive plane of order \(n+1\) in terms of regular \((k,n)\) finite planar spaces is given.

     

Semipositive matrices and their semipositive cones

The semipositive cone of \(A\in \mathbb {R}^{m\times n}, K_A = \{x\ge 0\,:\, Ax\ge 0\}\), is considered mainly under the assumption that for some \(x\in K_A, Ax>0\), namely, that A is a semipositive matrix. The duality of \(K_A\) is studied and it is shown that \(K_A\) is a proper polyhedral cone. The relation among semipositivity cones of two matrices is examined via generalized inverse positivity. Perturbations and intervals of semipositive matrices are discussed. Connections with certain matrix classes pertinent to linear complementarity theory are also studied.

     

Appell polynomial sequences with respect to some differential operators

We present a study of a specific kind of lowering operator, herein called \(\Lambda \), which is defined as a finite sum of lowering operators and might be presented by various configurations. We characterize the polynomial sequences fulfilling an Appell relation with respect to \(\Lambda \), and considering a concrete cubic decomposition of a simple Appell sequence, we prove that the polynomial component sequences are \(\Lambda \)-Appell, with \(\Lambda \) defined as previously, although by a three term sum. Ultimately, we prove the non-existence of orthogonal polynomial sequences which are also \(\Lambda \)-Appell, when \(\Lambda \) is the lowering operator \(\Lambda =a_{0}D+a_{1}DxD+a_{2}\left( Dx\right) ^2D\), where \(a_{0}\), \(a_{1}\) and \(a_{2}\) are constants and \(a_{2} \ne 0\). The case where \(a_{2}=0\) and \(a_{1} \ne 0\) is also naturally recaptured.     

New M-ary sequences with low autocorrelation from interleaved technique

Let \(p\) and \(q\) be two odd primes with \(p=Mf+1\) and \(M\) is even. A new construction of \(M\) -ary sequences of period \(pq\) with low periodic autocorrelation is presented in this paper based on interleaving the \(M\) -ary power residue sequence of period \(p\) according to the quadratic residue with respect to \(q\) . This construction can generate the well-known twin-prime sequence and generalized cyclotomy sequence of order two if \(M=2\) . For \(M=4\) , a new class of quaternary sequences of period \(pq\) with maximal nontrivial autocorrelation value being either \(\sqrt{5}\) or \(3\) is obtained. This achieves the best known results for such kind of quaternary sequences.     

<Emphasis Type="Italic">b</Emphasis>-Generalized Skew Derivations on Lie Ideals

Let R be a non-commutative prime ring, Z(R) its center, Q its right Martindale quotient ring, C its extended centroid, \(F\ne 0\) an b-generalized skew derivation of R, L a non-central Lie ideal of R, \(0\ne a\in R\) and \(n\ge 1\) a fixed integer. In this paper, we prove the following two results:

1. 1.
   If R has characteristic different from 2 and 3 and \(a[F(x),x]^n=0\), for all \(x\in L\), then either there exists an element \(\lambda \in C\), such that \(F(x)=\lambda x\), for all \(x\in R\) or R satisfies \(s_4(x_1,\ldots ,x_4)\), the standard identity of degree 4, and there exist \(\lambda \in C\) and \(b\in Q\), such that \(F(x)=bx+xb+\lambda x\), for all \(x\in R\).
    
2. 2.
   If \(\mathrm{{char}}(R)=0\) or \(\mathrm{{char}}(R) > n\) and \(a[F(x),x]^n\in Z(R)\), for all \(x\in R\), then either there exists an element \(\lambda \in C\), such that \(F(x)=\lambda x\), for all \(x\in R\) or R satisfies \(s_4(x_1,\ldots ,x_4)\).
    

     

The k-error linear complexity distribution for 2^n-periodic binary sequences

The linear complexity and the \(k\) -error linear complexity of a sequence have been used as important security measures for key stream sequence strength in linear feedback shift register design. By using the sieve method of combinatorics, we investigate the \(k\) -error linear complexity distribution of \(2^n\) -periodic binary sequences in this paper based on Games–Chan algorithm. First, for \(k=2,3\) , the complete counting functions for the \(k\) -error linear complexity of \(2^n\) -periodic binary sequences (with linear complexity less than \(2^n\) ) are characterized. Second, for \(k=3,4\) , the complete counting functions for the \(k\) -error linear complexity of \(2^n\) -periodic binary sequences with linear complexity \(2^n\) are presented. Third, as a consequence of these results, the counting functions for the number of \(2^n\) -periodic binary sequences with the \(k\) -error linear complexity for \(k = 2\) and \(3\) are obtained.     

The convolution algebra

For L a complete lattice L and \(\mathfrak {X}=(X,(R_i)_I)\) a relational structure, we introduce the convolution algebra \(L^{\mathfrak {X}}\). This algebra consists of the lattice \(L^X\) equipped with an additional \(n_i\)-ary operation \(f_i\) for each \(n_i+1\)-ary relation \(R_i\) of \(\mathfrak {X}\). For \(\alpha _1,\ldots ,\alpha _{n_i}\in L^X\) and \(x\in X\) we set \(f_i(\alpha _1,\ldots ,\alpha _{n_i})(x)=\bigvee \{\alpha _1(x_1)\wedge \cdots \wedge \alpha _{n_i}(x_{n_i}):(x_1,\ldots ,x_{n_i},x)\in R_i\}\). For the 2-element lattice 2, \(2^\mathfrak {X}\) is the reduct of the familiar complex algebra \(\mathfrak {X}^+\) obtained by removing Boolean complementation from the signature. It is shown that this construction is bifunctorial and behaves well with respect to one-one and onto maps and with respect to products. When L is the reduct of a complete Heyting algebra, the operations of \(L^\mathfrak {X}\) are completely additive in each coordinate and \(L^\mathfrak {X}\) is in the variety generated by \(2^\mathfrak {X}\). Extensions to the construction are made to allow for completely multiplicative operations defined through meets instead of joins, as well as modifications to allow for convolutions of relational structures with partial orderings. Several examples are given.     

Maximal Operators in the Spherical Mean Setting

In this paper, we prove an existence result for \(\mathcal {L}^{\infty }\)-solutions for a class of semilinear delay evolution inclusions with measures and subjected to nonlocal initial conditions of the form

$$\begin{aligned} \left\{ \begin{array}{ll} \displaystyle \mathrm{d}u(t)= \{Au(t)+f(t)\}\mathrm{d}t+\mathrm{d}h(t),&{}\quad t\in \mathbb {R}_+,\\ \displaystyle f(t)\in F(t,u_t),&{}\quad t\in \mathbb {R}_+,\\ \displaystyle u(t)=g(u)(t),&{}\quad t\in [\,-\tau ,0\,]. \end{array} \right. \end{aligned}$$

Here \(\tau \ge 0\), X is a Banach space, \(A:D(A)\subseteq X \rightarrow X \) is the infinitesimal generator of a \(C_0\)-semigroup, \(F:\mathbb {R}_+\times \mathcal {R}([\,-\tau ,0\,];X)\rightsquigarrow X\) is a u.s.c. multifunction with nonempty, convex and weakly compact values, \(h\in BV_{\mathrm{loc}}(\mathbb {R}_+;X)\) and the function \(g:\mathcal {R}_{b}(\mathbb {R}_+;X)\rightarrow \mathcal {R}([\,-\tau ,0\,];X)\) is nonexpansive.

     

Linear systems over localizations of rings

We describe a method for solving linear systems over the localization of a commutative ring R at a multiplicatively closed subset S that works under the following hypotheses: the ring R is coherent, i.e., we can compute finite generating sets of row syzygies of matrices over R, and there is an algorithm that decides for any given finitely generated ideal \(I \subseteq R\) the existence of an element r in \(S \cap I\) and in the affirmative case computes r as a concrete linear combination of the generators of I.     

A generalization of zero divisor graphs associated to commutative rings

Let R be a commutative ring with a nonzero identity element. For a natural number n, we associate a simple graph, denoted by \(\Gamma ^n_R\), with \(R^n\backslash \{0\}\) as the vertex set and two distinct vertices X and Y in \(R^n\) being adjacent if and only if there exists an \(n\times n\) lower triangular matrix A over R whose entries on the main diagonal are nonzero and one of the entries on the main diagonal is regular such that \(X^TAY=0\) or \(Y^TAX=0\), where, for a matrix \(B, B^T\) is the matrix transpose of B. If \(n=1\), then \(\Gamma ^n_R\) is isomorphic to the zero divisor graph \(\Gamma (R)\), and so \(\Gamma ^n_R\) is a generalization of \(\Gamma (R)\) which is called a generalized zero divisor graph of R. In this paper, we study some basic properties of \(\Gamma ^n_ R\). We also determine all isomorphic classes of finite commutative rings whose generalized zero divisor graphs have genus at most three.     

One-sided invertibility of discrete operators and their applications

For \(p\in [1,\infty ]\), we establish criteria for the one-sided invertibility of binomial discrete difference operators \({{\mathcal {A}}}=aI-bV\) on the space \(l^p=l^p(\mathbb {Z})\), where \(a,b\in l^\infty \), I is the identity operator and the isometric shift operator V is given on functions \(f\in l^p\) by \((Vf)(n)=f(n+1)\) for all \(n\in \mathbb {Z}\). Applying these criteria, we obtain criteria for the one-sided invertibility of binomial functional operators \(A=aI-bU_\alpha \) on the Lebesgue space \(L^p(\mathbb {R}_+)\) for every \(p\in [1,\infty ]\), where \(a,b\in L^\infty (\mathbb {R}_+)\), \(\alpha \) is an orientation-preserving bi-Lipschitz homeomorphism of \([0,+\infty ]\) onto itself with only two fixed points 0 and \(\infty \), and \(U_\alpha \) is the isometric weighted shift operator on \(L^p(\mathbb {R}_+)\) given by \(U_\alpha f= (\alpha ^\prime )^{1/p}(f\circ \alpha )\). Applications of binomial discrete operators to interpolation theory are given.     

Integral Van Vleck’s and Kannappan’s functional equations on semigroups

In this paper we study the solutions of the integral Van Vleck’s functional equation for the sine

$$\begin{aligned} \int _{S}f(x\tau (y)t)d\mu (t)-\int _{S}f(xyt)d\mu (t) =2f(x)f(y),\; x,y\in S \end{aligned}$$

and the integral Kannappan’s functional equation

$$\begin{aligned} \int _{S}f(xyt)d\mu (t)+\int _{S}f(x\tau (y)t)d\mu (t) =2f(x)f(y),\; x,y\in S, \end{aligned}$$

where S is a semigroup, \(\tau \) is an involution of S and \(\mu \) is a measure that is a linear combination of Dirac measures \((\delta _{z_{i}})_{i\in I}\), such that for all \(i\in I\), \(z_{i}\) is contained in the center of S. We express the solutions of the first equation by means of multiplicative functions on S, and we prove that the solutions of the second equation are closely related to the solutions of d’Alembert’s classic functional equation with involution.

     

Family complexity and cross-correlation measure for families of binary sequences

We study the relationship between two measures of pseudorandomness for families of binary sequences: family complexity and cross-correlation measure introduced by Ahlswede et al. in 2003 and recently by Gyarmati et al., respectively. More precisely, we estimate the family complexity of a family \((e_{i,1},\ldots ,e_{i,N})\in \{-1,+1\}^N\), \(i=1,\ldots ,F\), of binary sequences of length \(N\) in terms of the cross-correlation measure of its dual family \((e_{1,n},\ldots ,e_{F,n})\in \{-1,+1\}^F\), \(n=1,\ldots ,N\). We apply this result to the family of sequences of Legendre symbols with irreducible quadratic polynomials modulo \(p\) with middle coefficient \(0\), that is, \(e_{i,n}=\big (\frac{n^2-bi^2}{p}\big )_{n=1}^{(p-1)/2}\) for \(i=1,\ldots ,(p-1)/2\), where \(b\) is a quadratic nonresidue modulo \(p\), showing that this family as well as its dual family has both a large family complexity and a small cross-correlation measure up to a rather large order.     

Endomorphism rings of bimodules

Let \(M\) be an \(R\) - \(R\) -bimodule over a semi-prime right and left Goldie ring \(R\) . We investigate how non-singularity conditions on \(M_R\) are related to such conditions on \(_RM\) . In particular, we say an \(R\) - \(R\) -bimodule \(M\) such that \(_RM\) and \(M_R\) are non-singular has the right essentiality property if \(IM_R\) is essential in \(M_R\) for all essential right ideals \(I\) of \(R\) , and investigate several questions related to this property.     

On finitely generated modules over quasi-Euclidean rings

Let R be a unital commutative ring, and let M be an R-module that is generated by k elements but not less. Let \(\text {E}_n(R)\) be the subgroup of \(\text {GL}_n(R)\) generated by the elementary matrices. In this paper we study the action of \(\text {E}_n(R)\) by matrix multiplication on the set \(\text {Um}_n(M)\) of unimodular rows of M of length \(n \ge k\). Assuming R is moreover Noetherian and quasi-Euclidean, e.g., R is a direct product of finitely many Euclidean rings, we show that this action is transitive if \(n > k\). We also prove that \(\text {Um}_k(M) /\text {E}_k(R)\) is equipotent with the unit group of \(R/\mathfrak {a}_1\) where \(\mathfrak {a}_1\) is the first invariant factor of M. These results encompass the well-known classification of Nielsen non-equivalent generating tuples in finitely generated Abelian groups.     

On monoids, 2-firs,and semifirs

Several authors have studied the question of when the monoid ring \(DM\) of a monoid \(M\) over a ring \(D\) is a right and/or left fir (free ideal ring), a semifir, or a \(2\) -fir (definitions recalled in §1). It is known that for \(M\) nontrivial, a necessary condition for any of these properties to hold is that \(D\) be a division ring. Under that assumption, necessary and sufficient conditions on \(M\) are known for \(DM\) to be a right or left fir, and various conditions on \(M\) have been proved necessary or sufficient for \(DM\) to be a \(2\) -fir or semifir. A sufficient condition for \(DM\) to be a semifir is that \(M\) be a direct limit of monoids which are free products of free monoids and free groups. Warren Dicks has conjectured that this is also necessary. However F. Cedó has given an example of a monoid \(M\) which is not such a direct limit, but satisfies all the known necessary conditions for \(DM\) to be a semifir. It is an open question whether for this \(M,\) the rings \(DM\) are semifirs. We note here some reformulations of the known necessary conditions for a monoid ring \(DM\) to be a \(2\) -fir or a semifir, motivate Cedó’s construction and a variant thereof, and recover Cedó’s results for both constructions. Any homomorphism from a monoid \(M\) into \(\mathbb {Z}\) induces a \(\mathbb {Z}\) -grading on \(DM,\) and we show that for the two monoids just mentioned, the rings \(DM\) are “homogeneous semifirs” with respect to all such nontrivial \(\mathbb {Z}\) -gradings; i.e., have (roughly) the property that every finitely generated homogeneous one-sided ideal is free of unique rank. If \(M\) is a monoid such that \(DM\) is an \(n\) -fir, and \(N\) a “well-behaved” submonoid of \(M,\) we prove some properties of the ring \(DN.\) Using these, we show that for \(M\) a monoid such that \(DM\) is a \(2\) -fir, mutual commutativity is an equivalence relation on nonidentity elements of \(M,\) and each equivalence class, together with the identity element, is a directed union of infinite cyclic groups or of infinite cyclic monoids. Several open questions are noted.     

Extensions of Jacobson’s lemma for Drazin inverses

We study the generalization of Jacobson’s lemma for the group inverse, Drazin inverse, generalized Drazin inverse and pseudo Drazin inverse of \(1-bd\) (or \(1-ac\)) in a ring when \(1-ac\) (or \(1-bd\)) has a corresponding inverse, \(acd=dbd\) and \(bdb=bac\) (or \(dba=aca\)). Thus, we recover some recent results.