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

learn more… | top users | synonyms (1)

0
votes
2answers
181 views

Projective characters with corresponding factor set

The following is just a follow up to my previous question. I have a finite group $H$ with 14 ordinary characters. The Schur multiplier $M(H)\cong 2^2$. Hence the group $H$ will have 3 sets of ...
4
votes
0answers
138 views

Is there a notion of “tame” representations of $GL_n(Z)$?

This is a followup to this question about the (left) noetherianity of the group ring of $GL_n(\mathbf{Z})$: Does GL_n(Z) have a noetherian group ring? Given that $\mathbf{Z}[GL_n(\mathbf{Z})]$ is ...
14
votes
1answer
493 views

Does GL_n(Z) have a noetherian group ring?

Has the (left, right, 2-sided) noetherian property of the integral group ring of arithmetic groups like $GL_n(Z)$ been considered in the literature? Motivation: a recent trend has been to study ...
10
votes
0answers
240 views

Generating random finite groups

I would like a method to efficiently generate a random finite group of a given order $n$. If there are $g(n)$ non-isomorphic groups of order $n$, ideally each group would occur with probability ...
48
votes
3answers
2k views

How do I verify the Coq proof of Feit-Thompson?

I probably don't have the appropriate background to even ask this question. I know next to nothing about formal or computer-aided proof, and very little even about group theory. And this question is ...
6
votes
2answers
313 views

Sylow 3-subgroups of symmetric group

Is there any routine technique to find a set of permutations which generate a Sylow $3$-subgroup of the symmetric group $S_{n}$?
3
votes
2answers
126 views

All Integers from the Smallest Digit Stream with a Window Filter

Let's represent integers with D digits where each digit has B values (i.e., the base is B and we effectively work only with integers between 1 and B^D). Is it possible to choose a single ...
4
votes
2answers
536 views

Decomposing representations of finite groups

Let $G$ be a finite group, $p$ a prime number. We denote by $\mathbb{F}_p$ the field of cardinality $p$. Let $V$ be an infinite dimensional representation of $G$ over $\mathbb{F}_p$. Must there be ...
7
votes
1answer
388 views

Is there a precise notion of “almost all” such that almost all finite groups are Galois groups of extensions of the rationals?

I vainly tried to define a notion of "almost solvable group" such that every "almost solvable group" is the Galois group of a finite extension of the rationals, but I can't figure out the right way to ...
4
votes
1answer
164 views

Maximum length of chains of subgroup in GL(n,q)

Let G=GL(n,q) be a general linear group n-dimensional over a field with q element (q power of a prime). I am looking for an estimate of maximum length of chains of subgroup in G. Thanks.
2
votes
0answers
84 views

Coprime automorphisms of finitely generated pro-$p$ groups

Let $P$ be a finitely generated pro-$p$ group and let $G$ be a semidirect product $P \rtimes A$, where $A$ is a finite group of order coprime to $p$ that acts faithfully on $P$. Then one can show ...
2
votes
1answer
320 views

Groups like symmetric group

For sufficiently large n consider this question Let $G$ be a finite group with the following properties: $|G|=n!$ $H,K$ are subgroups of $G$ such that $H\cap K=1$ and $H\cong S_{3}$ and $K\cong ...
5
votes
2answers
626 views

An application of Maschke's theorem

I've been teaching some elementary representation theory to undergraduates, and want to provide applications of Maschke's theorem to complex group algebras to present in class. In particular, I'd like ...
2
votes
0answers
78 views

Free profinite completions

Let $m,n \in \mathbb{N}$. Which residually finite groups $G$ generated by $m$ elements, have the free profinite group on $n$ generators as their profinite completion?
3
votes
0answers
92 views

Automorphisms of profinite groups

Let $d,n \in \mathbb{N}$, and $p$ a prime number. Let $F$ be a free pro-$p$ group on $d$ generators. Is there an automorphism of $F$ of order $n$?
1
vote
1answer
111 views

generality of the lattice of normal subgroups

Let $(X,\le)$ a (finite) modular lattice. Is there a (finite) group $G$ such that the lattice of all normal subgroups of $G$ is isomorphic to $(X,\le)$?
5
votes
1answer
183 views

Is any finitely generated nilpotent pro-$p$ group necessarily the pro-$p$ completion of some finitely generated nilpotent group?

While thinking about this question, I was led to the following question: My question: Let $G$ be a topologically finitely generated pro-$p$ nilpotent group. Does there exist a finitely generated ...
2
votes
3answers
137 views

Modular group modulo $N$

Let $N\geq2$ be a positive integer. Is the canonical homomorphism $\pi$ from $SL_2(\mathbb{Z})$ to $SL_2(\mathbb{Z}/N\mathbb{Z})$ surjective? What if we ask the same question for $SL_n$?
5
votes
0answers
73 views

Explicit descriptions of self-replicating pro-$p$ groups

A group $G$ is called self-replicating, if there exists a finite index subgroup $H$, such that $H\cong G\times\dots\times G$. Maybe the most famous example of a self-replicating group is a subgroup ...
4
votes
1answer
274 views

Which finite groups can be characterized by their subgroup orders?

Given a finite group $G$, we denote by $\pi_s(G)$ the set of orders of its subgroups. Which finite groups $G$ can be characterized by the set $\pi_s(G)$, i.e. $\pi_s(H)=\pi_s(G)$ implies $H\cong G$? ...
1
vote
1answer
127 views

Groups in which lower central series and upper central series coincide

Let $G$ a finite two-generated $p$-group in which lower and upper central series coincide. Clearly we obtain that the upper central series become strongly central, we have also that at least half of ...
5
votes
1answer
202 views

A nilpotent quotient of free groups

Let $F$ denote the free group on $n$ generators $g_1,\ldots, g_n$. Consider its quotient $Q$ by the universal relation $[x,[x,y]]$ (a "Serre relation" familiar from Lie theory). This group is ...
4
votes
3answers
202 views

Results about the existence of solutions in groups

Let $G$ be a group. Consider an arbitrary equation given by $w(\vec{g})=e$, where $w: G^n \to G$ takes an $n$-tuple $(g_1,...,g_n)$ to some expression involving products of the $g_i$, their inverses ...
1
vote
0answers
88 views

Triangle groups [closed]

I am having a hard time finding references (apart from wikipedia) for the geometric interpretation of triangle groups $T_{a,b,c} = \langle x,y \mid |x|=a, |y|=b, |xy|=c \rangle$. How can these groups ...
4
votes
3answers
520 views

Action of a profinite group

Let $G$ be a finitely generated profinite group, $p$ a prime number. Put $$ V = \prod_{i \in I} \mathbb{Z}_p$$ a (profinite) group equipped with the product topology (for convenience, $I$ may be ...
1
vote
1answer
66 views

Dropping rank of IA automorphisms

Is there a natural way to map a given IA automorphism $\alpha\in Aut(F(X_n))$ to $Aut(F(X_{n-1}))$? Think about braids. A pure braid on $n$ strands can be naturally mapped to a braid on $n-1$ strands ...
4
votes
1answer
156 views

Property of IA automorphisms of free groups

For $n \in\mathbb{N}$ define: $X_n=\{x_1,\ldots,x_n\}$, $F(X_n)$ the free group on $X_n$, $\varphi:F(X_n)\to F(X_{n-1})$ an epimorphism defined by $x_i\stackrel{\varphi}{\mapsto} x_i$ for $1\le ...
6
votes
2answers
261 views

Subgroups from which all class functions extend to class functions on the ambient group

Until someone suggests better terminology, let me call a subgroup H of a finite group G segregated if every class function on H can be extended to a class function on G. Equivalently, H should have ...
23
votes
1answer
614 views

Properties to have matrices that commute in $\mathrm{GL}_n(\mathbb C)$

Let $G$ be a finite subgroup of $\mathrm{GL}_n(\mathbb C)$, $A,B \in G$ whose eigenvalues are thus in the unit circle. Assume that the eigenvalues ​​of $A$ are included in a circle arc of ...
3
votes
2answers
237 views

Bound for the Frattini subgroup of a $p$-group

Assume that $G$ is a finite $p$-group, $p$ odd, with a non-trivial elementary abelian Frattini subgroup. Then both $\Phi(G)$ and $G/ \Phi(G)$ are vector spaces over $\mathbb{F}_p$. Is it possible to ...
11
votes
2answers
360 views

Subgroups of $SL_3(\mathbb{Z})$ that are finitely generated, Zariski-dense, infinite index, and torsion-free

My question stems from Misha's answer of a MathOverflow question. Misha supplied the following question in his answer: Open question: Does there exist a finitely generated Zariski-dense ...
4
votes
4answers
394 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
2answers
227 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 ...
1
vote
0answers
79 views

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

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
143 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 ...
4
votes
1answer
247 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 ...
3
votes
0answers
96 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, ...
17
votes
1answer
978 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 ...
11
votes
2answers
257 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 ...
3
votes
1answer
66 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
2answers
244 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 ...
4
votes
2answers
244 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 ...
10
votes
0answers
228 views

$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, ...
1
vote
1answer
120 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 ...
4
votes
0answers
136 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 ...
0
votes
1answer
60 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
220 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 ...
4
votes
2answers
156 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 < ...
7
votes
4answers
532 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) ...
3
votes
0answers
119 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 ...