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

**0**

votes

**1**answer

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 ...

**0**

votes

**0**answers

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 ...

**8**

votes

**1**answer

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)$ ...

**0**

votes

**0**answers

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.
...

**5**

votes

**0**answers

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 ...

**18**

votes

**0**answers

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 ...

**3**

votes

**1**answer

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 ...

**4**

votes

**1**answer

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 ...

**8**

votes

**1**answer

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 ...

**2**

votes

**0**answers

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 ...

**4**

votes

**1**answer

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 ...

**6**

votes

**0**answers

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 ...

**5**

votes

**2**answers

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 ...

**0**

votes

**0**answers

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 ...

**42**

votes

**7**answers

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 ...

**9**

votes

**1**answer

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 ...

**4**

votes

**2**answers

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 ...

**42**

votes

**0**answers

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$.
...

**3**

votes

**1**answer

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 ...

**3**

votes

**0**answers

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 ...

**3**

votes

**1**answer

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$ ...

**1**

vote

**1**answer

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?

**4**

votes

**0**answers

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$).
...

**4**

votes

**0**answers

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 ...

**11**

votes

**3**answers

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 ...

**6**

votes

**1**answer

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' ...

**5**

votes

**2**answers

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?

**9**

votes

**2**answers

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 ...

**3**

votes

**1**answer

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 ...

**0**

votes

**0**answers

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 ...

**3**

votes

**1**answer

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. ...

**3**

votes

**1**answer

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 ...

**9**

votes

**1**answer

223 views

### About positive upper density

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: ...

**3**

votes

**0**answers

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 ...

**7**

votes

**1**answer

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 ...

**2**

votes

**1**answer

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 ...

**13**

votes

**0**answers

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 ...

**3**

votes

**0**answers

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$?

**5**

votes

**6**answers

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 ...

**6**

votes

**1**answer

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$, ...

**3**

votes

**1**answer

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 ...

**7**

votes

**1**answer

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 ...

**8**

votes

**10**answers

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 ...

**17**

votes

**3**answers

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 ...

**18**

votes

**3**answers

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 ...

**3**

votes

**1**answer

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 ...

**7**

votes

**1**answer

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 ...

**26**

votes

**6**answers

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 ...

**2**

votes

**0**answers

159 views

### Unique product groups (and semigroups)

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 ...

**-1**

votes

**0**answers

94 views

### 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 ...