On group codes with complementary duals

We investigate and characterize ideals in a group algebra KG which have complementary duals, i.e., ideals C in KG which satisfy \(KG = C \oplus C^\perp .\) In the special case that G is a cyclic group we get an early result of Yang and Massey as an easy consequence.     

On the derived length of units in group algebra

Let G be a finite group G, K a field of characteristic p ≥ 17 and let U be the group of units in KG. We show that if the derived length of U does not exceed 4, then G must be abelian.     

Gelfand-Kirillov dimension of algebras with locally nilpotent derivations

Let R be a finitely generated algebra over a field of characteristic 0 with a locally nilpotent derivation δ ≠ 0. We show that if {ie313-1}, where the invariants {ie313-2} are prime and satisfy a polynomial identity, then {ie313-3}. Furthermore, when R is a domain, the same conclusion holds without the assumption that R is finitely generated. This enables us to obtain a result on skew polynomial rings. These results extend work of Bell and Smoktunowicz on domains with GK dimension in the interval [2, 3).     

On <Emphasis Type="Italic">k</Emphasis>-additive uniqueness of the set of squares for multiplicative functions

P. V. Chung showed that there are many multiplicative functions f which satisfy \(f(m^2+n^2) = f(m^2)+f(n^2)\) for all positive integers m and n. In this article, we show that if more than 2 squares in the additive condition are involved, then such f is uniquely determined. That is, if a multiplicative function f satisfies

$$\begin{aligned} f(a_1^2 + a_2^2 + \cdots + a_k^2) = f(a_1^2) + f(a_2^2) + \cdots + f(a_k^2) \end{aligned}$$

for arbitrary positive integers \(a_i\), then f is the identity function. In this sense, we call the set of all positive squares a k-additive uniqueness set for multiplicative functions.

     

Separation Theorems for Group Invariant Polynomials

We study the existence of separation theorems by polynomials that are invariant under a group action. We show that if G is a finite subgroup of \(\textit{GL}(n,{\mathbb {C}})\), K is a set in \({\mathbb {C}}^{n}\) that is invariant under the action of G and z is a point in \({\mathbb {C}}^{n}\setminus K\) that can be separated from K by a polynomial Q, then z can be separated from K by a G-invariant polynomial P. Furthermore, if Q is homogeneous then P can be chosen to be homogeneous. As a particular case, if K is a symmetric polynomially convex compact set in \({\mathbb {C}}^{n}\) and \(z\notin K\) then there exists a symmetric polynomial that separates z and K.     

Invariants of the action of a semisimple Hopf algebra on PI-algebra

We extend several classical results in the theory of invariants of finite groups to the case of action of a finite-dimensional Hopf algebra H on an algebra satisfying a polynomial identity. In particular, we prove that an H-module algebra A over an algebraically closed field k is integral over the subalgebra of invariants, if H is a semisimple and cosemisimple Hopf algebra. We show that for char k > 0, the algebra Z\({\left( A \right)^{{H_0}}}\) is integral over the subalgebra of central invariants Z(A)^H, where Z(A) is the center of algebra A, H⁰ is the coradical of H. This result allowed us to prove that the algebra A is integral over the subalgebra Z(A)^H in some special case. We also construct a counterexample to the integrality of the algebra \({A^{{H_0}}}\) over the subalgebra of invariants A^H for a pointed Hopf algebra over a field of non-zero characteristic.     

Lebesgue weighted <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-algebra on locally compact groups

Let G be a locally compact group, ω a weight function on G, and 1<p<∞. We introduce the Lebesgue weighted L ^p -space \({\mathcal{L}}_{\omega}^{1,p}(G)= L^{p}(G,\omega)\cap L^{1}(G)\) as a Banach space and introduce its dual. Furthermore, we consider this space as a Banach algebra with respect to the usual convolution and show that \({\mathcal{L}}_{\omega}^{1,p}(G)\) admits a bounded approximate identity if and only if G is discrete. In addition, we prove that amenability of this algebra implies that G is discrete and amenable. Moreover, we discuss the converse of this result.     

On graded characterizations of finite dimensionality for algebraic algebras

We observe that a finitely generated algebraic algebra R (over a field) is finite dimensional if and only if the associated graded ring \({{\text {gr}}}{R}\) is right noetherian, if and only if \({{\text {gr}}}{R}\) has right Krull dimension, if and only if \({{\text {gr}}}{R}\) satisfies a polynomial identity.     

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.     

Libera and Hilbert matrix operator on logarithmically weighted Bergman,Bloch and Hardy-Bloch spaces

We show that if α > 1, then the logarithmically weighted Bergman space \(A_{{{\log }^\alpha }}^2\) is mapped by the Libera operator L into the space \(A_{{{\log }^{\alpha - 1}}}^2\), while if α > 2 and 0 < ε ≤ α?2, then the Hilbert matrix operator H maps \(A_{{{\log }^\alpha }}^2\) into \(A_{{{\log }^{\alpha - 2 - \varepsilon }}}^2\).We show that the Libera operator L maps the logarithmically weighted Bloch space \({B_{{{\log }^\alpha }}}\), α ∈ R, into itself, while H maps \({B_{{{\log }^\alpha }}}\) into \({B_{{{\log }^{\alpha + 1}}}}\).In Pavlovi?’s paper (2016) it is shown that L maps the logarithmically weighted Hardy-Bloch space \(B_{{{\log }^\alpha }}^1\), α > 0, into \(B_{{{\log }^{\alpha - 1}}}^1\). We show that this result is sharp. We also show that H maps \(B_{{{\log }^\alpha }}^1\), α > 0, into \(B_{{{\log }^{\alpha - 1}}}^1\) and that this result is sharp also.     

Involutions and trivolutions on second dual of algebras related to locally compact groups and topological semigroups

We investigate involutions and trivolutions in the second dual of algebras related to a locally compact topological semigroup and the Fourier algebra of a locally compact group. We prove, among the other things, that for a large class of topological semigroups namely, compactly cancellative foundation \(*\)-semigroup S when it is infinite non-discrete cancellative, \(M_a(S)^{**}\) does not admit an involution, and \(M_a(S)^{**}\) has a trivolution with range \(M_a(S)\) if and only if S is discrete. We also show that when G is an amenable group, the second dual of the Fourier algebra of G admits an involution extending one of the natural involutions of A(G) if and only if G is finite. However, \(A(G)^{**}\) always admits trivolution.     

Shephard–Todd–Chevalley Theorem for Skew Polynomial Rings

We prove the following generalization of the classical Shephard–Todd–Chevalley Theorem. Let G be a finite group of graded algebra automorphisms of a skew polynomial ring \(A:=k_{p_{ij}}[x_1,\cdots,x_n]\). Then the fixed subring A ^G has finite global dimension if and only if G is generated by quasi-reflections. In this case the fixed subring A ^G is isomorphic to a skew polynomial ring with possibly different p _ij ’s. A version of the theorem is proved also for abelian groups acting on general quantum polynomial rings.     

Weak module amenability of triangular Banach algebras

Let A and B be unital Banach algebras and let M be a unital Banach A,B-module. Forrest and Marcoux [6] have studied the weak amenability of triangular Banach algebra \(\mathcal{T} = \left[ {_B^{AM} } \right]\) and showed that T is weakly amenable if and only if the corner algebras A and B are weakly amenable. When \(\mathfrak{A}\) is a Banach algebra and A and B are Banach \(\mathfrak{A}\)-module with compatible actions, and M is a commutative left Banach \(\mathfrak{A}\)-A-module and right Banach \(\mathfrak{A}\)-B-module, we show that A and B are weakly \(\mathfrak{A}\)-module amenable if and only if triangular Banach algebra T is weakly \(\mathfrak{T}\)-module amenable, where \(\mathfrak{T}: = \{ [^\alpha _\alpha ]:\alpha \in \mathfrak{A}\} \).     

A relation between the Laplacian and signless Laplacian eigenvalues of a graph

Let G be a graph of order n such that \(\sum_{i=0}^{n}(-1)^{i}a_{i}\lambda^{n-i}\) and \(\sum_{i=0}^{n}(-1)^{i}b_{i}\lambda^{n-i}\) are the characteristic polynomials of the signless Laplacian and the Laplacian matrices of G, respectively. We show that a _i ≥b _i for i=0,1,…,n. As a consequence, we prove that for any α, 0<α≤1, if q ₁,…,q _n and μ ₁,…,μ _n are the signless Laplacian and the Laplacian eigenvalues of G, respectively, then \(q_{1}^{\alpha}+\cdots+q_{n}^{\alpha}\geq\mu_{1}^{\alpha}+\cdots+\mu _{n}^{\alpha}\).     

Universal Cycle Packings and Coverings for <Emphasis Type="Italic">k</Emphasis>-Subsets of an <Emphasis Type="Italic">n</Emphasis>-Set

A cyclic sequence of elements of [n] is an (n, k)-Ucycle packing (respectively, (n, k)-Ucycle covering) if every k-subset of [n] appears in this sequence at most once (resp. at least once) as a subsequence of consecutive terms. Let \(p_{n,k}\) be the length of a longest (n, k)-Ucycle packing and \(c_{n,k}\) the length of a shortest (n, k)-Ucycle covering. We show that, for a fixed \(k,p_{n,k}={n\atopwithdelims ()k}-O(n^{\lfloor k/2\rfloor })\). Moreover, when k is not fixed, we prove that if \(k=k(n)\le n^{\alpha }\), where \(0<\alpha <1/3\), then \(p_{n,k}={n\atopwithdelims ()k}-o({n\atopwithdelims ()k}^\beta )\) and \(c_{n,k}={n\atopwithdelims ()k}+o({n\atopwithdelims ()k}^\beta )\), for some \(\beta <1\). Finally, we show that if \(k=o(n)\), then \(p_{n,k}={n\atopwithdelims ()k}(1-o(1))\).     

Varieties of Algebras with Superinvolution of Almost Polynomial Growth

Let A be an associative algebra with superinvolution ? over a field of characteristic zero and let \(c_{n}^{\ast }(A)\) be its sequence of corresponding ?-codimensions. In case A is finite dimensional, we prove that such sequence is polynomially bounded if and only if the variety generated by A does not contain three explicitly described algebras with superinvolution. As a consequence we find out that no intermediate growth of the ?-codimensions between polynomial and exponential is allowed.     

Exceptional prime alternative algebras

We prove that every exceptional prime alternative algebra satisfies the Engel identity [[x, y], y] = 0 of index 2.     

On some arithmetic properties of Mahler functions

Mahler functions are power series f(x) with complex coefficients for which there exist a natural number n and an integer ? ≥ 2 such that f(x), f(x^?),..., \(f({x^{{\ell ^{n - 1}}}}),f({x^{{\ell ^n}}})\) are linearly dependent over ?(x). The study of the transcendence of their values at algebraic points was initiated by Mahler around the’ 30s and then developed by many authors. This paper is concerned with some arithmetic aspects of these functions. In particular, if f(x) satisfies f(x) = p(x)f(x^?) with p(x) a polynomial with integer coefficients, we show how the behaviour of f(x) mirrors on the polynomial p(x). We also prove some general results on Mahler functions in analogy with G-functions and E-functions.     

The partial clone of linear terms

Generalizing a linear expression over a vector space, we call a term of an arbitrary type τ linear if its every variable occurs only once. Instead of the usual superposition of terms and of the total many-sorted clone of all terms in the case of linear terms, we define the partial many-sorted superposition operation and the partial many-sorted clone that satisfies the superassociative law as weak identity. The extensions of linear hypersubstitutions are weak endomorphisms of this partial clone. For a variety V of one-sorted total algebras of type τ, we define the partial many-sorted linear clone of V as the partial quotient algebra of the partial many-sorted clone of all linear terms by the set of all linear identities of V. We prove then that weak identities of this clone correspond to linear hyperidentities of V.     

Realization of Poisson enveloping algebra

For a Poisson algebra, the category of Poisson modules is equivalent to the module category of its Poisson enveloping algebra, where the Poisson enveloping algebra is an associative one. In this article, for a Poisson structure on a polynomial algebra S, we first construct a Poisson algebra R, then prove that the Poisson enveloping algebra of S is isomorphic to the specialization of the quantized universal enveloping algebra of R, and therefore, is a deformation quantization of R.