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

learn more… | top users | synonyms (1)

2
votes
3answers
154 views

Variations to Cayley's Embedding Theorem for Groups

Early in a course in Algebra the result that every group can be embedded as a subgroup of a symmetric group is introduced. One can further work on it to embed it as a subgroup of a suitable (higher ...
4
votes
1answer
174 views

Normal Subgroup Growth

Let $F$ be a free group on $d$ generators. Denote by $F_{k}$ the $k$-th term in $F$'s derived series. Put $G = F/F_k$. What is the normal subgroup growth of $G$? Explicitly, for each natural number ...
2
votes
1answer
72 views

Embedding a linearly ordered free monoid into a linearly ordered group

A linearly ordered (shortly, l.o.) monoid is a triple $\mathbb M = (M, \cdot, \le)$ for which $(M, \cdot)$ is a (multiplicatively written) monoid and $\le$ is a total order on $M$ such that $xy < ...
4
votes
2answers
132 views

Can finitely generated subgroups of limit groups be detected in free group quotients?

In Henry Wilton's excellent paper "Hall's Theorem for limit groups" (Geom. Funct. Anal. 18, pp. 271–303, 2008 ) he proves the following result (see his paper or here and here for the relevant ...
9
votes
0answers
132 views
+100

$2$-group with two isomorphic normal subgroups of index $4$ with non-isomorphic quotients

Hypothesis: Let $P$ be a finite $2$-group with two isomorphic normal subgroups $M$ and $N$ such that $P/M\cong C_4$ (the cyclic group of order $4$) while $P/N\cong C_2^2$. By the lattice theorem, ...
13
votes
2answers
564 views

How to prove that every polynomial in an infinite family is irreducible over Q?

Consider the bivariate polynomial $$p(X,Y) = X^5 - (2 Y + 1) X^3 - (Y^2 + 2) X^2 + Y (Y-1) X + Y^3.$$ For every integer $y \ge 4$, I conjecture that $p(X,y)$ is irreducible in $\mathbb{Q}[X]$. How can ...
7
votes
4answers
447 views

Conjugation Quandles and… “Quandle-Groups”? From quandles to Groups

This question is already asked MathSE A quandle $(Q,*,/ )$ is a idempotent right-distributive and right invertible structure. 1) $a*a=a$ 2) $(a*b)*c=(a*c)*(b*c)$ 3) $(a*b) ...
2
votes
0answers
58 views

$p$-groups with $\Omega_1(G)\leq\Phi(G)$

Let $G$ be a finite $p$-group with $\Omega_1(G)\leq\Phi(G)$. What do we have information about this group?
1
vote
1answer
118 views

What are finite groups $H$ such that $H^n(H,\mathbb{Q/Z}) \cong H_n(G,\mathbb{Z})$?

Let $G$ be a finite group and $G^{\prime}$ be its commutator subgroup. Let $\mathbb{Z}$ and $\mathbb{Q}$ denote the integers and rationals. $\mathbb{Z}$ and $\mathbb{Q/Z}$ treated as trivial ...
6
votes
2answers
374 views

Translation length functions of non-simplicial trees

Let $G$ be a finitely generated group. By a theorem of Culler and Morgan, the set of non-abelian (not necessarily simplicial) minimal $\mathbb{R}$-trees with isometric $G$-action injects into the ...
14
votes
2answers
938 views

What is a Gaussian measure?

Let $X$ be a topological affine space. A Gaussian measure on $X$ is characterized by the property that its finite-dimensional projections are multivariate Gaussian distributions. Is there a direct ...
0
votes
0answers
47 views

Cancellations in products of two elements of a hyperbolic group

Let $G$ be a non-abelian free group with the standard generating set and the corresponding word metric. If we take two elements $g,h\in G$ and compute their product $gh$, some letters might cancel, ...
10
votes
2answers
202 views

Algorithms in hyperbolic groups

I'm stuck in some algorithms in hyperbolic groups, which may be rather simple. Let $G$ be a hyperbolic group given by a finite presentation. It is known that the hyperbolicity constant $\delta$ can ...
9
votes
3answers
427 views

measure with given push-forwards

Let $X,Y$ be locally compact spaces (in my specific case, they are locally compact groups). Suppose that we are given a measure $\mu$ on $X$ and a finite number of quotient maps ...
-1
votes
0answers
52 views

On the schur Multiplier of a group [on hold]

Let $G$ be a finite simple group and its Schur multiplier is 2. Is it true that if ${M\over K}\cong G$ and $|K|=2$, then $M\cong {\Bbb Z}_2\times G$ or $M\cong 2.G$, according to the symbols in the ...
2
votes
0answers
90 views

Inn characteristic in Aut [migrated]

If $G$ is a centerless group then is $\mathrm{Inn}(G)$ necessarily characteristic in $\mathrm{Aut}(G)$? The condition of being centerless is necessary as $D_8$ provides a counterexample otherwise.
4
votes
2answers
227 views

Simple groups and words

Let S be a finite simple nonabelian group, w a word in a finite number of variables which is not a power of another word. Must there be a substitution of elements of S in w such that the resulting ...
1
vote
1answer
71 views

Relations between Arboreal Group Theory and Tree Group Actions?

By a tree group action, we mean an action of a group $G$ over the infinite regular binary tree $T_2$ such that for each $g \in G$, the mapping $x \rightarrow g.x$ is an automorphism of $T_2$; these ...
3
votes
1answer
60 views

H S class operator and its equality

$A \in S(K)$ iff $A$ is a subalgebra of some member of $K$ $A \in H(K)$ iff $A$ is a homomorphic image of some member of $K$ It is trivial to see the containment $SH \leq HS$. Taking a simple ...
4
votes
0answers
88 views

The Alexander-Conway polynomial: from knots to braids?

The Alexander-Conway polynomial was the first knot invariant to be discovered, as far back as 1923 according to this link. Given that knots can be expressed in terms of quasi-toric braid closures, it ...
3
votes
2answers
180 views

Schreier's index formula

A finitely generated group G is said to satisfy Schreier's index formula if for every subgroup H of index k in G we have: d(H) - 1 = k(d(G) - 1). For example, a finitely generated free group satisfies ...
0
votes
1answer
49 views

Isometry group of an integer as of the corresponding $\Omega(n)$-parallelotope

Let $\prod_{i}p_{i}^{a_{i}}$ be the prime factorization of a positive integer $n$ and let's consider the $\Omega(n)$-parallelotope built with, for all $i\in I$, $a_{i}$ pairwise orthogonal vectors of ...
9
votes
0answers
172 views

Non split extension isomorphic (as a group) to a split extension

$\def\Z{\mathbb{Z}}$ Let $A$ be a finite abelian group and $G$ a finite group acting on $A$. Then the extension $0 \to A \to E \to G \to 1$ is splits if and only if the corresponding $2$-cocycle is ...
1
vote
1answer
151 views

List of Conjugacy Classes of the General Linear group over $\mathbb{Z}/p^2\mathbb{Z}$

Does anybody know the answer to this or a good way to go about working this out? I have a list for $GL_2(Z/pZ)$ and I am trying to lift it to this; I have mostly been using fairly elementary algebraic ...
3
votes
0answers
108 views

automorphism of finitly generated group

Let G be a finitely generated group , then can we say that the group of automorphisms of G is also finitely generated .If yes what is the relation between the number of generators.If not under what ...
5
votes
0answers
190 views

Characters and conjugacy classes [migrated]

This comes up in reading David Speyer's answer to this question. Given a finite group $G$ and two non-conjugate elements $x, y,$ how does one construct a unitary representation $\rho$ of $G$ such that ...
0
votes
0answers
123 views

Standard satisfiability for sentences in the language of ordered Abelian groups! [closed]

Consider $\mathcal{L}$ as the language of ordered Abelian groups. Let $\varphi$ be an $\mathcal{L}$-sentence in first-order logic. (According to comments I modify the question. The original one is ...
0
votes
0answers
71 views

Two $p$-groups whose automorphism groups have isomorphic Sylow $p$-subgroups

Fix a prime $p$, and let $M$ be the unique nonabelian group of order $p^3$ and exponent $p$. Let us denote by $E_n$ the elementary abelian group of rank $n$. Is it true that $\operatorname{Aut}(M ...
0
votes
0answers
83 views

Free Groups and Automatic Structures [migrated]

I would like to know How can we prove that free groups are automatics? and is it possible to determine the number of states that would have a shortlext automatic structure (Word Acceptor and ...
3
votes
1answer
374 views

On a metric associated to certain finite groups

Let $G$ be a finite group. Define $d:G\times G\longrightarrow\mathbb{N}$ by $d(x,y)=o(xy^{-1})-1, \forall\, x,y\in G$. Then $d$ is a metric on $G$ if and only if $$(*)\hspace{5mm}o(ab)<o(a)+o(b), ...
3
votes
0answers
52 views

Double coset relation for unique intermediate subgroup (with homogeneity)

Let $G$ be a group and $H$ a subgroup such that there is a unique (non-trivial) intermediate subgroup $K$ (i.e. $H < S < G$ implies $S=K$) and $(H \subset K) \sim (K \subset G)$ (homogeneity) ...
11
votes
1answer
398 views

Are There Always Group Generators Which Give Unimodal Growth?

Suppose $G$ is a $k$-generated finite group. Is there always a set of $k$ elements which generate the group and have a unimodal counting function? Background: The counting function, $f(n)$, is a ...
16
votes
1answer
908 views

Order of products of elements in symmetric groups

Let $n \in \mathbb{N}$. Is it true that for any $a, b, c \in \mathbb{N}$ satisfying $1 < a, b, c \leq n-2$ the symmetric group ${\rm S}_n$ has elements of order $a$ and $b$ whose product has order ...
1
vote
2answers
200 views

Lattices in general totally disconnected locally compact groups

Besides automorphism groups of trees and buildings, I was wondering if the lattices in general totally disconnected locally compact groups have been studied in the literature? I appreciate if you ...
1
vote
1answer
65 views

Control of $p$-extensions by subgroups of index coprime to $p$

Let $G$ be a finite group and let $M$ be a $G$-module that is a finite abelian $p$-group. Suppose we have extensions $1 \rightarrow M \rightarrow E_1 \rightarrow G \rightarrow 1$ and $1 ...
1
vote
0answers
41 views

On generating Euler Square of index q, q-1 (where q is any prime power)

Can somebody help me in generating Euler Square of index q, q-1 (where q is any prime power). Also, kidly tell me if there is any code availeble for generating the stated Euler Square. The details of ...
1
vote
0answers
156 views

Do the automorphism groups of $F_2$ and $G$ act transitively on the surjections from $F_2$ to $G$?

Let $G$ be a finite nonabelian group. Let $F_2$ be the free group with generators $x,y$, then we know its outer automorphism group is isomorphic to $\text{GL}_2(\mathbb{Z}$). Let $\text{Aut}^+(F_2)$ ...
12
votes
5answers
1k views

A general formula for the number of conjugacy classes of $\mathbb{S}_n \times \mathbb{S}_n$ acted on by $ \mathbb{S}_n$

$\def\S{\mathbb{S}}$ Dear all, So I have $\S_n$ acting on $\S_n \times \S_n$ via conjugacy. That is: for $g \in \S_n, (x,y) \in \S_n \times \S_n$: $g(x,y) = (gxg^{-1},gyg^{-1}).$ Is there a general ...
1
vote
1answer
235 views

Odd subgroup of $\mathrm{GL}(n,\mathbb{Z})$

The group $\mathrm{GL}(n,\mathbb{Z})$ acts on $(\mathbb{Z}/2\mathbb{Z})^n$ by right multiplication (the same kind of things can be done with left action). I denote by $H\subset ...
4
votes
2answers
102 views

Reduction of different RG lattices to kG modules

Every book on modular representation theory of finite groups introduces p-modular systems and describes how to reduce an ordinary representation $U$ to obtain one in characteristic p (call it ...
-2
votes
0answers
93 views

Given a set of generators of a group G, is there a method to find a presentation for G using those generators? [migrated]

Suppose I have a group $G$, which I know is finitely presentable and infinite. (In particular, I have a presentation for it, though not the one I want). Suppose I have a small list of generators ...
2
votes
0answers
211 views

Are the homogeneous single chain subfactors, Dedekind?

Background: See here and there. Recall that a subfactor is Dedekind if all its intermediate subfactors are normal. A subfactor $(N \subset M)$ is Homogeneous Single Chain (HSC) if its lattice ...
4
votes
2answers
215 views

Root system automorphisms as inner automorphisms of extended Chevalley group

For each automorphism $\sigma$ of a root system $\Phi$ there is a unique automorphism of the Chevalley group $G(\Phi,R)$ such that $\sigma(x_\alpha(t))=x_{\sigma\alpha}(t')$. While conjugating by ...
0
votes
0answers
97 views

Orbits of stabilizer of two points in a 2-transitive permutation group

I was doing something which needs to know sizes of all orbits of the stabilizer of two points in a 2-transitive permutation group. Since all 2-transitive permutation groups are known ans so are their ...
0
votes
0answers
133 views

Induced graphs of cayley graph

I have a Cayley graph $Cay(G,S)$, its group presentation $G=< S | R >$ and it is a metric graph by assigning a length equal to 1 to each edge. I also have an induced subgraph of that Cayley ...
9
votes
1answer
219 views

Multiply transitive groups, continued

This is related to this question. It is well-known that $S_n$ and $A_n$ are the only six transitive permutation groups, and it is likewise well-known that the proof of this requires the classification ...
2
votes
1answer
206 views

The category of subfactors extending the category of groups?

This post was inspired by this answer of Dave Penneys. In the category of (irreducible hyperfinite II$_1$) subfactors, the morphisms of $(N \subset M)$ to $(N' \subset M')$ are usually defined as ...
7
votes
2answers
519 views

What groups have a second maximal subgroup below exactly four maximal subgroups?

I am looking for a finite group $G$ with the following property: there is a (core-free) subgroup $H < G$ such that the interval $\{ K : H < K < G\}$ in Sub[$G$] contains exactly four maximal ...
13
votes
1answer
609 views

Numbers of distinct products obtained by permuting the factors

Let $n \in \mathbb{N}$. Is it true that for every $k \in \{1, \dots, n!\}$ there are some group $G$ and pairwise distinct elements $g_1, \dots, g_n \in G$ such that the set $\{g_{\sigma(1)} \cdot \ ...
2
votes
0answers
91 views

An equivariant Hahn Embedding Theorem?

The Hahn Embedding Theorem asserts that for any (linearly) ordered abelian group $\Lambda$, there exists a linearly ordered indexing set $\Omega$ such that $\Lambda$ admits an order-preserving group ...