# Tagged Questions

Questions about the branch of abstract algebra that deals with groups.

75 views

### Number of eigenvalues of a Cayley graph

Let $G=Z_2^n$ and $S\subset G$. Is there any relation for number of distinct eigenvalues of $\Gamma=Cayley(G,S)$ graph depending on $n$ and $|S|$, or at least diameter of $\Gamma$? If you have any ...
41 views

### An efficient algorithm for computing all semigroups of order n [on hold]

I attached two papers which give an algorithm for computing all semigroups of order n=3, and n=5. I understood the first(table 3) and second(table 4) steps of algorithm, but I can't understand the ...
781 views

### A dual version of a theorem of Øystein Ore in group theory

Let $(H \subset G)$ be an inclusion of finite groups. This post is a dual version for the Generalization of a theorem of Øystein Ore in which it's proved: Theorem: $\mathcal{L}(H\subset G)$ ...
81 views

### Rank of a locally free $\mathbb Z[G]$-module

This is a basic question. Let $G$ be a finite group, $M$ a finitely generated $\mathbb Z[G]$-module so that the $\mathbb Z_p[G]$-module $M_p$ is free for all prime numbers $p$, i.e. is locally free. ...
130 views

### Hemi-Semi Direct Product

In the category of racks (similarly quandles), instead of well-known semi direct product, we have hemi-semi direct product construction as seen on Wagemann & Crans. As far as I know, semi direct ...
308 views

### Does $E_8$ know $Spin(7)$?

One way to define the compact group $Spin(7)$ is as the stabilizer of a certain 4-form on Euclidean $\mathbb R^8$ (see e.g. this MO question). This 4-form can be defined in various ways. For ...
184 views

### A question on $p$-central $p$-groups

Let $p$ be a fixed prime. A group $G$ is termed $p$-central if every element of order $p$ in $G$ lies in the center. Having a finite $p$-group $G$ of rank $k$ (the least integer, such that every ...
196 views

### Weil's Haar measure construction from below

Weil's construction of a Haar measure on a locally compact group rests on approximating a function from above by sums of translates of another function. I would need to know something similar for an ...
161 views

### Embedding abelian cancellative Hausdorff topological semigroups into abelian Hausdorff topological groups

An abelian cancellative semigroup embeds (via a semigroup monomorphism) into an abelian group. What about an abelian cancellative Hausdorff topological semigroup that does not embed (via a ...
447 views

### Is this group given presentation isomorphic to $\mathbb{Z}_2$, and why? [migrated]

We have the group $G = \langle a, \,b \; | \; a^2b^2ab^{-1}, \, a^3b^4a^{-2}b^{-3}\rangle$. Obviously $G/G' = \mathbb{Z}_2$. Is it true that $G = \mathbb{Z}_2$ or equivalently that $G'=1$? It is ...
153 views

### A finiteness property for semi-simple algebraic groups

Let $G$ be a semi-simple algebraic group over a field $K$, I am considering a question about whether there exists a finite set of semi-simple $K$-subgroups, say $H_1,...,H_r$, such that for any ...
87 views

### Constructing the largest finite group with a fixed number of conjugacy classes

It is known that there are finitely many finite groups with a given number of conjugacy classes. How can one construct (or get a character table for) the groups $G$ that realize the maximum possible ...
470 views

### A question about (unicity of certain cycles in a Cayley graph of a) symmetric group

Let $S=\{(1,2),(1,2,3,\ldots,n),(1,2,3,\ldots,n)^{-1}=(1,n\ldots,2)\}$ be a subset of the symmetric group $S_n$. We know that $(1,2,\ldots,n)(1,2)=(2,3,\ldots,n)$, and thus ...
60 views

### Is $n+\frac {1}{2}$ in Kendall-Mann numbers and quantum harmonic oscillator related?

It is known that quantum harmonic oscillator is connected to the symmetric group of infinite order which is isomorphic to the permutation group. According to Cayley's theorem any finite group is ...
4k views

### Does $SL_3(R)$ embed in $SL_2(R)$?

Is there any non-trivial ring such that $SL_{3}(R)$ is isomorphic to a subgroup of $SL_{2}(R)$? $SL_{3}(\mathbb{Z})$ is not an amalgam, and has the wrong number of order $2$ elements to be a subgroup ...
413 views

### Character varieties of finitely generated groups

Consider the following situation: $\Gamma_0\leq\Gamma$ are both finitely generated groups and $\Gamma_0$ has finite index in $\Gamma$. The restriction gives a well defined map between the character ...
307 views

### Are homotopy braid groups residually nilpotent?

A group is called residually nilpotent if given any non-identity element, there is a normal subgroup not containing that element, such that the quotient group is nilpotent. It is known that pure braid ...
2k views

### Normalizers in symmetric groups

Question: Let $G$ be a finite group. Is it true that there is a subgroup $U$ inside some symmetric group $S_n$, such that $N(U)/U$ is isomorphic to $G$? Here $N(U)$ is the normalizer of $U$ in $S_n$. ...
127 views

### Are braid groups conjugacy separable?

I would like to re-ask a question that was raised in the comments here: Normal subgroups of braid groups Namely, a group $G$ is called conjugacy separable, if it holds that for every two elements ...
50 views

### Characteristically simple locally compact abelian groups

Say a topological group $G$ is topologically characteristically simple if there does not exist a closed subgroup $1 < K < G$ such that $K$ is invariant under all automorphisms of $G$ (here ...
85 views

### Extension property for unipotent linear groups over rings

This is my first question, so my apologies if it is too simple/poorly motivated. During the course of some recent research I came across a particular variant of the following problem. Let $G$ ...
421 views

### Rational points

Let $G$ be an affine algebraic group defined over a field of characteristic zero $K$. Suppose $G$ has only one single $K$-point, can we conclude that $G$ does not have more points?
74 views

### Finitely presented amenable LERF group which is not virtually solvable

Is there a group $G$ with the following properties? Finitely presented Amenable Not virtually solvable LERF (that is, every finitely generated subgroup is closed in the profinite topology on $G$). ...
198 views

### Finite groups generated by 3 involutions interchanging disjoint residue classes of the integers

Let $r(m)$ denote the residue class $r+m\mathbb{Z}$, where $0 \leq r < m$. Given disjoint residue classes $r_1(m_1)$ and $r_2(m_2)$, let the class transposition $\tau_{r_1(m_1),r_2(m_2)}$ be the ...
611 views

### Regular elements in the torus of a group of Lie type

Let $G$ be a simple linear algebraic group, and $F$ a Frobenius map, i.e. some power of $F$ is the standard Frobenius map which raises matrix entries to the $q$-th power. Then $G^F$ is a group of Lie ...
387 views

### What is this Lie algebra?

Consider two matrices $A,B \in \mathfrak{su}(N)$ which are both diagonal in the standard basis and non-zero. If we consider the new matrix $\tilde{B} := FBF^{\dagger}$ where $F$ is the `quantum' ...
276 views

### Classification of generously transitive groups

A permutation group $G \lt S_n$ is called generously transitive, if for each $i,j$ there exists a permutation that interchanges them. Is there a reasonable classification of such (finite) groups?
266 views

### Lower central series quotients in terms of (co)homology

Let $G$ be a group. It is well-known that $H_1(G,\mathbb{Z})=G/[G,G]$. Also (at least up to torsion) $[G,G]/[G,[G,G]]=\Lambda^2H^1(G,\mathbb{Z})/H_2(G,\mathbb{Z})$ as explained, for example, in this ...
155 views

### Must normalizing field outer automorphisms “divide” the dimension?

Imprecise question: To get a normalizing field outer automorphism of order $r$, must we multiply the dimension by $r$? Precise hypothesis: Let $p\geqslant 5$ be a prime, let $q$ be a power of $p$ and ...
50 views

### Real irreducible representations of O(3) [closed]

I'm trying to generate a set of real irreducible representations of $O(3)$ from Euler angles $\alpha$, $\beta$, $\gamma$ using the y-z-y convention. I've followed the information on the Wikipedia ...
161 views

### Is there a characterization of CI-groups of order less than 100?

We know some benefit criterion in articles such as: C‎. ‎H‎. ‎Li‎, ‎On isomorphisms of finite Cayley graphs-a survey‎, ‎Discrete Math.‎, ‎256 (2002) 301-334‎. C‎. ‎H‎. ‎Li‎, ‎Z‎. ‎P‎. ‎Lu‎, ‎P‎. ...
152 views

### Properties of a special finitely presented groups

Recently, when I was working with Cayley graphs, I faced up with a special group. The original group is as follows: $$G:=<a,b,c|ab=ba,a^{10}=cbc^{-1}>.$$ We can show that this group can be ...
223 views

For $S\subset \mathbb{N}$ define the upper density as $D^{\ast }(S)=\limsup_{n\rightarrow \infty }\frac{\left\vert S\cap \{1,2,\ldots,n\} \right\vert }{% \left\vert n\right\vert }.$ Question: ...
66 views

### Limits of quotient groups in the space of marked groups

In the space of marked groups with $m$ generators, suppose that a sequence $(G_i, S_i)$ converges to $(G, S)$. For any $i$, let $K_i$ be a normal subgroup of $G_i$ and assume that $\bar{S}_i$ is the ...
461 views

### When are unions of isomorphic groups isomorphic?

I was thinking about how to prove $\operatorname{Br}(K)\cong H^2(\operatorname{Gal}(\bar{K}/K),\bar{K}^*)$ without having to introduce inductive limits and all the profinite stuff. So, I started ...
171 views

### Is there a formula for the number of elements in $S_n$ having length $k$ with respect to the generators taken to be the transpositions?

Define the length of a permutation as the minimum number of adjacent transpositions needed to describe it. We know that there is only one element of length $0$ in $S_n$ and $n-1$ elements of length ...
301 views

### Does the category of G-spectra know G?

I was recently in the situation of having access to the category of $G$-modules (for some group $G$ which I had forgotten), as just a category, i.e. no monoidal structure, together with the forgetful ...
87 views

### A finite supersolvable group with generators of prescribed order

Let $G=\langle a,b\rangle$ be a finite supersolvable group. Is there any special information about the structure of $G$ when $o(a)=2$ and $o(b)=2^k > 2$?
452 views

### Transitive permutation groups which all of their proper subgroups are intransitive

Let $G$ be a transitive permutation group on a finite set $\Omega$. It is clear that if $G$ is regular, then every proper subgroup of $G$ is intransitive. Is there any other class of groups with this ...
133 views

### Morita equivalence base equivalence relation for discrete groups

In the context of "discrete groups", is there an equivalence relation that implies the Morita equivalence of their reduced group C*-algebras? We define $G \sim H$ for discrete groups $G$ and $H$, ...
85 views

### What is known about semigroups that are generated by (cyclic) subgroups?

A semigroup $(A,\cdot)$ that is idempotent (i.e. $a^2=a$ for every element $a\in A$) is naturally generated by its subgroups (every element on itself constitutes a trivial group). I would like to know ...
231 views

### What does the unique mean on weakly almost periodic functions look like?

There is a unique invariant mean $m$ on WAP functions on any discrete group (see definitions below, theorem of ?). However, the proofs I found are fairly non-explicit on how to obtain this invariant ...
8k views

### Learning Algebra & Group Theory on my own [closed]

I'm learning Algebra & Group Theory, casually, on my own. Professionally, I'm a computer consultant, with a growing interest in the mathematical and theoretical aspects. I've been amazed with ...
381 views

### Conjugacy classes of $SL_2(Z)$

I was wondering if there is some description known for the conjugacy classes of $\{A\in GL_2(\mathbb{Z})|\;\;|Det(A)|=1\}$ or $SL_2(\mathbb{Z})$. I was not able to find anything about this. Most ...
1k views

### Small-index subgroups of SL(3,Z)

I would like to know the smallest-index subgroups of ${\rm SL}(3,\mathbb{Z})$. The smallest I could find has even entries $a_{3,1}$ and $a_{3,2}$, along the bottom row. I could not figure out ...
124 views

### Torsion-free, normal subgroups of certain Coxeter groups

Let $G$ be the reflection group of a regular, 4-dimensional, hyperbolic honeycomb. I would like to find a family $H_i < G$ of finite-index, torsion-free subgroups of $G$, so that I can represent ...
300 views

### Is the dual of the product of infinite cyclic groups a free abelian group ?

By a theorem of Specker, the group $\mathrm{Hom}(\prod_{\aleph_0} \mathbb{Z},\mathbb{Z})$ is isomorphic to $\bigoplus_{\aleph_0}\mathbb{Z}$ and is in particular a free abelian group. I wonder, if this ...
2k views

### Measures of non-abelian-ness

Let $G$ be a finite non-abelian group of $n$ elements. I would like a measure that intuitively captures the extent to which $G$ is non-commutative. One easy measure is a count of the non-commutative ...
A group $G$ is called a u.p.-group (short for unique product group) if for all nonempty finite subsets $A,B\subseteq G$, there exists an element $g\in A \cdot B$ which can be uniquely written as a ...
### Is $(\mathbb R^d/\mathbb Z^d,+)$, $d>2$, isomorphic to some group of an algebraic surface? [migrated]
It is a well-known fact that for points of a cubic curve over $\mathbb{RP}^2$ we can define a group $(G_{\mathbb{RP}^2},+)$ using Cayley–Bacharach theorem. See Wiki: The group law. Another fact ...