Calculus of Functorial Morphisms

We prove that, if F, G: 𝒞 → 𝒟 are two right exact functors between two Grothendieck categories such that they commute with coproducts and U is a generator of 𝒞, then there is a bijection between Nat(F, G) and the centralizer of Hom_𝒟(F(U), G(U)) considered as an Hom_𝒞(U, U)-Hom_𝒞(U, U)-bimodule. We also prove a dual of this result and give applications to Frobenius functors between Grothendieck categories.     

A Generalization of Noncommuting Graph via Automorphisms of a Group

Let G be a group. By using a family 𝒜 of subsets of automorphisms of G, we introduced a simple graph Γ_𝒜(G), which is a generalization of the non-commuting graph. In this paper, we study the combinatorial properties of Γ_𝒜(G).     

Generalized skew derivations on triangular algebras determined by action on zero products

For a triangular algebra 𝒜 and an automorphism σ of 𝒜, we describe linear maps F,G:𝒜→𝒜 satisfying F(x)y+σ(x)G(y) = 0 whenever x,y∈𝒜 are such that xy = 0. In particular, when 𝒜 is a zero product determined triangular algebra, maps F and G satisfying the above condition are generalized skew derivations of the form F(x) = F(1)x+D(x) and G(x) = σ(x)G(1)+D(x) for all x∈𝒜, where D:𝒜→𝒜 is a skew derivation. When 𝒜 is not zero product determined, we show that there are also nonstandard solutions for maps F and G.     

Two classes of finite groups whose Chermak-Delgado lattice is a chain of length zero

It is an open question in the study of Chermak-Delgado lattices precisely which finite groups G have the property that 𝒞𝒟(G) is a chain of length 0. In this note, we determine two classes of groups with this property. We prove that if G = AB is a finite group, where A and B are abelian subgroups of relatively prime orders with A normal in G, then the Chermak-Delgado lattice of G equals {AC_B(A)}, a strengthening of earlier known results.     

On the rank spread of graphs

For a simple graph G?=?(𝒱, ?) with vertex-set 𝒱?=?{1,?…?,?n}, let 𝒮(G) be the set of all real symmetric n-by-n matrices whose graph is G. We present terminology linking established as well as new results related to the minimum rank problem, with spectral properties in graph theory. The minimum rank mr(G) of G is the smallest possible rank over all matrices in 𝒮(G). The rank spread r _v (G) of G at a vertex v, defined as mr(G)???mr(G???v), can take values ??∈?{0,?1,?2}. In general, distinct vertices in a graph may assume any of the three values. For ??=?0 or 1, there exist graphs with uniform r _v (G) (equal to the same integer at each vertex v). We show that only for ??=?0, will a single matrix A in 𝒮(G) determine when a graph has uniform rank spread. Moreover, a graph G, with vertices of rank spread zero or one only, is a λ-core graph for a λ-optimal matrix A in 𝒮(G). We also develop sufficient conditions for a vertex of rank spread zero or two and a necessary condition for a vertex of rank spread two.     

Generic Picard–Vessiot Extensions for Nonconnected Groups

Let K be a differential field with algebraically closed field of constants 𝒞 and G a linear algebraic group over 𝒞. We provide a characterization of the K-irreducible G-torsors for nonconnected groups G in terms of the first Galois cohomology H¹(K, G) and use it to construct Picard–Vessiot extensions which correspond to nontrivial torsors for the infinite quaternion group, the infinite multiplicative and additive dihedral groups and the orthogonal groups. The extensions so constructed are generic for those groups.     

Diameter of a direct power of a finite group

We present two conjectures concerning the diameter of a direct power of a finite group. The first conjecture states that the diameter of Gⁿ with respect to each generating set is at most n(|G|?rank(G)); and the second one states that there exists a generating set 𝒜, of minimum size, for Gⁿ such that the diameter of Gⁿ with respect to 𝒜 is at most n(|G|?rank(G)). We will establish evidence for each of the above mentioned conjectures.     

Formal Expansion of Harish-Chandra Homomorphism

Abstract

Let 𝔤 be a complex semisimple Lie algebra with adjoint group G and let 𝔥 be a Cartan subalgebra of 𝔤. Let Â(𝔤) and Â(𝔥) denote the algebra of differential operators with formal power series coefficients on 𝔤 and 𝔥 respectively. We construct a subalgebra A _𝔤 of Â(𝔤) containing all the pull-backs of the differential operators in G attached to any element x in 𝔤. We also consider the projection P: A _𝔤 → Â _𝔥. Then, we calculate explicity the pull-back of the differential operator in G attached to an element h in 𝔥 modulo Ker P.     

The Coradical Filtration for Drinfeld Double Ringel-Hall Algebras

Abstract

Let 𝒟(Λ) be the Drinfeld double Ringel-Hall algebra with Λ being any finite dimensional hereditary algebra over a finite field k. We determine the coradical filtration for 𝒟(Λ). As an application, we describe the group of Hopf algebra automorphisms of the Drinfeld double Ringel composition algebra of Λ.     

On graphs determining links with maximal number of components via medial construction

Let G be a connected plane graph, D(G) be the corresponding link diagram via medial construction, and μ(D(G)) be the number of components of the link diagram D(G). In this paper, we first provide an elementary proof that μ(D(G))≤n(G)+1, where n(G) is the nullity of G. Then we lay emphasis on the extremal graphs, i.e. the graphs with μ(D(G))=n(G)+1. An algorithm is given firstly to judge whether a graph is extremal or not, then we prove that all extremal graphs can be obtained from K₁ by applying two graph operations repeatedly. We also present a dual characterization of extremal graphs and finally we provide a simple criterion on structures of bridgeless extremal graphs.     

Maximum Bandwidth Under Edge Addition

We determine how much the bandwidth B(G) of a graph G can increase when a single edge is added. Let g(b,n) be the maximum possible value of B(G + e) when G has n vertices and bandwidth b. The problem of studying when B(G + e) ≦ B (G) + 1 was originally possed by Erdos. We determine © 1996 John Wiley & Sons, Inc.     

Nonlinear generalized Lie triple derivation on triangular algebras

Let ? be a commutative ring with identity and let 𝔄 = Tri(𝒜,?,?) be a triangular algebra consisting of unital algebras 𝒜,? over ? and an (𝒜,?)-bimodule ? which is faithful as a left 𝒜-module as well as a right ?-module. In this paper, we prove that under certain assumptions every nonlinear generalized Lie triple derivation G_L:𝔄→𝔄 is of the form G_L = δ+τ, where δ:𝔄→𝔄 is an additive generalized derivation on 𝔄 and τ is a mapping from 𝔄 into its center which annihilates all Lie triple products [[x,y],z].     

On Units of Group Algebras of 2-Groups of Maximal Class

Abstract

We determine the number of elements of order two in the group of normalized units V(𝔽₂ G) of the group algebra 𝔽₂ G of a 2-group of maximal class over the field 𝔽₂ of two elements. As a consequence for the 2-groups G and H of maximal class we have that V(𝔽₂ G) and V(𝔽₂ H) are isomorphic if and only if G and H are isomorphic.     

Zero divisors and units with small supports in group algebras of torsion-free groups

Kaplansky’s zero divisor conjecture (unit conjecture, respectively) states that for a torsion-free group G and a field 𝔽, the group ring 𝔽[G] has no zero divisors (has no units with supports of size greater than 1). In this paper, we study possible zero divisors and units in 𝔽[G] whose supports have size 3. For any field 𝔽 and all torsion-free groups G, we prove that if αβ = 0 for some non-zero α,β∈𝔽[G] such that |supp(α)| = 3, then |supp(β)|≥10. If 𝔽 = 𝔽₂ is the field with 2 elements, the latter result can be improved so that |supp(β)|≥20. This improves a result in Schweitzer [J. Group Theory, 16 (2013), no. 5, 667–693]. Concerning the unit conjecture, we prove that if αβ = 1 for some α,β∈𝔽[G] such that |supp(α)| = 3, then |supp(β)|≥9. The latter improves a part of a result in Dykema et al. [Exp. Math., 24 (2015), 326–338] to arbitrary fields.     

Convergence of greedy approximation for the trigonometric system

Summary We study the following nonlinear method of approximation by trigonometric polynomials in this paper. For a periodic function f we take as an approximant a trigonometric polynomial of the form G_m(f ) := ∑_kЄΛ f^(k) e ^{(i k,x)}, where ΛˆZ^d is a set of cardinality m containing the indices of the m biggest (in absolute value) Fourier coefficients f^ (k) of function f . Note that G_m(f ) gives the best m-term approximant in the L₂-norm and, therefore, for each f ЄL₂, ║f-G_m(f )║₂→0 as m →∞. It is known from previous results that in the case of p ≠2 the condition f ЄL_p does not guarantee the convergence ║f-G_m(f )║_p→0 as m →∞.. We study the following question. What conditions (in addition to f ЄL_p) provide the convergence ║f-G_m(f )║_p→0 as m →∞? In our previous paper [10] in the case 2< p ≤∞ we have found necessary and sufficient conditions on a decreasing sequence {A_n}_n=1^∞ to guarantee the L_p-convergence of {G_m(f )} for all f ЄL_p , satisfying a_n (f ) ≤A_n , where {a_n (f )} is a decreasing rearrangement of absolute values of the Fourier coefficients of f. In this paper we are looking for necessary and sufficient conditions on a sequence {M (m)} such that the conditions f ЄL_p and ║G_M(m)(f ) - G_m(f )║_p →0 as m →∞ imply ║f - G_m(f )║_p →0 as m →∞. We have found these conditions in the case when p is an even number or p = ∞.     

Weak Cayley table groups III: PSL(2,q)

A weak Cayley table isomorphism is a bijection φ:G→H of groups such that φ(xy)～φ(x)φ(y) for all x,y∈G. Here ～ denotes conjugacy. When G = H the set of all weak Cayley table isomorphisms φ:G→G forms a group 𝒲(G) that contains the automorphism group Aut(G) and the inverse map I:G→G,x?x^?1. Let 𝒲₀(G) = ?Aut(G),I?≤𝒲(G) and say that G has trivial weak Cayley table group if 𝒲(G) = 𝒲₀(G). We show that PSL(2,pⁿ) has trivial weak Cayley table group, where p≥5 is a prime and n≥1.