Spectra of Automorphic Extensions of Finite Simple Exceptional Groups of Lie Type

The spectrum ω (G) of a finite group G is the set of orders of elements of G. Let S be a simple exceptional group of type E ₆ or E ₇ . We describe all finite groups G such that S ≤ G ≤ Aut S and ω (G) = ω (S) and completes the study of the recognition-by-spectrum problem for all simple exceptional groups of Lie type.     

The Uncountable Lattice of All Subfunctors of the Functor of Rational Representations

In set theory the cardinality of the continuum \(|{\mathbb R}|\) is the cardinal number of some interesting sets, like the Cantor set or the transcendental numbers. We will prove that the cardinal number of all subfunctors of the functor of rational representations \(k \otimes_{{\mathbb Z}} R_{{\mathbb Q}}\), taking values on odd order groups over the field k of characteristic 2, is equal to \(|{\mathbb R}|\). When the characteristic q?>?0 of the field k is not necessarily even, we will present a formula giving the dimension of the evaluations S _C,k(G), of the simple functor S _C,k, at any group G of order prime to q and being associated to a suitable cyclic group C.     

On noncommutative Gröbner bases over rings

Let R be a commutative ring. It is proved that for verification of whether a set of elements {f _α} of the free associative algebra over R is a Gröbner basis (with respect to some admissible monomial order) of the (bilateral) ideal that the elements f _α generate it is sufficient to check the reducibility to zero of S-polynomials with respect to {f _α} iff R is an arithmetical ring. Some related open questions and examples are also discussed.     

The Frobenius problem for the shuffle operation

Given a set S of words, let \(S^\dagger \) denote the iterated shuffle of S. We characterize the finite sets S for which \(S^\dagger \) is co-finite, and we give some bounds on the length of a longest word not in \(S^\dagger \).     

The <Emphasis Type="Italic">H</Emphasis>-Closed Monoreflections,Implicit Operations,and Countable Composition,in Archimedean Lattice-Ordered Groups with Weak Unit

In the category of the title, called W, we completely describe the monoreflections \(\mathcal {R}\) which are H-closed (closed under homomorphic image) by means of epimorphic extensions S of the free object on ω generators, F(ω), within the Baire functions on \(\mathbb {R}^{\omega }\), \(B(\mathbb {R}^{\omega })\); label the inclusion \(e_{S} : F(\omega ) \rightarrow S\). Then (a) inj e _S (the class of objects injective for e _S ) is such an \(\mathcal {R}\), with e _S a reflection map iff S is closed under countable composition with itself (called ccc), (b) each such \(\mathcal {R}\) is inj e _S for a unique S with ccc, and (c) if S has ccc, then A∈inj e _S iff A is closed under countable composition with S. We think of (c) as expressing: A is closed under the implicit operations of W represented by S (and these are of at most countable arity). In particular, the family of H-closed monoreflections is a set, whereas the family of all monoreflections is consistently a proper class. There is a categorical framework to the proofs, valid in any sufficiently complete category with free objects and epicomplete monoreflection β which is H-closed and of bounded arity; in W the β is of countable arity, and \(\beta F(\omega ) = B(\mathbb {R}^{\omega })\). The paper continues our earlier work along similar lines.     

Axiomatisability problems for <Emphasis Type="Italic">S</Emphasis>-posets

Let \(\mathcal{C}\) be a class of ordered algebras of a given fixed type τ. Associated with the type is a first order language L _τ , which must also contain a binary predicate to be interpreted by the ordering in members of \(\mathcal{C}\). One can then ask the question, when is the class \(\mathcal{C}\) axiomatisable by sentences of L _τ ? In this paper we will be considering axiomatisability problems for classes of left S-posets over a pomonoid S (that is, a monoid S equipped with a partial order compatible with the binary operation). We aim to determine the pomonoids S such that certain categorically defined classes are axiomatisable. The classes we consider are the free S-posets, the projective S-posets and classes arising from flatness properties. Some of these cases have been studied in a recent article by Pervukhin and Stepanova. We present some general strategies to determine axiomatisability, from which their results for the classes of weakly po-flat and po-flat S-posets will follow. We also consider a number of classes not previously examined.     

On integral Cayley sum graphs

Let S be a subset of a finite abelian group G. The Cayley sum graph Cay⁺(G, S) of G with respect to S is a graph whose vertex set is G and two vertices g and h are joined by an edge if and only if g + h ∈ S. We call a finite abelian group G a Cayley sum integral group if for every subset S of G, Cay⁺(G, S) is integral i.e., all eigenvalues of its adjacency matrix are integers. In this paper, we prove that all Cayley sum integral groups are represented by Z₃ and Zn₂ ⁿ, n ≥ 1, where Z_k is the group of integers modulo k. Also, we classify simple connected cubic integral Cayley sum graphs.     

The equivalence classes of holomorphic mappings of genus 3 Riemann surfaces onto genus 2 Riemann surfaces

Denote the set of all holomorphic mappings of a genus 3 Riemann surface S ₃ onto a genus 2 Riemann surface S ₂ by Hol(S ₃, S ₂). Call two mappings f and g in Hol(S ₃, S ₂) equivalent whenever there exist conformal automorphisms α and β of S ₃ and S ₂ respectively with f ? α = β ? g. It is known that Hol(S ₃, S ₂) always consists of at most two equivalence classes.We obtain the following results: If Hol(S ₃, S ₂) consists of two equivalence classes then both S ₃ and S ₂ can be defined by real algebraic equations; furthermore, for every pair of inequivalent mappings f and g in Hol(S ₃, S ₂) there exist anticonformal automorphisms α? and β? with f ? α? = β? ? g. Up to conformal equivalence, there exist exactly three pairs of Riemann surfaces (S ₃, S ₂) such that Hol(S ₃, S ₂) consists of two equivalence classes.     

Dualities and the duality density theorems

Dualities \({\langle,\, \rangle:S \times T \rightarrow K}\) for modules S =  _R S, T = T _D and bimodule K =  _R K _D over rings R, D are non-degenerate left dense K-pairings of S, T intertwined per adjoint, classification, and Galois correspondence theorems. Dualities are abundant per density theorems inspired by those of Jacobson and Chevalley. Duality theory generalizes classical duality theory and leads to a theory of duality semi-simplicity of rings R and R-modules S. The finite dimensional duality semi-simple algebras R are classified in terms of semi-simple algebras and bipolar algebras.     

Certain pairs of irreducible characters of the groups <Emphasis Type="Italic">S</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

The investigation of the pairs of irreducible characters of the symmetric group S _n that have the same set of roots in one of the sets A _n and S _n ? A _n is continued. All such pairs of irreducible characters of the group S _n are found in the case when the least of the main diagonal’s lengths of the Young diagrams corresponding to these characters does not exceed 2. Some arguments are obtained for the conjecture that alternating groups A _n have no pairs of semiproportional irreducible characters.     

New characterization of <Emphasis Type="Italic">S</Emphasis><Subscript>4</Subscript>(<Emphasis Type="Italic">q</Emphasis>) by its noncommuting graph

Let G be a nonabelian group, and associate the noncommuting graph ?(G) with G as follows: the vertex set of ?(G) is G\Z(G) with two vertices x and y joined by an edge whenever the commutator of x and y is not the identity. Let S ₄(q) be the projective symplectic simple group, where q is a prime power. We prove that if G is a group with ?(G) ? ?(S ₄(q)) then G ? S ₄(q).     

Spectral radius of <Emphasis Type="Italic">r</Emphasis>-uniform supertrees with perfect matchings

supertree is a connected and acyclic hypergraph. The set of r-uniform supertrees with n vertices and the set of r-uniform supertrees with perfect matchings on rk vertices are denoted by T_n and T_r,k, respectively. H. Li, J. Shao, and L. Qi [J. Comb. Optim., 2016, 32(3): 741–764] proved that the hyperstar S_n,r attains uniquely the maximum spectral radius in T_n. Focusing on the spectral radius in T_r,k, this paper will give the maximum value in T_r,k and their corresponding supertree.     

On a problem of impulse control under interference

This paper contains several results about the structure of the congruence kernel C^(S)(G) of an absolutely almost simple simply connected algebraic group G over a global field K with respect to a set of places S of K. In particular, we show that C^(S)(G)) is always trivial if S contains a generalized arithmetic progression. We also give a criterion for the centrality of C^(S)(G) in the general situation in terms of the existence of commuting lifts of the groups G(K_v) for v ? S in the S-arithmetic completion ?^(S). This result enables one to give simple proofs of the centrality in a number of cases. Finally, we show that if K is a number field and G is K-isotropic, then C^(S)(G) as a normal subgroup of ?^(S) is almost generated by a single element.     

On countable unions of nonmeager sets in hereditarily Lindelöf spaces

It is well known that any Vitali set on the real line ? does not possess the Baire property. The same is valid for finite unions of Vitali sets. What can be said about infinite unions of Vitali sets? Let S be a Vitali set, S _r be the image of S under the translation of ? by a rational number r and F = {S _r : r is rational}. We prove that for each non-empty proper subfamily F′ of F the union ∪F′ does not possess the Baire property. We say that a subset A of ? possesses Vitali property if there exist a non-empty open set O and a meager set M such that A ? O \ M. Then we characterize those non-empty proper subfamilies F′ of F which unions ∪F′ possess the Vitali property.     

On the set of elasticities in numerical monoids

In an atomic, cancellative, commutative monoid S, the elasticity of an element provides a coarse measure of its non-unique factorizations by comparing the largest and smallest values in its set of factorization lengths (called its length set). In this paper, we show that the set of length sets \({\mathcal {L}}(S)\) for any arithmetical numerical monoid S can be completely recovered from its set of elasticities R(S); therefore, R(S) is as strong a factorization invariant as \({\mathcal {L}}(S)\) in this setting. For general numerical monoids, we describe the set of elasticities as a specific collection of monotone increasing sequences with a common limit point of \(\max R(S)\).     

Higher Algebraic <Emphasis Type="Italic">K</Emphasis>-theory of Ring Epimorphisms

Given a homological ring epimorphism from a ring R to another ring S, we show that if the left R-module S has a finite-type resolution, then the algebraic K-group K _n (R) of R splits as the direct sum of the algebraic K-group K _n (S) of S and the algebraic K-group K _n (R) of a Waldhausen category R determined by the ring epimorphism. This result is then applied to endomorphism rings, matrix subrings, rings with idempotent ideals, and universal localizations which appear often in representation theory and algebraic topology.     

Regular maps of graphs of order 4<Emphasis Type="Italic">p</Emphasis>

A 2-cell embedding f : X → S of a graph X into a closed orientable surface S can be described combinatorially by a pair M = (X;ρ ) called a map, where ρ is a product of disjoint cycle permutations each of which is the permutation of the arc set of X initiated at the same vertex following the orientation of S . It is well known that the automorphism group of M acts semi-regularly on the arc set of X and if the action is regular, then the map M and the embedding f are called regular. Let p and q be primes. Du et al. [J. Algebraic Combin., 19, 123-141 (2004)] classified the regular maps of graphs of order pq . In this paper all pairwise non-isomorphic regular maps of graphs of order 4 p are constructed explicitly and the genera of such regular maps are computed. As a result, there are twelve sporadic and six infinite families of regular maps of graphs of order 4 p ; two of the infinite families are regular maps with the complete bipartite graphs K2p,2p as underlying graphs and the other four infinite families are regular balanced Cayley maps on the groups Z4p , Z22 × Zp and D4p .     

Automorphisms of Coxeter groups of type <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

A Coxeter system (W, S) is said to be of type K _n if the associated Coxeter graph Γ_S is complete on n vertices and has only odd edge labels. If W satisfies either of: (1) n = 3; (2) W is rigid; then the automorphism group of W is generated by the inner automorphisms of W and any automorphisms induced by Γ_S. Indeed, Aut(W) is the semidirect product of Inn(W) and the group of diagram automorphisms, and furthermore W is strongly rigid. We also show that if W is a Coxeter group of type K _n then W has exactly one conjugacy class of involutions and hence Aut(W) = Spec(W).     

Asymptotic <Emphasis Type="Italic">T</Emphasis><Subscript><Emphasis Type="Italic">u</Emphasis></Subscript>-Toeplitzness of weighted composition operators on <Emphasis Type="Italic">H</Emphasis><Superscript>2</Superscript>

Given a unilateral forward shift S acting on a complex, separable, innite dimensional Hilbert space H, an asymptotically S-Toeplitz operator is a bounded linear operator T on H satisfying that {S* ⁿ TS ⁿ } is convergent with respect to one of the topologies commonly used in the algebra of bounded linear operators on H. In this paper, we study the asymptotic T _u -Toeplitzness of weighted composition operators on the Hardy space H², where u is a nonconstant inner function.