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

learn more… | top users | synonyms (1)

1
vote
0answers
96 views

Finite Cohomology and free groups

Let $F$ be a finitely generated nonabelian free profinite group, $p$ a prime number, $L \lhd_o F$ with $[F : L]$ coprime to $p$, $N \lhd_c^\infty F$ contained in $L$ with $L/N$ pro-$p$, and $N \leq H ...
4
votes
1answer
101 views

A Karrass-Solitar theorem for surface groups

Let $\Gamma_g$ be a surface group of genus $g \geq 2$. That is, there is a presentation $$\Gamma_g = \langle x_1, y_1, \dots, x_g, y_g \vert \prod_{i = 1}^{g}[x_i,y_i] = 1\rangle$$ Is there a ...
0
votes
0answers
85 views

Golod Shafarevich Inequality and Inequalities among higher Cohomology groups

As a consequence of Golod- Shafarevich, we get an inequality between second cohomology group of a $p$-group with coefficients in $F_p$ and the first cohomology group of a $p$-group with coefficients ...
5
votes
1answer
148 views

Bases of surface groups

Let $\Gamma_g$ be a surface group of genus $g \geq 2$. A $2g$-tuple $(x_1,y_1, \dots,x_g,y_g) \in \Gamma_g^{2g}$ will be called a Surface Basis if we have the presentation $$\Gamma_g = \langle x_1, ...
6
votes
0answers
82 views

Periodic group with bound on order of finite subgroups

I have asked the same question previously on stackexchange without any answer (http://math.stackexchange.com/questions/923638/periodic-group-with-bounded-subgroups): I am looking for infinite ...
1
vote
0answers
116 views

Accessible subgroups of free groups

Let $F$ be a nonabelian free finitely generated group, and $F = G_0 \rhd G_1 \rhd G_2 \dots$ a strictly descending subnormal chain of subgroups ($G_n \lhd G_{n-1}$ for each $n \in \mathbb{N}$) each ...
-6
votes
0answers
63 views

A p-Sylow of a group $G$ is characteristic in its normalizer $N_G(S)$? [on hold]

As stated above, the question is to show that a $p$-Sylow of a group $G$ is characteristic in its normalizer $N_G(S)$. I would appreciate it if anyone could tell me where to start.
11
votes
1answer
268 views

Union of conjugates in free groups

Let $F$ be a (finitely generated) free group, $H \leq F$ of infinite index. Is it possible that $$ \bigcup_{g \in F} gHg^{-1} = F?$$
0
votes
0answers
56 views

A normal form theorem for presentations of finite $p$-groups of nilpotency class $2$?

When constructing examples of nonabelian finite $p$-groups with abelian automorphism group (and certain other desired properties), the authors of papers like http://arxiv.org/pdf/1304.1974v1.pdf leave ...
-1
votes
0answers
60 views

Confusion about the projected component in an irreducible space in the tensor product decomposition using Littlewood-Richardson?

The regular representation of the symmetric group can be formulated in terms of an abstract tensor, where the action of the symmetric group elements is by means of permuting the indices. Given an ...
5
votes
0answers
155 views

Distributivity of group topologies on $\Bbb Z$

Let $\mathcal L$ be the set of all group topologies on $\Bbb Z$. It is known that $(\mathcal L,\subseteq)$ is a modular complete lattice. Is $(\mathcal L,\subseteq)$ distributive?
10
votes
2answers
470 views

(co)homology of symmetric groups

Let $S_n=\{\text{bijections }[n]\to[n]\}$ be the n-th symmetric group. Its (co)homology will be understood with trivial action. What are the $\mathbb{Z}$-modules $H_k(S_n;\mathbb{Z})$? Using GAP, we ...
4
votes
1answer
164 views

Ends of Coxeter Groups

It is known after Stallings that a group can have 0, 1, 2 or infinitely many ends. Are there known results on the space of ends of a Coxeter group?
-6
votes
0answers
75 views

A question about groups [closed]

Let G be a finely generated abelian group in which no element(except 0)has finite order. why G if a free abelian group?
11
votes
1answer
518 views

In what sense is the classification of all finite groups “impossible”?

I think there is a general belief that the classification of all finite groups is "impossible". I would like to know if this claim can be made more precise in any way. For instance, if there is a ...
2
votes
2answers
133 views

Quasi-isometry and left invariant orderability for groups

Is the property of left invariant orderability for finitely generated groups preserved by quasi-isometrics? More precisely, if $G$ is a left orderable (finitely generated) group and $H$ is a ...
6
votes
1answer
229 views

An inequality on representations and subgroups of general linear groups over finite field

Let $q$ be a power of $p$, let $l$ be a prime different from $p$, and let $H_1$ and $H_2$ be two subgroups of $GL_n(\mathbb F_q)$ that are $l$-groups. If for all characteristic $0$ representations ...
11
votes
1answer
265 views

What are smallest finite images of triangle groups?

Given integers $a, b, c$ all at least 2, I would like to identify the smallest group with an element $x$ of order $a$, element $y$ of order $b$ such that the product $yx$ has order $c$. For example, ...
7
votes
1answer
197 views

Percentage of elements that can be written as commutators

Let $G$ be a finite perfect group. Are there any results on the number of elements of $G$ which can be written as a commutator? When $G$ is finite non-abelian simple group, then every element can be ...
0
votes
0answers
41 views

Is the projector to irreducible tensor modules of SO(N) known?

To project a generic tensor to an irreducible module of SO(N) one has to (anti)symmetrize the indices and then subtract traces, e.g. for symmetric traceless 2-tensors $$ \frac{1}{2} (\delta_{I_1 J_1} ...
10
votes
2answers
260 views

existence of a finite group which is the union of self normalizing subgroups

Can a finite group G be the union of self normalizing subgroups such that the intersection between any two of these subgroups is equal to the unit of the group G? I don't think so but I can't prove ...
0
votes
0answers
93 views

Soluble group algebras and centralizers

Let $K$ be field with $\mathrm{char}(K) = p > 0$ and $G$ a finite group such that $KG$ is soluble. Then the $p$-Sylow-subgroup of $G$ is normal and contains the derived group of $G$ and every ...
8
votes
2answers
270 views

Sums of degrees of irreducible complex characters

The sum of the degrees of the irreducible complex characters (not the square sum which is the group order) is relevant to determine the dimension of a maximal torus of the Lie algebra associated to ...
5
votes
0answers
136 views

(Connected) Cayley graphs of PSL(2,q) from (2,3,n)-triples

Let $G = PSL(2,q)$. I'm interested in the Cayley graphs of $G$ generated by triples $(A,BAB^{-1},B^{-1}AB)$, where $A, B \in G$ are elements of order $2, 3$ respectively: such a triple generates all ...
10
votes
1answer
251 views

Which finite simple groups can be characterized by their action on a small set?

It is well known that a finite 4-times transitive permutation group is Matthieu, symmetric, or alternating. Another way of stating this is that the set $$ \Omega = \{(x_1, x_2, x_3, x_4), 1\leq ...
1
vote
0answers
46 views

on reductive monoids which are gorenstein

Let $M$ a reductive monoid, i.e. a integral normal affine scheme, which is a monoid whose group of units is a connected reductive group. By Rittatore ...
7
votes
1answer
399 views

Group structure on an arbitrary completely regular topological space that makes $(x,y)\mapsto xy^{-1}$ continuous at $(1,1)$

Let $(G,\mathcal T)$ be a completely regular topological space. Is there a group structure on $G$ such that the function $$f:G\times G\to G$$ $$f(x,y)=xy^{-1}$$ is continuous at $(1,1)$?
7
votes
4answers
611 views

Ore's Conjecture for perfect groups

We know that Ore's Conjecture is a theorem now. Does anyone know a counterexample to Ore's conjecture for perfect groups? I believe there should be one, but I dont have a counterexample. Thanks.
2
votes
1answer
166 views

Quotient of Projective line over rationals with an infinite subgroup of PGL(2,Q)

I am looking for references for the following; how to calculate quotient of the projective line over the field of rationals with an infinite subgroup of PGL(2,Q), e.g, of the form $ \left( ...
2
votes
1answer
145 views

Classification of indecomposable inclusions $(H \subset G)$ with $G$ decomposable

Definition: A group $G$ is indecomposable if: $G = G_1 \times G_2 \Rightarrow \exists i \ G_i = 1$. We can generalize the notion of indecomposable from groups to inclusion of groups as ...
6
votes
2answers
295 views

Do compact groups acting irreducibly have finite subgroups which do the same?

Let $G$ be a closed subgroup of $U(n,{\bf C})$, not necessarily connected. Regard ${\bf C}^n$ as a complex $G$-module $M$. Q. Suppose $M$ is irreducible as a $G$-module (equivalent, I think, to ...
6
votes
1answer
376 views

Generalization of a theorem of Øystein Ore in group theory

Theorem (Øystein Ore, 1938): A finite group $G$ is cyclic iff its lattice of subgroups $\mathcal{L}(G)$ is distributive. Proof: see below. Let $(H \subset G)$ be an inclusion of finite groups and ...
2
votes
0answers
231 views

Prime order elements in $GL(n,\mathbb{Z})$

What is known about the elements of prime order $p$ in $GL(n,\mathbb{Z})$? All I know at this point is that $GL(n,\mathbb{Z})$ has an element of prime order $p$ iff $p-1\leq n$ and that there are only ...
1
vote
2answers
163 views

Cubic Cayley (undirected) graphs

The generators of a cubic Cayley graph always include at least one involution, since 3 is odd. There are then two possibilties for the other two generators: either (A) they are also (distinct) ...
8
votes
0answers
203 views

An angle-doubling trick of Kirillov and Berenstein [closed]

Kirillov and Berenstein, in their article "Groups generated by involutions, Gelfand-Tsetlin patterns and combinatorics of Young tableaux" (available at math.uoregon.edu/~arkadiy/bk1.pdf), present a ...
4
votes
1answer
189 views

When does convolution preserve the `size' of a function?

For a positive function $f$ and positive measures $\mu, \nu$, does $$\mu\ast f\leq \nu\ast f \Rightarrow \|\mu\|\leq \|\nu\|?$$ More details: Let $G$ be a locally compact group, $C(G)$ be the space ...
2
votes
1answer
186 views

Irreducible representation of Heisenberg group with characteristic 2?

As we all know that the irreducible representation for Heisenberg group can be classified easily when the group is over a finite field $\mathbb{F}_q$, where $q=p^n$ and $p$ is a prime greater than ...
5
votes
0answers
62 views

Uniqueness of the direct product decomposition of inclusions of finite groups

This post is a generalization of Uniqueness of the direct product decomposition of finite groups. Here we look inclusions of finite groups $(H \subset G)$ instead of just finite groups. Definition: ...
6
votes
1answer
186 views

When is the profinite completion a pro-$p$ group?

My research area is mainly pro-$p$ groups and profinite groups. However, in the last few year I became also interested in discrete groups. Therefore, it seems to me a natural problem to look for ...
3
votes
1answer
410 views

Existence of finite nonabelian groups satisfying certain identities

Is there a finite nonabelian group satisfying all of the following identities? $$ (x^py^p)^2 = (y^px^p)^2, \quad p = 2,3,5,7,11,\ldots (\text{primes}) $$ I thank you all in advance.
8
votes
1answer
209 views

Second homology of mapping class group of genus 3

In a survey paper of Korkmaz it is stated that $H_2(\mathrm{Mod}_3)$ is either $\Bbb Z$ or $\Bbb Z \oplus \Bbb Z_2$, but I was not able to find out a precise computation of this group (resolving the ...
4
votes
1answer
165 views

Are infinite groups “locally topologizable”?

Does every infinite group admit a Hausdorff topology such that the multiplication and inverse are continuous at $1$ but $1$ is not an isolated point? The question is inspired by and related to ...
10
votes
1answer
155 views

Torsion-free group that is not of type F but is virtually of type F

Recall that a group $G$ is of type F if there exists a compact $K(G,1)$. There are many examples of groups which are not of type F but which are virtually of type F, that is, they have finite-index ...
1
vote
1answer
92 views

Semidirect products with braid groups and type $F_\infty$

Let $F$ be a group which is strongly type $F_\infty$ in the sense that every subgroup is of type $F_\infty$. Here, type $F_\infty$ means that the group admits a classifying space with compact skeleta. ...
1
vote
0answers
112 views

Reference on calculation of 2nd cohomology group

Let $G$ be a finitely generated, infinite, countable discrete nonamenable group with zero first Betti number, I.e., $H^1(G, \ell^2(G))=0$, e.g., $G=F_2\times F_2$, the product of free groups of two ...
5
votes
3answers
373 views

Characterising the adjoint representation of SU(N)

One can show that the adjoint representation of $\mathrm{SU}(n)$, the image of the map $\mathrm{Ad}:\mathrm{SU}(n) \rightarrow \mathrm{Aut}(\mathrm{su(n)})\subset \mathrm{GL}(\mathrm{su}(n))$, is an ...
2
votes
0answers
92 views

Finitely generated groups non-embeddable into $L_1(0,1)$

I am interested in finitely generated groups which, endowed with their word metrics, do not admit bilipschitz embeddings into $L_1(0,1)$. I know two classes of such groups: (1) Heisenberg group ...
4
votes
1answer
96 views

Stabiliser of the lamination of a free group - Invariant subgraphs

I am studying the paper "Laminations, trees, and irreducible automorphisms of free groups" of Bestvina, Feighn and Handel. But I found a note in the paper "Stabilisers of $\mathbb{R}$-trees with ...
10
votes
1answer
192 views

Embeddings of finitely generated groups into uniformly convex Banach spaces

de Cornulier, Tessera, and Valette (Geom. Funct. Anal. 17 (2007), 770-792) conjectured that a finitely generated group $G$ with its word metric admits a bilipschitz embedding into a Hilbert space if ...
0
votes
1answer
113 views

Questions on invariant operators of finite group representations

1) Is there an equivalent of the Casimir operator for an irreducible representation of a finite group? 2) Given an invariant operator of a certain group, can I check if it is invariant under only ...