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

learn more… | top users | synonyms (1)

1
vote
0answers
37 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 ...
5
votes
0answers
205 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)$?
6
votes
3answers
400 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.
-4
votes
0answers
79 views

Free groups and varietal product [on hold]

I will be so thankful if some one help me. My knowledge in free group is not deep. Suppose $S$ is the variety of p-groups of class at most 2 and exponent p. Question one) For any $n$, is there a ...
2
votes
1answer
138 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
103 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
280 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
327 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
206 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
152 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
191 views

An angle-doubling trick of Kirillov and Berenstein [on hold]

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
184 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
182 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 ...
6
votes
1answer
175 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
398 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
199 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 ...
3
votes
1answer
160 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
149 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
0answers
73 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
101 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
362 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
82 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
90 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 ...
9
votes
1answer
177 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
105 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 ...
6
votes
0answers
100 views

Homology groups of Noetherian groups

Let $G$ be a Noetherian group. Is $H_n(G,\mathbb{Z})$ finitely generated? Do we know the above for the special cases $n=2,3$ even?
1
vote
0answers
181 views

Kaplansky Idempotent conjecture and Extension theory

We consider the Idempotent Kaplansky conjecture with $\mathbb{C}$- coefficients, that is the problem of nontrivial idempotents for group algebra $\mathbb{C}\Gamma$ where $\Gamma$ is a torsion free ...
2
votes
1answer
77 views

What is the minimal girth of a cayley graph for Alt(n) in which the girth relator is not a proper power?

First, a definition: a girth relator for a Cayley graph is a word that you get by reading the edge labels along a shortest loop. The girth relator is not usually unique, though it is often unique up ...
1
vote
0answers
81 views

Symmetric spaces which are compact modulo the unipotent radical are compact

Is the following true? Let $X = G/H$ be a symmetric space of a reductive group over a p-adic field $F$. Let $X^0$ be an open orbit w.r.t. the action of the minimal parabolic $B$ of $G$. Let $U$ be ...
5
votes
1answer
216 views

Kernel of the character of congruence groups

Let $\Gamma$ be a congruence subgroup of $SL_2(\mathbb Z)$ and $\chi:\Gamma \to \mathbb{C}^*$ a character of $\Gamma$ with finite image. Is then $\ker(\chi)$ also a congruence group? If not, can ...
6
votes
2answers
174 views

Asymptotic density of finite abelian and solvable groups

For every natural number n, let: Gn be the number of distinct group structures with at most n elements; An be the number of distinct abelian group structures wit at most n elements; Sn be the number ...
1
vote
0answers
166 views

What's the ratio of inclusions of finite groups with a distributive lattice?

Definition: Two inclusions of finite groups are equivalent, $(A \subset B) \sim (C \subset D)$, if: $(A/A_B \subset B/A_B) \simeq (C/C_D \subset D/C_D)$ with $A_B$ the normal core of $A$ in $B$. ...
5
votes
1answer
165 views

Special linear groups contained in symplectic groups

Let $q$ be a power of prime $p$, and $n, m, k$ positive integers such that $mk=2n$ and $2\leq m<2n$. Let $\mathrm{Sp}(2n,q)$ be the symplectic group of dimension $2n$ over $\mathrm{GF}(q)$ and ...
6
votes
1answer
159 views

Duration and critical groups order in sandpile models and chip firing games

The famous chip firing game (which is closely related to sandpile models) goes like this: Place chips at the vertices of a graph. REPEATEDLY: If a vertex $v$ of degree $d_{v}$ has at least ...
4
votes
1answer
108 views

Equations and random subgroups in compact groups

EDIT: Here is a more specific question. Let $G$ be a compact group and let $w$ be a word in $d$ variables. Then the solution set $S$ of the equation of $w=1$ is a closed subset of the product $G^d$ ...
4
votes
1answer
166 views

orthogonal group in characteristic 2

Let $O(2,\mathbb{Z}_2)$ be the orthogonal group of order two matrices. On $\mathbb{Z}_2$ there should exist just one odd quadratic form, hence the stabilizer subgroup $O^-$ of an odd quadratic for ...
2
votes
1answer
240 views

Is every closed subgroup of $\text{GL}_n(K[[x]])$ finitely generated?

Let $n \in \mathbb{N}$, $K$ a finite field. Denote by $K[[x]]$ the (profinite) ring of formal power series over $K$. Note that $\text{GL}_n(K[[x]])$ is a profinite group. Is every closed subgroup of ...
0
votes
0answers
77 views

Research of a reference about $G$-linearizations of line bundles on quasi-projective schemes

I am looking for some references for the following statement: Let $G$ be a linearly reductive algebraic group acting on a quasi-projective scheme $X$, over an algebraically closed field $K$. Let $L$ ...
1
vote
1answer
110 views

Successive Schur covers

Let $G_0$ be a finite group and $G_j$ a Schur cover of $G_{j-1}$ for $j=1,2,3\ldots$. Is $G_2$ equal to $G_1$? If not, will the sequence stop after finite steps in general?
2
votes
1answer
225 views

vanishing higher cohomology group for property T group?

Given a countable discrete group $G$ with Kazhdan's property (T), consider $\mathbb{C}G$ or $l^2(G)$ as a left $G$-module, then we can consider the group cohomology, Is it known that $H^n(G, ...
0
votes
3answers
137 views

Possible degrees of faithful projective representations of $\mathrm{PSL}(k,q)$ and $\mathrm{Sp}(2k,q)$ over complex numbers

Let $q$ be a prime power and $k$ a positive integer. What are the possible degrees of faithful projective representations of the projective special linear group $\mathrm{PSL}(k,q)$ (over the Galois ...
6
votes
1answer
100 views

Are countable FC-groups maximally almost periodic?

An FC-group is a group in which every element has a finite conjugacy class. A group G is said to be maximally almost periodic if there is an injective homomorphism from G into a compact Hausdorff ...
7
votes
1answer
250 views

Is there a finitely presented group with infinite homology over $\mathbb{Q}$?

Suppose $G$ is a discrete group given by finitely many generators with finitely many relations. Can the homology groups $H_i(G, \mathbb{Q})$, or equivalently $H_i(BG, \mathbb{Q})$ (topological ...
3
votes
1answer
142 views

A question on conjugacy classes of central involutions in a finite group

An involution $a$ of a group $G$ is called central if there exists a sylow $2$-subgroup $H$ of $G$ such that $a \in C_G(H)$, or equivalently if the centralizer of $a$ contains a sylow $2$-subgroup. ...
3
votes
1answer
138 views

Faithful representations of free pro-p groups

Let $p$ be a prime number, $m,n \in \mathbb{N}$, $F = F(p,m)$ be the free pro-$p$ group on $m$ generators. For which $(m,n)$ there is a continuous faithful representation (embedding) $\rho : F ...
2
votes
0answers
47 views

When polynomial GI implies polynomial (edge) colored GI?

(edge) colored graph isomorphism is GI which preserves the colors (of edges if it is edge colored). There are several reductions using transformations/gadgets of (edge) colored GI to GI. For edge ...
6
votes
1answer
210 views

Generalization of Frobenius groups

Frobenius group is a transitive permutation group on a finite set, such that no non-trivial element fixes more than one point and some non-trivial element fixes a point. In other words, if in a ...
1
vote
1answer
132 views

Infinite amenable group subfactors

Let amenable groups $\Gamma$ and $\Gamma'$. They act outerly of only one manner on the hyperfinite ${\rm II}_1$-factor $\mathcal{R}$. Question: $(\mathcal{R} \subset \mathcal{R} \rtimes \Gamma) ...
0
votes
0answers
51 views

some questions to “Extensions of groups by tree automorphisms” - Gupta&Sidki's work

Recently I have asked a question (I have deleted my question) about a paper stated in the title but I was told that I have to be more specific so I will try one more time. If someone needs ...
4
votes
0answers
102 views

Self-duality of the subgroup lattice of $G\times H$

Let $G$ and $H$ be finite groups and $\gcd(|G|,|H|)=1$. Suppose the lattice of all subgroups of $G\times H$ is self-dual. Is the lattice of all subgroups of $G$ self-dual?