Related papers: Decomposing Linear Representations of Finite Group…

We show that any irreducible representation $\rho$ of a finite group $G$ of exponent $n$, realisable over $\mathbb{R}$, is realisable over the field $E:=\mathbb{Q}(\zeta_n)\cap\mathbb{R}$ of real cyclotomic numbers of order $n$, and…

Programming languages tend to evolve over time to use more and more concepts from theoretical computer science. Still, there is a gap between programming and pure mathematics. Not all theoretical results have realized their promising…

Let $G$ be a finite solvable group. Then $G$ always has a useful presentation, which we call a "long presentation". Using a "long presentation" of $G$, we present an inductive method of constructing the irreducible representations of $G$…

We present an effective method for computing parametric primary decomposition via comprehensive Gr\"obner systems. In general, it is very difficult to compute a parametric primary decomposition of a given ideal in the polynomial ring with…

On restriction to the maximal compact subgroup $\mathrm{GL}(3,\mathscr{R})$, an unramified principal series representation of the $p$-adic group $\mathrm{GL}(3,F)$ decomposes into a direct sum of finite-dimensional irreducibles each…

A numerical algorithm that computes the decomposition of any finite-dimen\-sio\-nal unitary reducible representation of a compact Lie group is presented. The algorithm, which does not rely on an algebraic insight on the group structure, is…

Slattery (2007) described computational methods to enumerate, construct, and identify finite groups of squarefree order. We generalise Slattery's result to the class of finite groups that have cyclic Sylow subgroups and provide an…

Let F be a non-Archimedean locally compact field of residue characteristic p, let D be a finite dimensional central division F-algebra and let R be an algebraically closed field of characteristic different from p. To any irreducible smooth…

The dominant theme of this thesis is the construction of matrix representations of finite solvable groups using a suitable system of generators. For a finite solvable group $G$ of order $N = p_{1}p_{2}\dots p_{n}$, where $p_{i}$'s are…

We construct extensions of the field of rational numbers with the Galois group G_2(F_p) by reducing p-adic representations attached to automorphic representations.

These are expanded lecture notes of a series of expository talks surveying basic aspects of group cohomology and homology. They were written for someone who has had a first course in graduate algebra but no background in cohomology. You…

Using the computer algebra program GAP, we show that all crystallographic groups in dimensions at most 4 are distinguished from each other by their sets of finite quotients.

This article is intended to an introductory lecture in material physics, in which the modern computational group theory and the electronic structure calculation are in collaboration. The effort of mathematicians in field of the group…

Let E be a division ring and G a finite group of automorphisms of E whose elements are distinct modulo inner automorphisms of E. Given a representation \rho: B-> GL(d,E) of an F-algebra B, we give necessary and sufficient conditions for…

We study the finite-dimensional irreducible representations of the nullity 2 centreless core $\mathfrak{g}_{2n,\rho}(\mathbb{C}_q)$ by investigating the structure of the $\mathrm{BC}_n$-graded Lie algebra $\mathfrak{g}_{2n,\rho}(R)$, where…

Data visualization and interaction with large data sets is known to be essential and critical in many businesses today, and the same applies to research and teaching, in this case, when exploring large and complex mathematical objects. GAP…

We develop methods to study $2$-dimensional $2$-adic Galois representations $\rho$ of the absolute Galois group of a number field $K$, unramified outside a known finite set of primes $S$ of $K$, which are presented as Black Box…

For a finite group $G$, the representation dimension is the smallest integer realizable as the degree of a complex faithful representation of $G$. In this article, we compute representation dimension for some $p$-groups, their direct…

Let $G$ be a finite reductive group defined over $\mathbb{F}_q$, with $q$ a power of a prime $p$. Motivated by a problem recently posed by C. Curtis, we first develop an algorithm to express each element of $G$ into a canonical form in…

We studied framed deformations of two dimensional Galois representation of which the residue representation restrict to decomposition groups are scalars, and established a modular lifting theorem for certain cases. We then proved a family…