Related papers: Computing Whitehead groups using genetic bases

The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here "compute" means to find a presentation in terms of generators and relations, and involves only the…

For a finite group $G$, let $p(G)$ denote the minimal degree of a faithful permutation representation of $G$. The minimal degree of a faithful representation of $G$ by quasi-permutation matrices over the fields $\mathbb{C}$ and $\mathbb{Q}$…

Assuming the Tate conjecture and the computability of \'etale cohomology with finite coefficients, we give an algorithm that computes the N\'eron-Severi group of any smooth projective geometrically integral variety, and also the rank of the…

In 1934, Garrett Birkhoff has shown that the number of isomorphism classes of finite metabelian groups of order $p^{22}$ tends to infinity with $p$. More precisely, for each prime number $p$ there is a family…

In this paper we consider two functions related to the arithmetic and geometric means of element orders of a finite group, showing that certain lower bounds on such functions strongly affect the group structure. In particular, for every…

We study the Whitehead torsions of inertial h-cobordisms, and identify various types representing a nested sequence of subsets of the Whitehead group. A number of examples are given to show that these subsets are all different in general.

[PLEASE SEE COMMENT] We consider the isomorphism problem for finite abelian groups and finite meta-cyclic groups. We prove that for a dense set of positive integers $n$, isomorphism testing for abelian groups of black-box type of order $n$…

Let $p \geqslant 3$ be a prime number and let $n \geqslant 0$ be an integer such that $p-1$ divides $n.$ In this short note we construct a family of $(p,n)$-gonal Riemann surfaces of maximal genus $2np+(p-1)^2$ with more than one…

Let $\mathscr{G}_{\rm CM}(d)$ denote the collection of groups (up to isomorphism) that appear as the torsion subgroup of a CM elliptic curve over a degree $d$ number field. We completely determine $\mathscr{G}_{\rm CM}(d)$ for odd integers…

The Picard group of an undirected graph is a finitely generated abelian group, and the Jacobian is the torsion subgroup of the Picard group. These groups can be computed by using the Smith normal form of the Laplacian matrix of the graph or…

We prove that the p-Quillen complex of a finite solvable group with cyclic derived group is Cohen-Macaulay, if p is an odd prime. If p = 2 we prove a similar conclusion, but there is a discussion to be made.

Given a finite group $G$ of order $p^nm$, where $p$ is a prime and $p\nmid m$, we denote by $\psi_p(G)$ the sum of orders of $p$-parts of elements in $G$. In the current note, we prove that $\psi_p(G)\leq\psi_p(C_{p^nm})$, where $C_{p^nm}$…

A group $G$ is called $W^*$-superrigid (resp. $C^*$-superrigid) if it is completely recognizable from its von Neumann algebra $L(G)$ (resp. reduced $C^*$-algebra $C_r^*(G)$). Developing new technical aspects in Popa's deformation/rigidity…

The Weil representation of the symplectic group associated to a finite abelian group of odd order is shown to have a multiplicity-free decomposition. When the abelian group is p-primary, the irreducible representations occurring in the Weil…

We compute the Whitehead groups of the associative rings in a class which includes (twisted) formal power series rings and the augmentation localizations of group rings and polynomial rings. For any associative ring A, we obtain an…

We develop a mechanism for classication of isomorphism types of non-trivial semisimple Hopf algebras whose group of grouplikes $G(H)$ is abelian of prime index $p$ which is the smallest prime divisor of $|G(H)|$. We describe structure of…

There is a well known theorem by Deuring which gives a criterion for when the reduction of an elliptic curve with complex multiplication (CM) by the ring of integers of an imaginary quadratic field has ordinary or supersingular reduction.…

Fix an odd prime $p$. Let $G$ be a compact $p$-adic Lie group containing a closed, normal, pro-$p$ subgroup $H$ which is abelian and such that $G/H$ is isomorphic to the additive group of $p$-adic integers $\mathbbZ_p$ . First we assume…

The paper presents a comprehensive study of group codes from non-abelian split metacyclic group algebras. We derive an explicit Wedderburn-like decomposition of finite split metacyclic group algebras over fields with characteristic coprime…

Let KG be a group algebra of a finite p-group G over a finite field K of characteristic p. We compute the order of the unitary subgroup of the group of units when G is either an extraspecial 2-group or the central product of such a group…