Related papers: UNITS IN $F_2D_{2p}$
Which groups can be the group of units in a ring? This open question, posed by L\'{a}szl\'{o} Fuchs in 1960, has been studied by the authors and others with a variety of restrictions on either the class of groups or the class of rings under…
Let $p$ be an odd prime and let $\mathbf{B}$ be a $p$-block of a finite group, such that $\mathbf{B}$ has cyclic defect groups. We describe the self-dual indecomposable $\mathbf{B}$-modules and for each such module determine whether it is…
Given a finite group $G$, its double Burnside ring $B(G,G)$, has a natural duality operation that arises from considering opposite $(G,G)$-bisets. In this article, we systematically study the subgroup of units of $B(G,G)$, where elements…
In this article, we study the derivations of group algebras of some important groups, namely, dihedral ($D_{2n}$), Dicyclic ($T_{4n}$) and Semi-dihedral ($SD_{8n}$). First, we explicitly classify all inner derivations of a group algebra…
In this paper we study embeddings of unitriangular groups UT$_n(\mathbb{F}_p)$ arising under adjunction of roots. We construct embeddings of UT$_n(\mathbb{F}_p)$ in UT$_m(\mathbb{F}_p)$, for $n \geq 2$, $m=(n-1)p^s + 1$, $s \in…
Let $D_{n}$ be the dihedral group of order $n$. The structure of the unit group $U(F(C_3 \times D_{10}))$ of the group algebra $F(C_3 \times D_{10})$ over a finite field $F$ of characteristic $3$ is given in \cite{sh13}. In this article,…
Let $G$ be a finite group and $\Z G$ its integral group ring. We show that if $\alpha$ is a non-trivial bicyclic unit of $\Z G$, then there are bicyclic units $\beta$ and $\gamma$ of different types, such that $\GEN{\alpha,\beta}$ and…
Let $p$ be a prime integer and $\mathbb{Z}_p$ be the ring of $p$-adic integers. By a purely computational approach we prove that each nonzero normal element of a completed group algebra over the special linear group ${\rm…
We prove that each infinite 2-group with a unique 2-element subgroup is isomorphic either to the quasicyclic 2-group or to the infinite group of generalized quaternions.
We consider finite dimensional representations of the dihedral group $D_{2p}$ over an algebraically closed field of characteristic two where $p$ is an odd integer and study the degrees of generating and separating polynomials in the…
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_*…
We will give a definition of quadratic forms on bimodules and prove the sandwich classification theorem for subgroups of the general linear group $\mathrm{GL}(P)$ normalized by the elementary unitary group $\mathrm{EU}(P)$ if $P$ is a…
The bifree double Burnside ring $B^\Delta(G,G)$ of a finite group $G$ has a natural anti-involution. We study the group $B^\Delta_\circ(G,G)$ of orthogonal units in $B^\Delta(G,G)$. It is shown that this group is always finite and contains…
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…
This paper is devoted to the units of integral group rings of cyclic $2$-groups of small orders, namely, the orders of $2^n$ for $n<8$. Immediately we should note the issues our consideration describe in the introduction in more detail.…
Given a prime power $p^d$ with $p$ a prime and $d$ a positive integer, we classify the finite groups $G$ with $p^{2d}$ dividing $|G|$ in which all subgroups of order $p^d$ are complemented and the finite groups $G$ having a normal…
Suppose $C(G)$ denotes the set of all cyclic subgroups of a finite group $G$, and $\mathcal{O}_{2}(G)$ denotes the number of elements of order $2$ in $G$. In [Marius T., Finite groups with a certain number of cyclic subgroups. The American…
Let $p\equiv -q \equiv 5\pmod 8$ be two prime integers. In this paper, we investigate the unit groups of the fields $ L_1 =\mathbb{Q}(\sqrt 2, \sqrt{p}, \sqrt{q}, \sqrt{-1} )$ and $ L_1^+=\mathbb{Q}(\sqrt 2, \sqrt{p}, \sqrt{q} )$.…
Let $k$ be an algebraically closed field of odd characteristic $p$, and let $D_n$ be the dihedral group of order $2n$ such that $p\mid 2n$. Let $D(kD_n)$ denote the quantum double of the group algebra $kD_n$. In this paper, we describe the…
Let F be a finite group with a Sylow 2-subgroup S that is normal and abelian. Using hyperelementary induction and cartesian squares, we prove that Cappell's unitary nilpotent groups UNil_*(Z[F];Z[F],Z[F]) have an induced isomorphism to the…