Algebraic Ideals in Group Rings and Tensor Products

Ideals in Group Rings

Radical ideals in group rings of locally finite groups

Algebraic groups play much the same role for algebraists as Lie groups play for analysts. This book is the first comprehensive introduction to the theory of algebraic group schemes over fields that includes the structure theory of semisimple algebraic groups, and is written in the language of modern algebraic geometry. The first eight chapters study general algebraic group schemes over a field and culminate in a proof of the Barsotti–Chevalley theorem, realizing every algebraic group as an extension of an abelian variety by an affine group. After a review of the Tannakian philosophy, the author provides short accounts of Lie algebras and finite group schemes. The later chapters treat reductive algebraic groups over arbitrary fields, including the Borel–Chevalley structure theory. Solvable algebraic groups are studied in detail. Prerequisites have also been kept to a minimum so that the book is accessible to non-specialists in algebraic geometry.

(1989). Permanental dominance and the soules conjecture for certain right ideals in the group algebra. Linear and Multilinear Algebra: Vol. 24, No. 2, pp. 135-149.

Several relations and bounds for the dimension of principal ideals in group algebras are determined by analyzing minimal polynomials of regular representations. These results are used in the two last sections. First, in the context of semisimple group algebras, to compute, for any abelian code, an element with Hamming weight equal to its dimension. Finally, to get bounds on the minimum distance of certain MDS group codes. A relation between a class of group codes and MDS codes is presented. Examples illustrating the main results are provided.

In this paper, we continue our study of the tensor product structure of category of weight modules over a Hopf–Ore extensions of a group algebra kG, where k is an algebraically closed field of characteristic zero. We first describe the tensor product decomposition rules for all indecomposable weight modules under the assumption that the orders of χ and are different. Then we describe the Green ring of the tensor category . It is shown that is isomorphic to the polynomial algebra over the group ring in one variable when , and that is isomorphic to the quotient ring of the polynomial algebra over the group ring in two variables modulo a principle ideal when . When , is isomorphic to the quotient ring of a skew group ring modulo some ideal, where is a polynomial algebra over in infinitely many variables.

In 1978, Robert McEliece constructed the first asymmetric code-based cryptosystem using noise-immune Goppa codes; no effective key attacks has been described for it yet. By now, quite a lot of code-based cryptosystems are known; however, their cryptographic security is inferior to that of the classical McEliece cryptosystem. In connection with the development of quantum computing, code-based cryptosystems are considered as an alternative to number theoretical ones; therefore, the problem of seeking promising classes of codes to construct new secure code-based cryptosystems is relevant. For this purpose, noncommutative codes can be used, that is, ideals in group algebras $${{\mathbb{F}}_{q}}G$$ over finite noncommutative groups $$G$$. The security of cryptosystems based on codes induced by subgroup codes has been studied earlier. The Artin–Wedderburn theorem, which proves the existence of an isomorphism of a group algebra to the direct sum of matrix algebras, is important for studying noncommutative codes. However, the particular form of terms and the construction of the isomorphism are not specified by this theorem; thus, for each group, there remains the problem of constructing the Wedderburn representation. The complete Wedderburn decomposition for the group algebra $${{\mathbb{F}}_{q}}{{D}_{{2n}}}$$ over the dihedral group $${{D}_{{2n}}}$$ has been obtained by F.E. Brochero Martinez in the case when the cardinality of the field and the order of the group are relatively prime numbers. Using these results, we study codes in the group algebra $${{\mathbb{F}}_{q}}{{D}_{{2n}}}$$ in this paper. The problem on the structure of all codes is solved, and the structure of codes induced by codes over cyclic subgroups of $${{D}_{{2n}}}$$ is described, which is of interest for cryptographic applications.

We know quite a lot about the general structure of ω-stable solvable centerless groups of finite Morley rank. Abelian groups of finite Morley rank are also well-understood. By comparison, nonabelian nilpotent groups are a mystery except for the following general results:• An ω1-categorical torsion-free nonabelian nilpotent group is an algebraic group over an algebraically closed field of characteristic 0 [Z3].• A nilpotent group of finite Morley rank is the central product of a definable subgroup of finite exponent and of a definable divisible subgroup [N3].• A divisible nilpotent group of finite Morley rank is the direct product of its torsion part (which is central) and of a torsion-free subgroup [N3].However, we do not understand nilpotent groups of bounded exponent. It seems that the classification of nilpotent (but nonabelian) p-groups of finite Morley rank is impossible. Even the nilpotent groups of Morley rank 2 contain insurmountable difficulties [C], [T] . At first glance, this may seem to be an obstacle to proving the Cherlin-Zil'ber conjecture (“simple groups of finite Morley rank are algebraic groups”). Our purpose in this article is to show that if such a group is a definable subgroup of a nonnilpotent group, then it is possible to obtain a classification within the boundaries of our present knowledge. In this respect, our article may be considered as a relief to those who are trying to classify simple groups of finite Morley rank.Before explicitly stating our result, we need the following definition.

TABLE OF CONTENTS INTRODUCTION. Historical background. Summary. Notation and terminology. CHAPTER I. ALGEBRAIC MATRIC GROUPS. 1. Reducibility of sets of matrices. 2. Algebraic matric groups. 3. Jordan-Holder-Schreier theorem. 4. Commutator groups. 5. Solvable algebraic matric groups. 6. Anticompact and quasicompact algebraic matric groups. 7. Reducibility to triangular form. 8. Algebraic matric groups with certain types of normal chains. CHAPTER II. SOME P.ESULTS FROM THE THEORY OF ALGEBRAIC DIFFERENTIAL EQUATIONS. 9. Differential rings, fields, and ideals. 10. Differential polynomials. 11. Solutions. 12. Relative isomorphisms. 13. Order. 14. Dependence. 15. Homogeneous linear ordinary differential equations. CHAPTER III. NORMAL DIFFERENTIAL EXTENSION FIELDS. 16. Normal differential extension fields. CHAPTER IV. PICCARD-VESSIOT EXTENSIONS. 17. Picard-Vessiot extensions and their isomorphisms. 18. Normality. 19. Characterization of G. 20. Dimension. 21. Adjunction of new elements. 22. Linear reducibility of L(y). CHAPTER V. LIOUVILLIAN EXTENSIONS. 23. Integrals and exponentials of intgrals. 24. Liouvillian extensions. 25. The principal theorem and some consequences. 26. The proof, first half. 27. The proof, second half. REFERENCES INTRODUCTION

Methods and results from the representation theory of finite di- mensional algebras have led to many interactions with other areas of mathe- matics. Such areas include the theory of Lie algebras and quantum groups, commutative algebra, algebraic geometry and topology, and in particular the new theory of cluster algebras. The aim of this workshop was to further de- velop such interactions and to stimulate progress in the representation theory of algebras.

In their article [9] on cyclic homology, Feigin and Tsygan have given a spectral sequence for the cyclic homology of a crossed product algebra, generalizing Burghelea’s calculation [4] of the cyclic homology of a group algebra. For an analogous spectral sequence for the Hochschild homology of a crossed product algebra, see Brylinski [2], [3]. In this article, we give a new derivation of this spectral sequence, and generalize it to negative and periodic cyclic homology HC• (A) and HP•(A). The method of proof is itself of interest, since it involves a natural generalization of the notion of a cyclic module, in which the condition that the morphism τ ∈ Λ(n,n) is cyclic of order n + 1 is relaxed to the condition that it be invertible. We call this category the paracyclic category. Given a paracyclic module P , we can define a chain complex C(P ), with differentials b and B, which respectively lower and raise degree. The condition that the module P is paracyclic translates to the condition on C(P ) that 1− (bB +Bb) is invertible. Our main result is to show that there is an analogue of the Eilenberg-Zilber theorem for bi-paracyclic modules. It is then easy to obtain a new expression for the cyclic homology of a crossed product algebra which leads immediately to the spectral sequence of Feigin and Tsygan. If M is a module over a commutative ring k, we will denote by M (k) the iterated tensor product, defined by M (0) = k and M (k+1) =M (k) ⊗M . If M and N are graded modules, we will denote by M ⊗N their graded tensor product. We would like to thank J. Block, J.-L. Brylinski and C. Kassel for a number of interesting discussions on the results presented here.

In the paper, quantitative characteristics of identities of group algebras of finite groups are studied. A series of relations connecting the PI-exponents of identities with involution and Lie identities of the group algebra itself and of its Lie subalgebra of skew-symmetric elements are obtained.

Non-archimedean group algebras

It is proved that from the isomorphism of the integral group rings of two groups follows the isomorphism of the quotient-groups of these groups by the second commutator subgroup. Groups with certain conditions T1 and T2 are considered. From condition T1 it follows that the group algebra over an integral domain has no zero-divisors, and from T2 that the group of invertible elements of this algebra is trivial. Sufficient conditions are given, under which there are no zero-divisors in the group algebra of a pro-p-group over a field of p elements.

Let be either a simple linear algebraic group over an algebraically closed field of characteristic or a quantum group at an ‐th root of unity. We define a tensor ideal of singular ‐ modules in the category of finite‐dimensional ‐modules and study the associated quotient category , called the regular quotient . For , the Coxeter number of , we establish a ‘linkage principle’ and a ‘translation principle’ for tensor products: Let be the essential image in of the principal block of . We first show that is closed under tensor products in . Then we prove that the monoidal structure of is governed to a large extent by the monoidal structure of . These results can be combined to give an external tensor product decomposition , where denotes the Verlinde category of .