Construction of free subgroups in the group of units of modular group algebras

Let KGbe the group algebra of a p¹ -group Gover a field Kof characteristic p > 0, and let U(KG)be its group of units. If KGcontains a nontrivial bicyclic unit and if Kis not algebraic over its prime field, then we prove that the free product Z_p? Z_p? Z_pcan be embedded in U(KG).     

Words and Polynomial Invariants of Finite Groups in Non-Commutative Variables

Let V be a complex vector space with basis {x ₁, x ₂, . . . , x _n } and G be a finite subgroup of GL(V). The tensor algebra T(V) over the complex is isomorphic to the polynomials in the non-commutative variables x ₁, x ₂, . . . , x _n with complex coefficients. We want to give a combinatorial interpretation for the decomposition of T(V) into simple G-modules. In particular, we want to study the graded space of invariants in T(V) with respect to the action of G. We give a general method for decomposing the space T(V) into simple modules in terms of words in a Cayley graph of the group G. To apply the method to a particular group, we require a homomorphism from a subalgebra of the group algebra into the character algebra. In the case of G as the symmetric group, we give an example of this homomorphism from the descent algebra. When G is the dihedral group, we have a realization of the character algebra as a subalgebra of the group algebra. In those two cases, we have an interpretation for the graded dimensions and the number of free generators of the algebras of invariants in terms of those words.     

Brauer algebras of simply laced type

The diagram algebra introduced by Brauer that describes the centralizer algebra of the n-fold tensor product of the natural representation of an orthogonal Lie group has a presentation by generators and relations that only depends on the path graph A _{n − 1} on n − 1 nodes. Here we describe an algebra depending on an arbitrary graph Q, called the Brauer algebra of type Q, and study its structure in the cases where Q is a Coxeter graph of simply laced spherical type (so its connected components are of type A _{n − 1}, D _n , E₆, E₇, E₈). We find its irreducible representations and its dimension, and show that the algebra is cellular. The algebra is generically semisimple and contains the group algebra of the Coxeter group of type Q as a subalgebra. It is a ring homomorphic image of the Birman-Murakami-Wenzl algebra of type Q; this fact will be used in later work determining the structure of the Birman-Murakami-Wenzl algebras of simply laced spherical type.     

On self-adjoint subloops of moufang loops

In this paper we give a combinatorial rule to compute the composition of two convolution products of endomorphisms of a free associative algebra and deduce the construction of a subalgebra of QB _n (the group algebra of Hyperoctahedral group) which contains the descent algebra X#?. We also deduce a proof of the multiplication rule in the algebra ∑QB _n- Finally, we generalize this construction to other wreath products of symmetric groups by abelian groups.     

Automorphism groups of some algebras

The automorphism groups of algebras are found in many papers. Using auto-invariance, we find the automorphism groups of the Laurent extension of the polynomial ring and the quantum n-plane (respectively, twisting polynomial ring) in this work. As an application of the results of this work, we can find the automorphism group of a twisting algebra. We define a generalized Weyl algebra and show that the generalized Weyl algebra is simple. We also find the automorphism group of a generalized Weyl algebra. We show that the generalized Weyl algebra A _m,m+n is the universal enveloping algebra of the generalized Witt algebra W(m,m + n). This work was supported by 2007 Research fund of Hanyang University     

On the McCool group M3 and its associated Lie algebra

We prove that the Lie algebra of the McCool group M₃ is torsion free. As a result, we are able to give a presentation for the Lie algebra of M₃. Furthermore, M₃ is a Magnus group.     

Unitary Units Satisfying a Group Identity

Let K be a nonabsolute field of characteristic p ≠ 2, G a locally finite group and KG its group algebra. Let ?: KG → KG denote the K-linear extension of an involution ? defined on G. In this article, we prove that if the subgroup 𝒰_?(KG), i.e., the ?-unitary units of KG, satisfies a group identity, then KG satisfies a polynomial identity. Moreover, in case the prime radical of KG is nilpotent, we characterize the groups G for which 𝒰_?(KG) satisfies a group identity.     

Action of some braid groups on hodge algebras

In this paper we show that the braid groups B _n and the symmetric automorphism groups H(n) of the free group F _n,n = 3,4 act in a non-linear way on an algebra with straightening law (ordinal Hodge algebra). We indicate various properties of these rings.     

A Decomposition of the Descent Algebra of a Finite Coxeter Group

The purpose of this paper is twofold. First we aim to unify previous work by the first two authors, A. Garsia, and C. Reutenauer (see [2], [3], [4], [5] and [10]) on the structure of the descent algebras of the Coxeter groups of type A _n and B _n. But we shall also extend these results to the descent algebra of an arbitrary finite Coxeter group W. The descent algebra, introduced by Solomon in [14], is a subalgebra of the group algebra of W. It is closely related to the subring of the Burnside ring B(W) spanned by the permutation representations W/W _J, where the W _J are the parabolic subgroups of W. Specifically, our purpose is to lift a basis of primitive idempotents of the parabolic Burnside algebra to a basis of idempotents of the descent algebra.     

Homology of Centralizers

Given a group Π, we study the group homology of centralizers Π _g , g ? Π, and of their central quotients Π _g /〈 g〉. This study is motivated by the structure of the Hochschild and the cyclic homology of group algebras, and is based on Quillen's approach to the cyclic homology of algebras via algebra extensions. A method of computing the de Rham complex of a group algebra by means of a Gruenberg resolution is also developed.     

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.     

Adjunctions of Hom and Tensor as Endofunctors of (Bi-)Module Categories Over Quasi-Hopf Algebras

For a Hopf algebra H over a commutative ring k and a left H-module V, the tensor functors ? ? _k V and V ? _k  ? are known to be left adjoint to some kind of Hom-functors as endofunctors of _H 𝕄. The units and counits of adjunctions, in this case, are formally trivial as in the classical case.

In this paper, we generalize this Hom-tensor adjunction for (bi-)module categories over a quasi-Hopf algebra H and show that these (bi-)module categories are biclosed monoidal. However, the units and counits of adjunctions in these generalized cases are not as trivial as in the Hopf algebra case, and they should be modified in terms of the reassociator and the quasi-antipode. Also, if the H-module V is finitely generated and projective as a k-module, we will obtain a generalized form of adjunction between the tensor functors ? ?V and ? ?V* depending on the reassociator and quasi-antipode of H and describe a natural isomorphism between functors ? ?V* and Hom _k (V, ?) explicitly. Furthermore, we consider the special case V = A being an H-module algebra. In this case, each tensor functor will be a monad and its corresponding right adjoint is a comonad. We describe isomorphisms between the (Eilenberg–Moore) module categories over these monads and the (Eilenberg–Moore) comodule categories over their corresponding comonads explicitly.     

Some Examples of Affine Monoid Algebras

We construct a finitely generated monoid S with a zero element such that for every field K the Jacobson radical of the monoid algebra K[S] is a sum of nilpotent ideals but is not nilpotent. Moreover, the contracted monoid algebra K ₀[S] is a monomial algebra.

If K is a field of characteristic p > 0, then we construct a finitely presented group H _p such that the Jacobson radical J of the group algebra K[H _p ] is a sum of nilpotent ideals, but is not nilpotent. Moreover, K[H _p ]/J is a domain.     

The ordinary quivers of Hochschild extension algebras for self-injective Nakayama algebras

Let T be a Hochschild extension algebra of a finite dimensional algebra A over a field K by the standard duality A-bimodule Hom_K(A, K). In this paper, we determine the ordinary quiver of T if A is a self-injective Nakayama algebra by means of the ?-graded second Hochschild homology group HH₂(A) in the sense of Sköldberg.     

Polynomial Identities of RA and RA2 Loop Algebras

Let F be an algebraically closed field of characteristic zero and L an RA loop. We prove that the loop algebra FL is in the variety generated by the split Cayley–Dickson algebra Z _F over F. For RA2 loops of type M(Dih(A), ^?1,g ₀), we prove that the loop algebra is in the variety generated by the algebra  ₃ which is a noncommutative simple component of the loop algebra of a certain RA2 loop of order 16. The same does not hold for the RA2 loops of type M(G, ^?1,g ₀), where G is a non-Abelian group of exponent 4 having exactly 2 squares.     

Central Units in ℤCp,q

Let C_{p, q} be the semi-direct product of a cyclic group of order q by a cyclic group of order p, and ?C_{p, q} the integral group ring of C_{p, q}. In this article, firstly, we describe the group of normalized central units of ?C_{p, q} as a direct product of two subgroups that we call units of first kind and of second kind. For a class of prime numbers that we call good primes, we construct a multiplicatively independent set which generates the group of units of first kind. Finally, we construct a set of multiplicatively independent units which generates the units of second kind for a larger class of primes.     

Eine Symmetrieeigenschaft von Solomons Algebra und der höheren Lie-Charaktere

Zusammenfassung  We prove here three results in chain: the result of Section 2 is a symmetry property of the higher Lie characters ofS _n (which are indexed by partitions) : their character table is essentially symmetric, up to well-known factors. This is established using plethystic methods in the algebra of symmetric functions. In Section 3, we show that for any elements ϕ,ωof the Solomon descent algebra ofS _n , one hasc( ϕ)(ω) =c(ω ϕ), wherec is the Solomon mapping from this algebra to the space of central functions onS _n (implicitly extended to its group algebra). We address also the question whether this is true for each finite Coxeter group. Then in the last section, we deduce a new proof of a result of Gessel and the second author that gives the number of permutations with given cycle type and descent set as scalar product of two special characters.     

Generalized unitaries and the Picard group

After discussing some basic facts about generalized module maps, we use the representation theory of the algebra ℬ^a(E) of adjointable operators on a HilbertB-moduleE to show that the quotient of the group of generalized unitaries onE and its normal subgroup of unitaries onE is a subgroup of the group of automorphisms of the range idealB _E ofE inB. We determine the kernel of the canonical mapping into the Picard group ofB _E in terms of the group of quasi inner automorphisms ofB _E . As a by-product we identify the group of bistrict automorphisms of the algebra of adjointable operators onE modulo inner automorphisms as a subgroup of the (opposite of the) Picard group.     

Grothendieck ring of quantum double of finite groups

Let kG be a group algebra, and D(kG) its quantum double. We first prove that the structure of the Grothendieck ring of D(kG) can be induced from the Grothendieck ring of centralizers of representatives of conjugate classes of G. As a special case, we then give an application to the group algebra kD _n , where k is a field of characteristic 2 and D _n is a dihedral group of order 2n.