Regarding to the problems Does $A^{-1}A=G$ imply that $AA^{-1}=G$? and Is it true that if $|A|>\frac{|G|}{2}$ then $A^{-1}A=AA^{-1}=G$?, we are looking for some subsets $A$ of $G$ with $\lfloor \frac{|G|}{2}\rfloor-2 \leq |A|\leq \lfloor \frac{|G|}{2}\rfloor$ such that $A^{-1}A=G$ and $AA^{-1}\neq G$ or $AA^{-1}=G$ and $A^{-1}A\neq G$. Do such $G$ (non-abelian) and $A$ exist? We propose the […]

Is there any graphical interface in GAP? Something like RStudio for R or WxMaxima for Maxima. I’m using GAP under a Linux system. Thanks

I need to construct the following ring in GAP: $$Z_4(u) / \langle u^2-2u=0 \rangle. $$ This is what I tried and it didn’t work: gap> R:=PolynomialRing(Integers mod 4,”u”);AssignGeneratorVariables(R); <monoid>[u] #I Global variable `u’ is already defined and will be overwritten #I Assigned the global variables [ u ] gap> I:=Ideal(R,[u^2-2*u]); <two-sided ideal in <monoid>[u], (1 […]

This is a question in the mathematical software called GAP: What is the command for displaying all the generators of a given group? I have been searching around but yet not found anything helpful, so I am hoping I will get a quick response here.

Let $K$ be the group generated by four elements $x_1,\cdots,x_4$ with relations that each generator commutes with all its conjugates. (An equivalent relation is, any simple commutator with repeated generator is trivial; for example, $[[x_2,[x_1,x_3]],x_3]=1$.) It can be proved that $K$ is finitely presented. Let $A$ be the subgroup of $K$ generated by the following […]

I have the following question(s): I have an “Algebra-With-One” $R$ as a subalgebra of a full matrix algebra in GAP. Furthermore, I have 5 primitive orthogonal idempotents $e_1,…,e_5$, which sum up to $1_R$ (the identity matrix). I would like to compute the projective indecomposable modules $P_1=e_1R,…,P_5=e_5R$ with GAP (or another computer programm (e.g. SAGE) which […]

Does anyone have a program written in Mathematica (or SAGE or GAP) that computes the invariant subspace lattice of a matrix group?

The function IrreducibleRepresentations on GAP gives non-necessarily unitary representations, for example: gap> R:=IrreducibleRepresentations(SymmetricGroup(5));; gap> m:=(2,3)^R[5];; gap> Display(m); [ [ 1, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1 ], [ -1, -1, 0, -1, 0 ], [ 0, 0, 1, 0, 0 ] ] A […]

Let $K$ be the group generated by four elements $x_1,\cdots,x_4$ with relations that any simple commutator with repeated generator is trivial; for example, $[[x_2,[x_1,x_3]],x_3]=1$. As I have asked here, I am trying to use GAP to do some calculation with $K$. Now one problem is that there are too many relations. For example, all following […]

A transitive permutation group $G \subset S_n$ is primitive if $G_1 \subset G$ is a maximal subgroup. A finite group $G$ is linearly primitive if it has a faithful complex irreducible representation. Question: Are the primitive finite groups linearly primitive? Remark: I’ve checked by a GAP computation that it’s true for $n=[G:G_1] \le 200$ and […]

Intereting Posts

Zeroes of a holomorphic function
Finding a combinatorial argument for an interesting identity: $\sum_k \binom nk \binom{m+k}n = \sum_i \binom ni \binom mi 2^i$
Problem on Linear Diophantine Equation over 3 variables
A “Cantor-Schroder-Bernstein” theorem for partially-ordered-sets
Calculate $\ln(2)$ using Riemann sum.
$C^*$-algebra which is also a Hilbert space?
Almost complex manifolds are orientable
QR factorization of a special structured matrix
Reflexive but not separable space
Proving that $\mathbb{Z}$ is a Euclidean domain
A question regarding power series expansion of an entire function
Fourier transform of the Cantor function
Calculating Centre of area using a method I found but it gives me only approximate answers
Cross product of two vectors, given magnitudes and angle
Finding XOR of all even numbers from n to m