Related papers: Normal group algebras

Let $\mathbb{F}G$ denote the group algebra of a locally finite group $G$ over the infinite field $\mathbb{F}$ with $char(\mathbb{F})\neq 2$, and let $\circledast:\mathbb{F}G\rightarrow \mathbb{F}G$ denote the involution defined by…

Let $KG$ be the group ring of a group $G$ over a commutative ring $K$ with unity. The rings $KG$ are described for which $xx^\sigma=x^\sigma x$ for all $x=\sum_{g\in G}\alpha_gg\in KG$, where \quad $x\mapsto x^\sigma=~\sum_{g\in…

Let $FG$ be the group algebra of a finite $2$-group $G$ over a finite field $F$ of characteristic two and $\circledast$ an involution which arises from $G$. The $\circledast$-unitary subgroup of $FG$, denoted by $V_{\circledast}(FG)$, is…

Let $\mathbf{F}$ be a real extension of $\mathbb{Q}$, $G$ a finite group and $\mathbf{F}G$ its group algebra. Given both a group homomorphism $\sigma:G\rightarrow \{\pm1\}$ (called an orientation) and a group involution $^\ast:G \rightarrow…

Let F be the field of two elements and G a finite abelian 2-group with an involutory automorphism. The extension of this automorphism to the group algebra FG is called an involutory involution. This determines the groups of unitary and…

An automorphism $\alpha$ of a group $G$ is normal if it fixes every normal subgroup of $G$ setwise. We give an algebraic description of normal automorphisms of relatively hyperbolic groups. In particular, we prove that for any relatively…

A pair $(G,T)$ is called a faithful odd transposition group if $T$ is a normal set of involutions generating the group $G$ and the product of any two distinct elements of $T$ has odd order. We introduce a special subclass of such groups, a…

Let $G$ be a group with involution * and $\sigma\colon G\to\{\pm1\}$ a group homomorphism. The map $\sharp$ that sends $\alpha=\sum\alpha_gg$ in a group ring $RG$ to $\alpha^{\sharp}=\sum\sigma(g)\alpha_gg^*$ is an involution of $RG$ called…

Let p be an odd prime, F the field of p elements and G a finite abelian p-group with an arbitrary involutory automorphism. Extend this automorphism to the group algebra FG and consider the unitary and the symmetric normalized units of FG.…

An algebraic structure is said to be congruence permutable if its arbitrary congruences $\alpha$ and $\beta$ satisfy the equation $\alpha \circ \beta =\beta \circ \alpha$, where $\circ$ denotes the usual composition of binary relations. For…

Let $S$ be a semigroup and $\mathbb F$ be a field. For an ideal $J$ of the semigroup algebra ${\mathbb F}[S]$ of $S$ over $\mathbb F$, let $\varrho _J$ denote the restriction (to $S$) of the congruence on ${\mathbb F}[S]$ defined by the…

We describe those group algebras over fields of characteristic different from 2 whose units symmetric with respect to the classical involution, satisfy some group identity.

An algebra group over a field $F$ is a group of the form $G = 1+J$ where $J$ is a finite-dimensional nilpotent associative $F$-algebra. A theorem of M. Boyarchenko asserts that, in the case where $F$ is a non-archimedean local field, every…

Let $G$ be a finite group and let $\pi: G \to G'$ be a surjective group homomorphism. Consider the cocycle deformation $L = H^{\sigma}$ of the Hopf algebra $H = k^G$ of $k$-valued linear functions on $G$, with respect to some convolution…

For any finite Galois field extension $\mathsf{K}/\mathsf{F}$, with Galois group $G = \mathrm{Gal}(\mathsf{K}/\mathsf{F})$, there exists an element $\alpha \in \mathsf{K}$ whose orbit $G\cdot\alpha$ forms an $\mathsf{F}$-basis of…

Let $X$ be a finite set such that $|X|=n$. Let $\trans$ and $\sym$ denote respectively the transformation monoid and the symmetric group on $n$ points. Given $a\in \trans\setminus \sym$, we say that a group $G\leq \sym$ is $a$-normalizing…

Let $G$ be a group, $F$ a field, and $A$ a finite-dimensional central simple algebra over $F$ on which $G$ acts by $F$-algebra automorphisms. We study the ideals and subalgebras of $A$ which are preserved by the group action. Let $V$ be the…

A graph $\Gamma$ is said to be a semi-Cayley graph over a group $G$ if it admits $G$ as a semiregular automorphism group with two orbits of equal size. We say that $\Gamma$ is normal if $G$ is a normal subgroup of ${\rm Aut}(\Gamma)$. We…

An involution on a semigroup S (or any algebra with an underlying associative binary operation) is a function f:S->S that satisfies f(xy)=f(y)f(x) and f(f(x))=x for all x,y in S. The set I(S) of all such involutions on S generates a…

Let $RG$ be the group ring of a finite group $G$ over a commutative ring $R$ with $1$. An element $x$ in $RG$ is said to be skew-symmetric with respect to an involution $\sigma$ of $RG$ if $\sigma(x)=-x.$ A structure theorem for the…