Related papers: Units in $FD_{2p^m}$

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,…

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…

A finite group $G$ is called monomial if every irreducible character of $G$ is induced from a linear character of some subgroup of $G$. One of the main questions regarding monomial groups is whether or not a normal subgroup $N$ of a…

We define a universal deformation formula (UDF) for the actions of the affine group on Frechet algebras. More precisely, starting with any associative Frechet algebra which the affine group acts on in a strongly continuous and isometrical…

Let $p\equiv 1\pmod{8}$ and $q\equiv7\pmod 8$ be two prime numbers. The purpose of this paper is to compute the unit group of the fields $\KK=\QQ(\sqrt 2, \sqrt{p}, \sqrt{q} )$ and give their $2$-class numbers.

We study the existence of unitriangular basic sets for the symmetric group which behave nicely with respect to the Mullineux involution. Such sets give a natural labelling for the modular irreducible representations. We show that, for any…

Let $k$ be an algebraically closed field of characteristic 2. We compute the vertices of all indecomposable $kD_8$-modules for the dihedral group $D_8$ of order 8. We also give a conjectural formula of the induced module of a string module…

Let $G$ be a transitive permutation group of degree $n$. We say that $G$ is $2'$-elusive if $n$ is divisible by an odd prime, but $G$ does not contain a derangement of odd prime order. In this paper we study the structure of quasiprimitive…

A recurring theme in finite group theory is understanding how the structure of a finite group is determined by the arithmetic properties of group invariants. There are results in the literature determining the structure of finite groups…

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.

Let $H$ be a finite-dimensional Hopf algebra over an algebraically closed field of characteristic 0. If $H$ is not semisimple and $\dim(H)=2n$ for some odd integer $n$, then $H$ or $H^*$ is not unimodular. Using this result, we prove that…

Counting homomorphisms between cyclic groups is a common exercise in a first course in abstract algebra. A similar problem, accessible at the same level, is to count the number of group homomorphisms from a dihedral group of order $2m$ into…

This article is the first in a series devoted to computing the class groups of real quadratic fields. We present a new relation between the class number and the index of unit groups. This relation generalizes Hilbert class field theory for…

We classify the parabolic unitals in regular nearfield planes of odd order $q^2$ whose linear collineation group has the maximal size of $q^3-q$. We also establish a number of more general results concerning parabolic unitals in regular…

We consider an amalgam of groups constructed from fusion systems for different odd primes p and q. This amalgam contains a self-normalizing cyclic subgroup of order pq and isolated elements of order p and q.

We consider elements of finite order in the Riordan group $\cal R$ over a field of characteristic $0$. Viewing $\cal R$ as a semi-direct product of groups of formal power series, we solve, for all $n \geq 2$, two foundational questions…

A dimension group is a partially ordered countable group such that (1) every finite subset is contained in an ordered subgroup which is a finite direct power of Z and (2) the group has an order unit i.e. a positive element u such that every…

Let $F$ be a field of characteristic zero. We prove that if a group grading on $UT_m(F)$ admits a graded involution then this grading is a coarsening of a $\mathbb{Z}^{\lfloor\frac{m}{2}\rfloor}$-grading on $UT_m(F)$ and the graded…

Let $G$ be a finite group having a normal $p$-subgroup $N$ that contains its centralizer $\text{C}_{G}(N)$, and let $R$ be a $p$-adic ring. It is shown that any finite $p$-group of units of augmentation one in $RG$ which normalizes $N$ is…

Let k be an algebraically closed field of characteristic 0 and let D_m be the dihedral group of order 2m with m= 4t, with t bigger than 2. We classify all finite-dimensional Nichols algebras over D_m and all finite-dimensional pointed Hopf…