scholarly journals Speed of convergence of complementary probabilities on finite group

Let function P be a probability on a finite group G, i.e. $P(g)\geq0\ $ $(g\in G),\ \sum\limits_{g}P(g)=1$ (we write $\sum\limits_{g}$ instead of $\sum\limits_{g\in G})$. Convolution of two functions $P, \; Q$ on group $G$ is \linebreak $ (P*Q)(h)=\sum\limits_{g}P(g)Q(g^{-1}h)\ \ (h\in G)$. Let $E(g)=\frac{1}{|G|}\sum\limits_{g}g$ be the uniform (trivial) probability on the group $G$, $P^{(n)}=P*...*P$ ($n$ times) an $n$-fold convolution of $P$. Under well known mild condition probability $P^{(n)}$ converges to $E(g)$ at $n\rightarrow\infty$. A lot of papers are devoted to estimation the rate of this convergence for different norms. Any probability (and, in general, any function with values in the field $R$ of real numbers) on a group can be associated with an element of the group algebra of this group over the field $R$. It can be done as follows. Let $RG$ be a group algebra of a finite group $G$ over the field $R$. A probability $P(g)$ on the group $G$ corresponds to the element $ p = \sum\limits_{g} P(g)g $ of the algebra RG. We denote a function on the group $G$ with a capital letter and the corresponding element of $RG$ with the same (but small) letter, and call the latter a probability on $RG$. For instance, the uniform probability $E(g)$ corresponds to the element $e=\frac{1}{|G|}\sum\limits_{g}g\in RG. $ The convolution of two functions $P, Q$ on $G$ corresponds to product $pq$ of corresponding elements $p,q$ in the group algebra $RG$. For a natural number $n$, the $n$-fold convolution of the probability $P$ on $G$ corresponds to the element $p^n \in RG$. In the article we study the case when a linear combination of two probabilities in algebra $RG$ equals to the probability $e\in RG$. Such a linear combination must be convex. More exactly, we correspond to a probability $p \in RG$ another probability $p_1 \in RG$ in the following way. Two probabilities $p, p_1 \in RG$ are called complementary if their convex linear combination is $e$, i.e. $ \alpha p + (1- \alpha) p_1 = e$ for some number $\alpha$, $0 <\alpha <1$. We find conditions for existence of such $\alpha$ and compare $\parallel p ^ n-e \parallel$ and $\parallel {p_1} ^ n-e \parallel$ for an arbitrary norm ǁ·ǁ.

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.


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.


2020 ◽  
Vol 23 (3) ◽  
pp. 385-391
Author(s):  
Markus Linckelmann

AbstractG. Navarro raised the question of when two vertices of two indecomposable modules over a finite group algebra generate a Sylow p-subgroup. The present note provides a sufficient criterion for this to happen. This generalises a result by Navarro for simple modules over finite p-solvable groups, which is the main motivation for this note.


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.


2012 ◽  
Vol 12 (01) ◽  
pp. 1250130
Author(s):  
GEOFFREY JANSSENS

We give a description of the primitive central idempotents of the rational group algebra ℚG of a finite group G. Such a description is already investigated by Jespers, Olteanu and del Río, but some unknown scalars are involved. Our description also gives answers to their questions.


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.


1965 ◽  
Vol 7 (1) ◽  
pp. 1-8 ◽  
Author(s):  
D. A. R. Wallace

Over a field of prime characteristic p the group algebra of a finite group has a non-trivial radical if and only if the order of the group is divisible by the prime p. In two earlier papers [7,8] we have imposed certain restrictions on the radical, namely that the radical be contained in the centre of the group algebra and that the radical be of square zero, and we have considered what influence these conditions have on the structure of the group itself. These conditions are, at first sight, of different types and our present paper is an attempt to generalise them by merely assuming that the radical is commutative.


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.


Sign in / Sign up

Export Citation Format

Share Document