Unit groups of group algebras of some small groups

Let FG be a group algebra of a group G over a field F and U (FG) the unit group of FG. It is a classical question to determine the structure of the unit group of the group algebra of a finite group over a finite field. In this article, the structure of the unit group of the group algebra of the non-abelian group G with order 21 over any finite field of characteristic 3 is established. We also characterize the structure of the unit group of FA ₄ over any finite field of characteristic 3 and the structure of the unit group of FQ ₁₂ over any finite field of characteristic 2, where Q ₁₂ = 〈x, y; x ⁶ = 1, y ² = x ³, x ^y = x ^?1〉.     

Counting maximal topologies on countable groups and rings

Two non-discrete Hausdorff group topologies τ₁, τ₂ on a group G are called transversal if the least upper bound τ₁∨τ₂ of τ₁ and τ₂ is the discrete topology. We show that a countable group G admitting non-discrete Hausdorff group topologies admits c² pairwise transversal complete group topologies on G (so c² maximal group topologies). Moreover, every abelian group G admits ²|G|² pairwise transversal complete group topologies.     

Groups with T1 primitive ideal spaces

We give a simple necessary and sufficient condition for the group C¹-algebra of a connected locally compact group to have a T₁ primitive ideal space, i.e., to have the property that all primitive ideals are maximal. A companion result settles the same question almost entirely for almost connected groups. As a by-product of the method used, we show that every point in the primitive ideal space of the group C¹-algebra of a connected locally compact group is at least locally closed. Finally, we obtain an analog of these results for discrete finitely generated groups; in particular the primitive ideal space of the group C¹-algebra of a discrete finitely generated solvable group is T₁ if and only if the group is a finite extension of a nilpotent group.     

Spectral Synthesis and Topologies on Ideal Spaces for Banach*-Algebras

This paper continues the study of spectral synthesis and the topologies τ_∞ and τ_r on the ideal space of a Banach algebra, concentrating on the class of Banach ^*-algebras, and in particular on L¹-group algebras. It is shown that if a group G is a finite extension of an abelian group then τ_r is Hausdorff on the ideal space of L¹(G) if and only if L¹(G) has spectral synthesis, which in turn is equivalent to G being compact. The result is applied to nilpotent groups, [FD]⁻-groups, and Moore groups. An example is given of a non-compact, non-abelian group G for which L¹(G) has spectral synthesis. It is also shown that if G is a non-discrete group then τ_r is not Hausdorff on the ideal lattice of the Fourier algebra A(G).     

Quasirecognition by prime graph of 2 D n (3α) where n = 4m + 1 ≥ 21 and α is odd

Let G be a finite group. The prime graph of G is denoted by Γ(G). In this paper, as the main result, we show that if G is a finite group such that Γ(G) = Γ(² D _n (3^α)), where n = 4m+ 1 and α is odd, then G has a unique non-Abelian composition factor isomorphic to ² D _n (3^α). We also show that if G is a finite group satisfying |G| = |² D _n (3^α)|, and Γ(G) = Γ(² D _n (3^α)), then G ? ² D _n (3^α). As a consequence of our result, we give a new proof for a conjecture of Shi and Bi for ² D _n (3^α). Application of this result to the problem of recognition of finite simple groups by the set of element orders are also considered. Specifically, it is proved that ² D _n (3^α) is quasirecognizable by the spectrum.     

Ideal structure of Beurling algebras on [FC]− groups

It is proved that for an [FC]^? group G, the Beurling algebra L_ω¹(G) is 1-regular if and only if ω is non-quasianalytic. As an application the Wiener property is deduced. Further for a σ-compact [FD]^? group G, points in Prim₁L_ω¹(G) are shown to be spectral provided that ω satisfies Shilov's conditions.     

Kähler geometry of the universal Teichmüller space and coadjoint orbits of the Virasoro group

The Kähler geometry of the universal Teichmüller space and related infinite-dimensional Kähler manifolds is studied. The universal Teichmüller space T may be realized as an open subset in the complex Banach space of holomorphic quadratic differentials in the unit disc. The classical Teichmüller spaces T(G), where G is a Fuchsian group, are contained in T as complex Kähler submanifolds. The homogeneous spaces Diff₊(S ¹)/Möb(S ¹) and Diff₊(S ¹)/S ¹ of the diffeomorphism group Diff₊(S ¹) of the unit circle are closely related to T. They are Kähler Frechet manifolds that can be realized as coadjoint orbits of the Virasoro group (and exhaust all coadjoint orbits of this group that have the Kähler structure).     

Arithmetic behaviour of the sums of three squares

Let n ≠ 4^a(8b + 7) be an integer. We deal with the problem of the solvability of the equation n = x₁² + x₂² + x₃² in integers x₁, x₂, x₃ prime to n. By a theorem of Vila (Arch. Math. 44 (1985), 424–437), the existence of such a solution implies that every central extension of the alternating group A_n, for n ≡ 3 (mod 8), can be realized as a Galois group over Q.     

The mathematics of perfect shuffles

There are two ways to perfectly shuffle a deck of 2n cards. Both methods cut the deck in half and interlace perfectly. The out shuffle O leaves the original top card on top. The in shuffle I leaves the original top card second from the top. Applications to the design of computer networks and card tricks are reviewed. The main result is the determination of the group 〈 I, O 〉 generated by the two shuffles, for all n. If 2n is not a power of 2, and if 2n ≠ 12,24, then 〈 I, O 〉 has index 1, 2, or 4 in the Weyl group B_n (the group of all 2ⁿn! signed n × n permutation matrices). If 2n = 2^k, then 〈 I, O 〉 is isomorphic to a semi-direct product of Z₂^k and Z_k. When 2n = 24, 〈 I, O 〉 is isomorphic to a semi-direct product of Z₂¹¹ and M₁₂, the Mathieu group of degree 12. When 2n = 12, 〈 I, O 〉 is isomorphic to a semi-direct product of Z₂⁶ and the group PGL(2,5) of all linear fractional transformations over GF(5).     

Laguerre expansion on the Heisenberg group and Fourier-Bessel transform on ℂ n

Given a principal value convolution on the Heisenberg group H _n = ? ⁿ × ?, we study the relation between its Laguerre expansion and the Fourier-Bessel expansion of its limit on ? ⁿ . We also calculate the Dirichlet kernel for the Laguerre expansion on the group H _n .     

HFD groups in the Solovay model

Hajnal and Juhász proved that under CH there is a hereditarily separable, hereditarily normal topological group without non-trivial convergent sequences that is countably compact and not Lindelöf. The example constructed is a topological subgroup H⊆ω₁² that is an HFD with the following property

(P)

the projection of H onto every partial product I² for I∈ω[ω₁] is onto.

Any such group has the necessary properties. We prove that if κ is a cardinal of uncountable cofinality, then in the model obtained by forcing over a model of CH with the measure algebra on κ², there is an HFD topological group in ω₁² which has property (P).     

On the Brauer group of the product of a torus and a semisimple algebraic group

Let T be a torus (not assumed to be split) over a field F, and denote by nH _et ² (X,{ie375-1}) the subgroup of elements of the exponent dividing n in the cohomological Brauer group of a scheme X over the field F. We provide conditions on X and n for which the pull-back homomorphism nH _et ² (T,{ie375-2}) → _n H _et ² (X × _F T, {ie375-3}) is an isomorphism. We apply this to compute the Brauer group of some reductive groups and of non-singular affine quadrics. Apart from this, we investigate the p-torsion of the Azumaya algebra defined Brauer group of a regular affine scheme over a field F of characteristic p > 0.     

An oblique projection iterative method to compute Drazin inverse and group inverse

In this paper, an oblique projection iterative method is presented to compute matrix equation AXA=A of a square matrix A with ind(A)=1. By this iterative method, when taken the initial matrix X₀=A, the group inverse A_g can be obtained in absence of the roundoff errors. If we use this iterative method to the matrix equation A^kXA^k=A^k, a group inverse (A^k)_g of matrix A^k is got, then we use the formulae A_d=A^k-1(A^k)_g, the Drazin inverse A_d can be obtained.     

Automorphisms of free groups and the mapping class groups of closed compact orientable surfaces

Let N be the stabilizer of the word w = s ₁ t ₁ s ₁ ^?1 t ₁ ^?1 … s _g t _g s _g ^?1 t _g ^?1 in the group of automorphisms Aut(F _2g ) of the free group with generators ?ub;s _i, t _i?ub; _i=1,…,g . The fundamental group π₁(Σ_g) of a two-dimensional compact orientable closed surface of genus g in generators ?ub;s _i, t _i?ub; is determined by the relation w = 1. In the present paper, we find elements S _i, T _i ∈ N determining the conjugation by the generators s _i, t _i in Aut(π₁(Σ_g)). Along with an element β ∈ N, realizing the conjugation by w, they generate the kernel of the natural epimorphism of the group N on the mapping class group M _g,0 = Aut(π₁(Σ_g))/Inn(π₁(Σ_g)). We find the system of defining relations for this kernel in the generators S ₁, …, S _g, T ₁, …, T _g, α. In addition, we have found a subgroup in N isomorphic to the braid group B _g on g strings, which, under the abelianizing of the free group F _2g , is mapped onto the subgroup of the Weyl group for Sp(2g, ?) consisting of matrices that contain only 0 and 1.     

Most primitive groups have messy invariants

Suppose G is a finite group of complex n × n matrices, and let R^G be the ring of invariants of G: i.e., those polynomials fixed by G. Many authors, from Klein to the present day, have described R^G by writing it as a direct sum Σ^δ_j=1 η_j$\text{C}$[θ₁ ,…, θ_n]. For example, if G is a unitary group generated by reflections, δ = 1. In this note we show that in general this approach is hopeless by proving that, for any ? > 0, the smallest possible δ is greater than | G |^n-1-? for almost all primitive groups. Since for any group we can choose δ ? | G |^n-1, this means that most primitive groups are about as bad as they can be. The upper bound on δ follows from Dade's theorem that the θ_i can be chosen to have degrees dividing | G |.     

The mean square of Dirichlet series associated with automorphic forms

Letf be a non-holomorphic automorphic form of real weight and eigenvalue λ=1/4?ρ ², ?ρ≥0, which is defined with respect to a Fuchsian group of the first kind. Assume that ∞ is a cusp of this group and denote bya _∞,n,a _∞,n ,n ∈ ?, the Fourier coefficients off at ∞. Following Hecke and Maas we prove that under suitable assumptions the associated Dirichlet seriesL ⁺ (f, s) = ∑ _{n > 0} a _∞,n (n + μ_221E;)^?s andL ^? (f, s) = ∑ _{n < 0} a _∞,n |n + μ_221E;|^?s have meromorphic continuation in the entire complex plane and statisfy a certain functional equation (μ_∞ denotes the cusp parameter of the cusp ∞). We are interested in mean square estimates of these functions. Iff is not a cusp form we prove $$\int_0^T {|L^ \pm (f,\Re _\rho + it)|^2 dt = T(\log T)^a (B^ \pm + o(1)),}$$ wherea is either 1, 2 or 4, andB ^± is a constant. A similar result is true iff is a cusp form. In case of a congruence group the termo(1) can be replaced byO ((logT)^?1).     

Group actions on Stanley-Reisner rings and invariants of permutation groups

Let H be a group of permutations of x₁ ,…, x_n and let Q^H[x₁ , x₂ ,…, x_n] denote the ring of H-invariant Polynomials in x₁ , x₂ ,…, x_n with rational coefficients. Combinatorial methods for the explicit construction of free bases for Q^H[x₁ , x₂ ,…, x_n] as a module over the symmetric polynomials are developed. The methods are developed by studying the action of the symmetric group on the Stanley-Reisner ring of the subset lattice. Some general results are also obtained by studying the action of a Coxeter group on the Stanley-Reisner ring of the corresponding Coxeter complex. In the case of a Weyl group, a purely combinatorial construction of certain invariants first considered by R. Steinberg (Topology14 (1975), 173–177) is obtained. Some applications to representation theory are also included.     

On finite x-decomposable groups for X = {1, 2, 4}

A normal subgroup N of a finite group G is called an n-decomposable subgroup if N is a union of n distinct conjugacy classes of G. Each finite nonabelian nonperfect group is proved to be isomorphic to Q ₁₂, or Z ₂ × A ₄, or G = ??a, b, c | a ¹¹ = b ⁵ = c ² = 1, b ^?1 ab = a ⁴, c ^?1 ac = a ^?1, c ^?1 bc = b ^?1?? if every nontrivial normal subgroup is 2- or 4-decomposable.     

On the irreducibility of a certain class of Laguerre polynomials

R. Gow has investigated the problem of determining classical polynomials with Galois group A_m, the alternating group on m letters, in the case that m is even (odd m being previously handled in work of I. Schur). He showed that the generalized Laguerre polynomial L_m^(m)(x), defined below, has Galois group A_m provided m>2 is even and L_m^(m)(x) is irreducible (and obtained irreducibility in some cases). In this paper, we establish that L_m^(m)(x) is irreducible for almost all m (and, hence, has Galois group A_m for almost all even m).     

Small conjugacy classes in the automorphism groups of relatively free groups

Let F be an infinitely generated free group and let R be a fully invariant subgroup of F such that (a) R is contained in the commutator subgroup F^′ of F and (b) the quotient group F/R is residually torsion-free nilpotent. Then the automorphism group of the group F/R^′ is complete. In particular, the automorphism group of any infinitely generated free solvable group of derived length at least two is complete.This extends a result by Dyer and Formanek (1977) [7] on finitely generated groups F_n/R^′ where F_n is a free group of finite rank n at least two and R a characteristic subgroup of F_n.