scholarly journals INVARIANTS AND COINVARIANTS OF FINITE PSEUDOREFLECTION GROUPS, JACOBIAN DETERMINANTS AND STEENROD OPERATIONS

2001 ◽  
Vol 44 (3) ◽  
pp. 597-611 ◽  
Author(s):  
Larry Smith

AbstractLet $\rho:G\hookrightarrow\GL(n,\F)$ be a representation of a finite group $G$ over a finite field $\F$ and $f_1,\dots,f_n\in\F[V]^G$ such that the ring of invariants is a polynomial algebra $\F[f_1,\dots,f_n]$. It is known that in this case the algebra of coinvariants $\F[V]_G$ is a Poincaré duality algebra, and if, moreover, the order of $G$ is invertible in $\F$, that a fundamental class is represented by the Jacobian determinant $\mathchoice{\det\biggl[\frac{\partial f_i}{\partial z_j}\biggr]}{\det[\partial f_i/\partial z_j]}{\det[\partial f_i/\partial z_j]} {\det[\partial f_i/\partial z_j]}$, and is therefore a $\det^{-1}$-relative invariant. In this note we deduce what happens in the modular case. As a bonus we obtain a new criterion for an unstable algebra over the Steenrod algebra to be a ring of invariants.AMS 2000 Mathematics subject classification: Primary 13A50; 55S10

Mathematics ◽  
2019 ◽  
Vol 7 (2) ◽  
pp. 158
Author(s):  
Li Zhang ◽  
Li-Jun Huo ◽  
Jia-Bao Liu

A subgroup H of a finite group G is said to be weakly H -embedded in G if there exists a normal subgroup T of G such that H G = H T and H ∩ T ∈ H ( G ) , where H G is the normal closure of H in G, and H ( G ) is the set of all H -subgroups of G. In the recent research, Asaad, Ramadan and Heliel gave new characterization of p-nilpotent: Let p be the smallest prime dividing | G | , and P a non-cyclic Sylow p-subgroup of G. Then G is p-nilpotent if and only if there exists a p-power d with 1 < d < | P | such that all subgroups of P of order d and p d are weakly H -embedded in G. As new applications of weakly H -embedded subgroups, in this paper, (1) we generalize this result for general prime p and get a new criterion for p-supersolubility; (2) adding the condition “ N G ( P ) is p-nilpotent”, here N G ( P ) = { g ∈ G | P g = P } is the normalizer of P in G, we obtain p-nilpotence for general prime p. Moreover, our tool is the weakly H -embedded subgroup. However, instead of the normality of H G = H T , we just need H T is S-quasinormal in G, which means that H T permutes with every Sylow subgroup of G.


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?


2001 ◽  
Vol 44 (2) ◽  
pp. 323-350 ◽  
Author(s):  
Dagmar M. Meyer

AbstractLet $p$ be an odd prime. The primary purpose of this paper is to determine the excess of the conjugates of the Steenrod operations $\mrm{P}[k;f]$, which are defined as $\mrm{P}[k;f]:=\mrm{P}(p^{k-1}f)\cdot\mrm{P}(p^{k-2}f)\cdot\cdots\cdot\mrm{P}(pf)\cdot\mrm{P}(f)$. The result is then used to obtain sufficient conditions for an element in the polynomial algebra $\mathbb{F}_p[x_1,\dots,x_s]$ to be in the image under the standard action of the Steenrod algebra. Results and methods are generalizations of previous work by Judith Silverman and by myself with Judith Silverman.AMS 2000 Mathematics subject classification: Primary 55S10. Secondary 55S05


2019 ◽  
Vol 62 (2) ◽  
pp. 281-295
Author(s):  
HADI ZARE

AbstractFor a path connected space X, the homology algebra $H_*(QX; \mathbb{Z}/2)$ is a polynomial algebra over certain generators QIx. We reinterpret a technical observation, of Curtis and Wellington, on the action of the Steenrod algebra A on the Λ algebra in our terms. We then introduce a partial order on each grading of H*QX which allows us to separate terms in a useful way when computing the action of dual Steenrod operations $Sq^i_*$ on $H_*(QX; \mathbb{Z}/2)$. We use these to completely characterise the A-annihilated generators of this polynomial algebra. We then propose a construction for sequences I so that QIx is A-annihilated. As an application, we offer some results on the form of potential spherical classes in H*QX upon some stability condition under homology suspension. Our computations provide new numerical conditions in the context of hit problem.


2021 ◽  
Vol 2021 ◽  
pp. 1-5
Author(s):  
Hasan Sankari ◽  
Mohammad Abobala

This paper is devoted to introduce a sufficient condition for the solvability of finite groups. Also, it presents the concepts of m-abelian and m-cyclic solvability as new generalizations of solvability and polycyclicity, respectively. These new generalizations show a connection between prime powers of elements in a finite group G and its solvability.


2001 ◽  
Vol 130 (3) ◽  
pp. 441-474 ◽  
Author(s):  
MARK HOVEY ◽  
JOHN H. PALMIERI

We discuss a general method for classifying certain subcategories of the category of finite-dimensional modules over a finite-dimensional co-commutative Hopf algebra B. Our method is based on that of Benson–Carlson–Rickard [BCR1], who classify such subcategories when B = kG, the group ring of a finite group G over an algebraically closed field k. We get a similar classification when B is a finite sub-Hopf algebra of the mod 2 Steenrod algebra, with scalars extended to the algebraic closure of F2. Along the way, we prove a Quillen stratification theorem for cohomological varieties of modules over any B, in terms of quasi-elementary sub-Hopf algebras of B.


Author(s):  
YANJUN LIU ◽  
WOLFGANG WILLEMS

Abstract Similarly to the Frobenius–Schur indicator of irreducible characters, we consider higher Frobenius–Schur indicators $\nu _{p^n}(\chi ) = |G|^{-1} \sum _{g \in G} \chi (g^{p^n})$ for primes p and $n \in \mathbb {N}$ , where G is a finite group and $\chi $ is a generalised character of G. These invariants give answers to interesting questions in representation theory. In particular, we give several characterisations of groups via higher Frobenius–Schur indicators.


2020 ◽  
Vol 18 (1) ◽  
pp. 1742-1747
Author(s):  
Jianjun Liu ◽  
Mengling Jiang ◽  
Guiyun Chen

Abstract A subgroup H of a finite group G is called weakly pronormal in G if there exists a subgroup K of G such that G = H K G=HK and H ∩ K H\cap K is pronormal in G. In this paper, we investigate the structure of the finite groups in which some subgroups are weakly pronormal. Our results improve and generalize many known results.


Sign in / Sign up

Export Citation Format

Share Document