Order of elements in the groups related to the general linear group

For a natural number n and a prime power q the general, special, projective general and projective special linear groups are denoted by GL_n(q), SL_n(q), PGL_n(q) and PSL_n(q), respectively. Using conjugacy classes of elements in GL_n(q) in terms of irreducible polynomials over the finite field GF(q) we demonstrate how the set of order elements in GL_n(q) can be obtained. This will help to find the order of elements in the groups SL_n(q), PGL_n(q) and PSL_n(q). We also show an upper bound for the order of elements in SL_n(q).     

Principal congruence subgroups of the Hecke groups and related results

In this paper, first, we determine the quotient groups of the Hecke groups H(λ _q ), where q ≥ 7 is prime, by their principal congruence subgroups H _p (λ _q ) oflevel p, where p is also prime. We deal with the case of q = 7 separately, because of its close relation with the Hurwitz groups. Then, using the obtained results, we find the principal congruence subgroups of the extended Hecke groups $ \overline H $ \overline H (λ _q ) for q ≥ 5 prime. Finally, we show that some of the quotient groups of the Hecke group H(λ _q ) and the extended Hecke group $ \overline H $ \overline H (λ _q ), q ≥ 5 prime, by their principal congruence subgroups H _p (λ _q ) are M*-groups.     

Parabolic conjugacy in general linear groups

Let q be a power of a prime and n a positive integer. Let P(q) be a parabolic subgroup of the finite general linear group GL _n (q). We show that the number of P(q)-conjugacy classes in GL _n (q) is, as a function of q, a polynomial in q with integer coefficients. This answers a question of Alperin in (Commun. Algebra 34(3): 889–891, 2006)     

Harmonic morphisms from the classical compact semisimple Lie groups

In this article, we introduce a new method for manufacturing harmonic morphisms from semi-Riemannian manifolds. This is employed to yield a variety of new examples from the compact Lie groups SO(n), SU(n) and Sp(n) equipped with their standard Riemannian metrics. We develop a duality principle and show how this can be used to construct the first known examples of harmonic morphisms from the non-compact Lie groups , SU ^*(2n), , SO ^*(2n), SO(p, q), SU(p, q) and Sp(p, q) equipped with their standard dual semi-Riemannian metrics.      

Maximal subgroups of odd index in finite groups with simple linear,unitary, or symplectic socle

We give a classification of maximal subgroups of odd index in finite groups whose socle is isomorphic to one of the groups PSL _n (q), PSU _n (q), or PSp _n (q) for n ≥ 13.     

A semi-recursion for the number of involutions in special orthogonal groups over finite fields

Let I(n) be the number of involutions in a special orthogonal group SO(n,Fq) defined over a finite field with q elements, where q is the power of an odd prime. Then the numbers I(n) form a semi-recursion, in that for m>1 we haveI(2m+3)=(q2m+2+1)I(2m+1)+q2m(q2m−1)I(2m−2). We give a purely combinatorial proof of this result, and we apply it to give a universal bound for the character degree sum for finite classical groups defined over Fq.     

Codes associated with special linear groups and power moments of multi-dimensional Kloosterman sums

In this paper, we construct the binary linear codes C(SL(n, q)) associated with finite special linear groups SL(n, q), with both n,q powers of two. Then, via the Pless power moment identity and utilizing our previous result on the explicit expression of the Gauss sum for SL(n, q), we obtain a recursive formula for the power moments of multi- dimensional Kloosterman sums in terms of the frequencies of weights in C(SL(n, q)). In particular, when n = 2, this gives a recursive formula for the power moments of Kloosterman sums. We illustrate our results with some examples.     

The classification of spreads in PG(3, q) admitting linear groups of order q(q+1), I. odd order

A classification is given of all spreads in PG(3, q), q = p^r, p odd, whose associated translation planes admit linear collineation groups of order q(q +1) such that a Sylow p-subgroup fixes a line and acts non-trivially on it.The authors are indebted to T. Penttila for pointing out the special examples of conical flock translation planes of order q² that admit groups of order q(q+1), when q = 23 or 47.     

A constructive approach to Noether's problem

A general method is developed to attack Noether's Problem constructively by trying to find minimal bases consisting of rational invariants which are quotients of polynomials of small degrees. This approach turns out to be successful for many small groups and for most of the classical groups with their natural representations. The applications include affirmative answers to Noether's Problem for the conformal symplectic groups CSp _2n (q), for the simple subgroups Ω _n (q) of the orthogonal groups forn andq odd, for some other subgroups of orthogonal groups and for the special unitary groups SU _n (q ²). The author was supported by the Graduate College “Modelling and Scientific Computing in Mathematics and Science” during this work     

Test elements for endomorphisms of free groups and algebras

LetE be a bounded Borel subset of ℝⁿ,n≥2, of positive Lebesgue measure andP _E the corresponding ‘Pompeiu transform”. We prove thatP _E is injective onL ^p(ℝⁿ) if 1≤p≤2n/(n-1). We explore the connection between this problem and a Wiener-Tauberian type theorem for theM(n) action onL ^q(ℝⁿ) for various values ofq. We also take up the question of whenP _E is injective in caseE is of finite, positive measure, but is not necessarily a bounded set. Finally, we briefly look at these questions in the contexts of symmetric spaces of compact and non-compact type.     

Aspects of the conjugacy class structure of simple algebraic groups

Let G be an adjoint simple algebraic group over an algebraically closed field of characteristic p; let Φ be the root system of G, and take t∈ℕ. Lawther has proven that the dimension of the set G _[t]={g∈G:g ^t =1} depends only on Φ and t. In particular the value is independent of the characteristic p; this was observed for t small and prime by Liebeck. Since G _[t] is clearly a disjoint union of conjugacy classes the question arises as to whether a similar result holds if we replace G _[t] by one of those classes. This paper provides a partial answer to that question. A special case of what we have proven is the following. Take p,q to be distinct primes and G _p and G _q to be adjoint simple algebraic groups with the same root system and over algebraically closed fields of characteristic p and q respectively. If s∈G _p has order q then there exists an element u∈G _q such that o(u)=o(s) and dimu^G_q=dims^G_p\dim u^{G_{q}}=\dim s^{G_{p}} .     

Harmonic morphisms from the classical non-compact semisimple Lie groups

We construct the first known complex-valued harmonic morphisms from the non-compact Lie groups SLn(R), SU^∗(2n) and Sp(n,R) equipped with their standard Riemannian metrics. We then introduce the notion of a bi-eigenfamily and employ this to construct the first known solutions on the non-compact Riemannian SO^∗(2n), SO(p,q), SU(p,q) and Sp(p,q). Applying a duality principle we then show how to manufacture the first known complex-valued harmonic morphisms from the compact Lie groups SO(n), SU(n) and Sp(n) equipped with semi-Riemannian metrics.     

Pure quantitative characterization of finite simple groups

Let G be a finite group, and let π _e (G) be the set of all element orders of G. In this short paper we prove that π _e (B _n (q)) ≠ π _e (C _n (q)) for all odd q.      

On the number of queries necessary to identify a permutation

Let p and q be two permutations over {1, 2,…, n}. We denote by m(p, q) the number of integers i, 1 ≤ i ≤ n, such that p(i) = q(i). For each fixed permutation p, a query is a permutation q of the same size and the answer a(q) to this query is m(p, q). We investigate the problem of finding the minimum number of queries required to identify an unknown permutation p. A polynomial-time algorithm that identifies a permutation of size n by O(n · log₂n) queries is presented. The lower bound of this problem is also considered. It is proved that the problem of determining the size of the search space created by a given set of queries and answers is #P-complete. Since this counting problem is essential for the analysis of the lower bound, a complete analysis of the lower bound appears infeasible. We conjecture, based on some preliminary analysis, that the lower bound is Ω(n · log₂n).     

On recognizability of some finite simple orthogonal groups by spectrum

It is proved that, if G is a finite group that has the same set of element orders as the simple group D _p (q), where p is prime, p ≥ 5 and q ∈ {2, 3, 5}, then the commutator group of G/F(G) is isomorphic to D _p (q), the subgroup F(G) is equal to 1 for q = 5 and to O _q (G) for q ∈ {2, 3}, F(G) ≤ G′, and |G/G′| ≤ 2.     

A characterization of the identity function with equation f(p+q+r)=f(p)+f(q)+f(r)

Let f(n) be a multiplicative function such that there exists a prime p ₀ at which f does not vanish. In this paper, we prove that if f satisfies the equation f(p+q+r)=f(p)+f(q)+f(r) for all primes p, q and r, then f(n)=n for all integers n≥1.     

Representations for the first associated q-classical orthogonal polynomials

Let {p_k(x; q)} be any system of the q-classical orthogonal polynomials, and let be the corresponding weight function, satisfying the q-difference equation D_q(σ)=τ, where σ and τ are polynomials of degree at most 2 and exactly 1, respectively. Further, let {p_k⁽¹⁾(x;q)} be associated polynomials of the polynomials {p_k(x; q)}. Explicit forms of the coefficients b_n,k and c_n,k in the expansions

are given in terms of basic hypergeometric functions. Here _k(x) equals x^k if σ⁺(0)=0, or (x;q)_k if σ⁺(1)=0, where σ⁺(x)σ(x)+(q−1)xτ(x). The most important representatives of those two classes are the families of little q-Jacobi and big q-Jacobi polynomials, respectively.Writing the second-order nonhomogeneous q-difference equation satisfied by p_n−1⁽¹⁾(x;q) in a special form, recurrence relations (in k) for b_n,k and c_n,k are obtained in terms of σ and τ.     

The phase transition in the cluster‐scaled model of a random graph

For 0 < p < 1 and q > 0 let G_q(n,p) denote the random graph with vertex set [n]={1,…,n} such that, for each graph G on [n] with e(G) edges and c(G) components, the probability that G_q(n,p)=G is proportional to . The first systematic study of G_q(n,p) was undertaken by 6 , who analyzed the phase transition phenomenon corresponding to the emergence of the giant component. In this paper we describe the structure of G_q(n,p) very close the critical threshold. © 2005 Wiley Periodicals, Inc. Random Struct. Alg., 2006     

Representation and character varieties of the Baumslag-Solitar groups

Representation and character varieties of the Baumslag–Solitar groups BS(p, q) are analyzed. Irreducible components of these varieties are found, and their dimension is calculated. It is proved that all irreducible components of the representation variety R_n(BS(p, q)) are rational varieties of dimension n², and each irreducible component of the character variety X_n(BS(p, q)) is a rational variety of dimension k ≤ n. The smoothness of irreducible components of the variety R_n^s (BS(p, q)) of irreducible representations is established, and it is proved that all irreducible components of the variety R_n^s (BS(p, q)) are isomorphic to A¹ {0}.