scholarly journals The twisted group algebra of a finite nilpotent group over a number field

1979 ◽  
Vol 20 (1) ◽  
pp. 55-61 ◽  
Author(s):  
Hans Opolka

Let G be a finite group with neutral element e which operates trivially on the multiplicative group R* of a commutative ring with identity 1. Let H2(G, R*) = Z2(G, R*)/B2(G, R*) denote the second cohomology group of G with respect to the trivial G-module R*. With every factor system (2-cocycle) f ∈ Z2(G, R*) we associate the so called (central) twisted group algebra (R, G, f) of G over R (see [4, Chapter V, 23.7] or [13, §4] for a definition). If f is cohomologous to f', then the R-algebras (R, G, f) and (R, G, f′) are isomorphic. Hence, up to R-algebra isomorphism, (R, G, f) is determined by the cohomology class f∈H2(G, R*) determined by f. If R = k is a field of characteristic not dividing the order |G| of G, then a computation of the discriminant of (k, G, f) shows that (k, G, f) is semisimple (see [13, 4.2]).

1978 ◽  
Vol 19 (2) ◽  
pp. 149-152 ◽  
Author(s):  
Hans Opolka

Let G be a finite group (with neutral element e) which operates trivially on the multiplicative group R* of a commutative ring R (with identity 1). Let H2(G, R*) denote the second cohomology group of G with respect to the trivial G-module R*. With every represented by the central factor system we associate the so called twisted group algebra (R, G, f) (see [3, V, 23.7] for the definition). (R, G, f) is determined by f up to R-algebra isomorphism. In this note we shall describe its representations in the case R is an algebraically closed field C of characteristic zero and G is an extra-special p-group P.


1964 ◽  
Vol 4 (2) ◽  
pp. 152-173 ◽  
Author(s):  
S. B. Conlon

Let be a finite group, a field. A twisted group algebra A() on over is an associative algebra whose elements are the formal linear combinations and in which the product (A)(B) is a non-zero multiple of (AB), where AB is the group product of A, B ∈: . One gets the ordinary group algebra () by taking each fA, B ≠ 1.


1973 ◽  
Vol 25 (4) ◽  
pp. 881-887 ◽  
Author(s):  
E. D. Elgethun

In [8] I. N. Herstein conjectured that all the finite odd order sub-groups of the multiplicative group in a division ring are cyclic. This conjecture was proved false in general by S. A. Amitsur in [1]. In his paper Amitsur classifies all finite groups which can appear as a multiplicative subgroup of a division ring. Let D be a division ring with prime field k and let G be a finite group isomorphic to a multiplicative subgroup of D.


1975 ◽  
Vol 16 (1) ◽  
pp. 22-28 ◽  
Author(s):  
Wolfgang Hamernik

In this note relations between the structure of a finite group G and ringtheoretical properties of the group algebra FG over a field F with characteristic p > 0 are investigated. Denoting by J(R) the Jacobson radical and by Z(R) the centre of the ring R, our aim is to prove the following theorem generalizing results of Wallace [10] and Spiegel [9]:Theorem. Let G be a finite group and let F be an arbitrary field of characteristic p > 0. Denoting by BL the principal block ideal of the group algebra FG the following statements are equivalent:(i) J(B1) ≤ Z(B1)(ii) J(B1)is commutative,(iii) G is p-nilpotent with abelian Sylowp-subgroups.


1992 ◽  
Vol 57 (4) ◽  
pp. 1469-1477 ◽  
Author(s):  
Alexandre V. Borovik ◽  
Ali Nesin

The Schur-Zassenhaus Theorem is one of the fundamental theorems of finite group theory. Here is its statement:Fact 1.1 (Schur-Zassenhaus Theorem). Let G be a finite group and let N be a normal subgroup of G. Assume that the order ∣N∣ is relatively prime to the index [G:N]. Then N has a complement in G and any two complements of N are conjugate in G.The proof can be found in most standard books in group theory, e.g., in [S, Chapter 2, Theorem 8.10]. The original statement stipulated one of N or G/N to be solvable. Since then, the Feit-Thompson theorem [FT] has been proved and it forces either N or G/N to be solvable. (The analogous Feit-Thompson theorem for groups of finite Morley rank is a long standing open problem).The literal translation of the Schur-Zassenhaus theorem to the finite Morley rank context would state that in a group G of finite Morley rank a normal π-Hall subgroup (if it exists at all) has a complement and all the complements are conjugate to each other. (Recall that a group H is called a π-group, where π is a set of prime numbers, if elements of H have finite orders whose prime divisors are from π. Maximal π-subgroups of a group G are called π-Hall subgroups. They exist by Zorn's lemma. Since a normal π-subgroup of G is in all the π-Hall subgroups, if a group has a normal π-Hall subgroup then this subgroup is unique.)The second assertion of the Schur-Zassenhaus theorem about the conjugacy of complements is false in general. As a counterexample, consider the multiplicative group ℂ* of the complex number field ℂ and consider the p-Sylow for any prime p, or even the torsion part of ℂ*. Let H be this subgroup. H has a complement, but this complement is found by Zorn's Lemma (consider a maximal subgroup that intersects H trivially) and the use of Zorn's Lemma is essential. In fact, by Zorn's Lemma, any subgroup that has a trivial intersection with H can be extended to a complement of H. Since ℂ* is abelian, these complements cannot be conjugated to each other.


1954 ◽  
Vol 2 (2) ◽  
pp. 66-76 ◽  
Author(s):  
Iain T. Adamson

Let G be a finite group, H an arbitrary subgroup (i.e., not necessarily normal); we decompose G as a union of left cosets modulo H:choosing fixed coset representatives v. In this paper we construct a “coset space complex” and assign cohomology groups; Hr([G: H], A), to it for all coefficient modules A and all dimensions, -∞<r<∞. We show that ifis an exact sequence of coefficient modules such that H1U, A')= 0 for all subgroups U of H, then a cohomology group sequencemay be defined and is exact for -∞<r<∞. We also provide a link between the cohomology groups Hr([G: H], A) and the cohomology groups of G and H; namely, we prove that if Hv(U, A)= 0 for all subgroups U of H and for v = 1, 2, …, n–1, then the sequenceis exact, where the homomorphisms of the sequence are those induced by injection, inflation and restriction respectively.


2016 ◽  
Vol 99 (113) ◽  
pp. 257-264 ◽  
Author(s):  
Somayeh Heydari ◽  
Neda Ahanjideh

For a finite group G, let cd(G) be the set of irreducible complex character degrees of G forgetting multiplicities and X1(G) be the set of all irreducible complex character degrees of G counting multiplicities. Suppose that p is a prime number. We prove that if G is a finite group such that |G| = |PGL(2,p) |, p ? cd(G) and max(cd(G)) = p+1, then G ? PGL(2,p), SL(2, p) or PSL(2,p) x A, where A is a cyclic group of order (2, p-1). Also, we show that if G is a finite group with X1(G) = X1(PGL(2,pn)), then G ? PGL(2, pn). In particular, this implies that PGL(2, pn) is uniquely determined by the structure of its complex group algebra.


1972 ◽  
Vol 18 (2) ◽  
pp. 149-158 ◽  
Author(s):  
J. D. P. Meldrum ◽  
D. A. R. Wallace

Let G be a group and let K be a field. The twisted group algebra Kt(G) of G over K is defined as follows: let G have elements a, b, c, … and let Kt(G) be the vector space over K with basis elements ; let α: G ×G → K be a 2-cocycle and define a multiplication on Kt(G) byextending this by linearity to Kt(G) yields an associative algebra. We are interested in information concerning the Jacobson radical of Kt(G), denoted by JKt(G).


Sign in / Sign up

Export Citation Format

Share Document