On Extending Projectives of Finite Group-Graded Algebras

1991 ◽  
Vol 34 (2) ◽  
pp. 224-228
Author(s):  
Morton E. Harris

AbstractLet G be a finite group, let k be a field and let R be a finite dimensional fully G-graded k-algebra. Also let L be a completely reducible R-module and let P be a projective cover of R. We give necessary and sufficient conditions for P|R1 to be a projective cover of L|R1 in Mod (R1). In particular, this happens if and only if L is R1-projective. Some consequences in finite group representation theory are deduced.

1979 ◽  
Vol 28 (3) ◽  
pp. 335-345 ◽  
Author(s):  
Nicholas S. Ford

AbstractLet R be a commutative ring with identity, and let A be a finitely generated R-algebra with Jacobson radical N and center C. An R-inertial subalgebra of A is a R-separable subalgebra B with the property that B+N=A. Suppose A is separable over C and possesses a finite group G of R-automorphisms whose restriction to C is faithful with fixed ring R. If R is an inertial subalgebra of C, necessary and sufficient conditions for the existence of an R-inertial subalgebra of A are found when the order of G is a unit in R. Under these conditions, an R-inertial subalgebra B of A is characterized as being the fixed subring of a group of R-automorphisms of A. Moreover, A ⋍ B ⊗R C. Analogous results are obtained when C has an R-inertial subalgebra S ⊃ R.


1984 ◽  
Vol 27 (3) ◽  
pp. 309-312 ◽  
Author(s):  
Jairo Zacarias Gonçalves

AbstractIn this paper we give necessary and sufficient conditions under which the group of units of a group ring of a finite group G over a field K does not contain a free subgroup of rank 2.Some extensions of this results to infinite nilpotent and FC groups are also considered.


2010 ◽  
Vol 09 (02) ◽  
pp. 305-314 ◽  
Author(s):  
HARISH CHANDRA ◽  
MEENA SAHAI

Let K be a field of characteristic p ≠ 2,3 and let G be a finite group. Necessary and sufficient conditions for δ3(U(KG)) = 1, where U(KG) is the unit group of the group algebra KG, are obtained.


1970 ◽  
Vol 22 (1) ◽  
pp. 41-46 ◽  
Author(s):  
James C. Beidleman

1. The Frattini and Fitting subgroups of a finite group G have been useful subgroups in establishing necessary and sufficient conditions for G to be solvable. In [1, pp. 657-658, Theorem 1], Baer used these subgroups to establish several very interesting equivalent conditions for G to be solvable. One of Baer's conditions is that ϕ(S), the Frattini subgroup of S, is a proper subgroup of F(S), the Fitting subgroup of S, for each subgroup S ≠ 1 of G. Using the Fitting subgroup and generalized Frattini subgroups of certain subgroups of G we provide certain equivalent conditions for G to be a solvable group. One such condition is that F(S) is not a generalized Frattini subgroup of S for each subgroup S ≠ 1 of G. Our results are given in Theorem 1.


1962 ◽  
Vol 5 (3) ◽  
pp. 103-108 ◽  
Author(s):  
D. A. R. Wallace

It is well known that when the characteristic p(≠ 0) of a field divides the order of a finite group, the group algebra possesses a non-trivial radical and that, if p does not divide the order of the group, the group algebra is semi-simple. A group algebra has a centre, a basis for which consists of the class-sums. The radical may be contained in this centre; we obtain necessary and sufficient conditions for this to happen.


2016 ◽  
Vol 16 (08) ◽  
pp. 1750160
Author(s):  
Guo Zhong ◽  
Shi-Xun Lin

Let [Formula: see text] be a subgroup of a finite group [Formula: see text]. We say that [Formula: see text] is a [Formula: see text]-normal subgroup of [Formula: see text] if there exists a normal subgroup [Formula: see text] of [Formula: see text] such that [Formula: see text] and [Formula: see text] is a [Formula: see text]-subgroup of [Formula: see text]. In the present paper, we use [Formula: see text]-normality of subgroups to characterize the structure of finite groups, and establish some necessary and sufficient conditions for a finite group to be [Formula: see text]-supersolvable, [Formula: see text]-nilpotent and solvable. Our results extend and improve some recent ones.


2001 ◽  
Vol 131 (3) ◽  
pp. 405-425 ◽  
Author(s):  
CHRISTOPHER P. BENDEL

Let G be a finite group scheme over a field k, that is, an affine group scheme whose coordinate ring k[G] is finite dimensional. The dual algebra k[G]* ≡ Homk(k[G], k) is then a finite dimensional cocommutative Hopf algebra. Indeed, there is an equivalence of categories between finite group schemes and finite dimensional cocommutative Hopf algebras (cf. [19]). Further the representation theory of G is equivalent to that of k[G]*. Many familiar objects can be considered in this context. For example, any finite group G can be considered as a finite group scheme. In this case, the algebra k[G]* is simply the group algebra kG. Over a field of characteristic p > 0, the restricted enveloping algebra u([gfr ]) of a p-restricted Lie algebra [gfr ] is a finite dimensional cocommutative Hopf algebra. Also, the mod-p Steenrod algebra is graded cocommutative so that some finite dimensional Hopf subalgebras are such algebras.Over the past thirty years, there has been extensive study of the modular representation theory (i.e. over a field of positive characteristic p > 0) of such algebras, particularly in regards to understanding cohomology and determining projectivity of modules. This paper is primarily interested in the following two questions:Questions1·1. Let G be a finite group scheme G over a field k of characteristic p > 0, and let M be a rational G-module.(a) Does there exist a family of subgroup schemes of G which detects whether M is projective?(b) Does there exist a family of subgroup schemes of G which detects whether a cohomology class z ∈ ExtnG(M, M) (for M finite dimensional) is nilpotent?


1961 ◽  
Vol 2 (1) ◽  
pp. 122-126 ◽  
Author(s):  
N. A. Wiegmann

If A and B are two complex matrices and if U is a complex unitary matrix such that UAUCT = B (where UCT denotes the conjugate transpose of U), then A and B are said to be unitarily similar. Necessary and sufficient conditions that two matrices be unitarily similar have been dealt with in [5] (from the point of view of group representation theory) and in [2] (from the point of view of developing a canonical form under unitary similarity).


1995 ◽  
Vol 37 (2) ◽  
pp. 249-263 ◽  
Author(s):  
R. Martin

Let S be a prime Noetherian ring and G a finite group acting on 5 such that Gis x-outer on S. We give sufficient conditions for the skew group ring S * Gto be a prime maximal order. If we impose the further hypothesis that the order of Gbe a unit of S, then these conditions are also necessary. Moreover, if S is a commutative Noetherian domain, then there are necessary and sufficient conditions for S*Gto be a prime maximal order, without requiring that the order of G be a unit in S.


Sign in / Sign up

Export Citation Format

Share Document