相关论文: Computing generators of the unit group of an integ…

Let $\mathcal O$ be the ring of integers in a finite extension of $\mathbb Q_p$. If $G$ is a finite group and $\Gamma$ is a maximal order containing the group ring $\mathcal O[G]$, Jacobinski's conductor formula gives a complete description…

Zassenhaus Conjecture for torsion units states that every augmentation one torsion unit of the integral group ring of a finite group G is conjugate to an element of G in the units of rational group algebra QG. This conjecture has been…

We show that the cohomology ring of a finite-dimensional complex pointed Hopf algebra with an abelian group of group-like elements is finitely generated. Our strategy has three major steps. We first reduce the problem to the finite…

We study the problem of finding generators for the fundamental group G of a space of the following sort: one removes a family of complex hyperplanes from n dimensional complex vector space, or n dimensional complex hyperbolic space, or the…

Given a number field with absolute Galois group $\mathcal{G}$, a finite Galois module $M$, and a Selmer system $\mathcal{L}$, this article gives a method to compute Sel$_\mathcal{L}$, the Selmer group of $M$ attached to $\mathcal{L}$. First…

A new general formula for the number of conjugacy classes of subgroups of given index in a finitely generated group is obtained.

To constitute atoms of a $\sigma$ algebra is not a easy task due to the large number of its elements. However, determining them via generators seems a feasible and simple way since most $\sigma$ algebras are generated by their smaller…

The integral group ring $\mathbb{Z} G$ of a group $G$ has only trivial central units, if the only central units of $\mathbb{Z} G$ are $\pm z$ for $z$ in the center of $G$. We show that the order of a finite solvable group $G$ with this…

Let $G$ be a classical group defined over a finite field. We consider the following fundamental problems concerning conjugacy in $G$: 1. List a representative for each conjugacy class of $G$. 2. Given $x \in G$, describe the centralizer of…

The computation of the normaliser of a permutation group in the full symmetric group is an important and hard problem in computational group theory. This article reports on an algorithm that builds a descending chain of overgroups to…

This paper is devoted to understand groups definable in Presburger arithmetic. We prove the following theorems: Theorem 1. Every group definable in a model of Presburger Arithmetic is abelian-by-finite. Theorem 2. Every bounded group…

In the context of Higman embeddings of recursive groups into finitely presented groups we suggest an algorithm which uses Higman operations to explicitly constructs the specific recursively enumerable sets of integer sequences arising…

Given a group G, a (unital) ring A and a group homomorphism $\sigma : G \to \Aut(A)$, one can construct the skew group ring $A \rtimes_{\sigma} G$. We show that a skew group ring $A \rtimes_{\sigma} G$, of an abelian group G, is simple if…

We investigate the complexity of computing the Zariski closure of a finitely generated group of matrices. The Zariski closure was previously shown to be computable by Derksen, Jeandel, and Koiran, but the termination argument for their…

We describe a new algorithm for computing the ideal class group, the regulator and a system of fundamental units in number fields under the generalized Riemann hypothesis. We use sieving techniques adapted from the number field sieve…

Multiplicative order of an element $a$ of group $G$ is the least positive integer $n$ such that $a^n=e$, where $e$ is the identity element of $G$. If the order of an element is equal to $|G|$, it is called generator or primitive root. This…

Let $I_1\subset I_2\subset\dots$ be an increasing sequence of ideals of the ring $\Bbb Z[X]$, $X=(x_1,\dots,x_n)$ and let $I$ be their union. We propose an algorithm to compute the Gr\"obner base of $I$ under the assumption that the…

In this paper we highlight a few open problems concerning maximal sum-free sets in abelian groups. In addition, for most even order abelian groups $G$ we asymptotically determine the number of maximal distinct sum-free subsets in $G$. Our…

An algorithm for the explicit computation of a complete set of primitive central idempotents, Wedderburn decomposition and the automorphism group of the semisimple group algebra of a finite metabelian group is developed. The algorithm is…

We compute the generator rank of a subhomgeneous C*-algebra in terms of the covering dimension of the pieces of its primitive ideal space corresponding to irreducible representations of a fixed dimension. We deduce that every Z-stable…