Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userSymmetric subgroups in modular group algebras
104
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Let V(KG) be a normalised unit group of the modular group algebra of a finite p-group G over the field K of p elements. We introduce a notion of symmetric subgroups in V(KG) as subgroups invariant under the action of the classical involution of the group algebra KG. We study properties of symmetric subgroups and construct a counterexample to the conjecture by V.Bovdi, which states that V(KG)=<G,S*>, where S* is a set of symmetric units of V(KG).
rate research
Read More
Let p be a prime, K a field of characteristic p, G a locally finite p-group, KG the group algebra, and V the group of the units of KG with augmentation 1. The anti-automorphism gmapsto g^{-1} of G extends linearly to KG; this extension leaves V setwise invariant, and its restriction to V followed by vmapsto v^{-1} lives an automorphism of V. The elements of V fixed by this automorphism are called unitary; they form a subgroup. Our first theorem describes the K and G for which this subgroup is normal in V. For each element g in G, let bar{g} denote the sum (in KG) of the distinct powers of g. The elements 1+(g-1)hbar{g} with g,hin G are the bicyclic units of KG. Our second theorem describes the K and G for which all bicyclic units are unitary.
Let V_* be the normalized unitary subgroup of the modular group algebra FG of a finite p-group G over a finite field F with the classical involution *. We investigate the isomorphism problem for the group V_*, that asks when the group V_* is determined by its group algebra FG. We confirm it for classes of finite abelian p-groups, 2-groups of maximal class and non-abelian 2-groups of order at most 16.
A p-group is called powerful if every commutator is a product of pth powers when p is odd and a product of fourth powers when p=2. In the group algebra of a group G of p-power order over a finite field of characteristic p, the group of normalized units is always a p-group. We prove that it is never powerful except, of course, when G is abelian.
We give a full description of locally finite p-groups G such that the normalized group of units V(FG) of the group algebra FG over a field F of characteristic p has exponent 4.
Quantum symmetric algebras (or noncommutative polynomial rings) arise in many places in mathematics. In this article we find the multiplicative structure of their Hochschild cohomology when the coefficients are in an arbitrary bimodule algebra. When this bimodule algebra is a finite group extension (under a diagonal action) of a quantum symmetric algebra, we give explicitly the graded vector space structure. This yields a complete description of the Hochschild cohomology ring of the corresponding skew group algebra.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
