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

learn more… | top users | synonyms (1)

11
votes
2answers
355 views

A sequence of subsets of an infinite group

Is there an infinite group $G$ such that there is not any sequence $(A_n)$ of its subsets such that always $$A_n=A_n^{-1}, \quad A_{n+1}A_{n+1}\subsetneqq A_n$$ ? link
3
votes
1answer
370 views

Orders of Finite Simple Groups

Which finite simple groups have order N so that N+1 is a proper power? As an example: the simple group of order $168=13^2-1$.
6
votes
0answers
145 views

“Twisted” Lyndon equation in a free group

In 1959, Lyndon showed that in a free group, the equation $u^2v^2=w^2$ has only commuting solutions: $uv=vu=w$. Is there in the litterature any information about the following "twisted" version of the ...
6
votes
2answers
263 views

Subgroup property stronger than being characteristic

In what follows, all groups are assumed to be finite. Recall that if $K \leq H \leq G$ are groups, $K$ is said to be a weakly closed subgroup of $H$ in $G$ if, for all $g \in G$, $g^{-1}Kg \leq H$ ...
1
vote
1answer
197 views

Under what conditions there is a one-to-one mapping between a product of matrices and the sequence of matrices leading to the product?

I have a set of matrices $A_1,\ldots,A_n$. Let $\mathcal{A} = \{A_i\}$. What are some simple conditions under which for any sequence of indices between $1$ and $n$, $a_1,\ldots,a_m$, the product ...
2
votes
1answer
151 views

On the Suzuki group

Let $G$ be the Suzuki group over the field with $q=2^{2m+1}$ elements, $m>0$. Then, by Theorem 3.10 from B. Huppert, N. Blackburn, Finite Group III, pp 192-193, or wikipedia, the group $G$ contains ...
3
votes
1answer
153 views

Switching representatives of right coset in a paper on fundamental domain of tree of GL(2)

I have a question concerning the following paper: "The fundamental domain of the tree of GL(2) over the function field of an elliptic curve" by Shuzo Takahashi. (1993, Duke Math. J., Vol. 72, No. 1). ...
3
votes
1answer
64 views

Intersection of Maximal Left Ideals with Finite Dimensional Quotient

Let $\Gamma$ be a finitely generated group and let $A=\mathbb{C}[\Gamma]$ be the corresponding group algebra over $\mathbb{C}$. Let $X$ be the set of all maximal left ideals of $A$ and let $X_0=\{I ...
30
votes
3answers
2k views

Fixed points of $x\mapsto 2^{2^{2^{2^x}}} \mod p$

Let $p$ be a prime. For how many elements $x$ of $\{0,1,\dotsc,p-1\}$ can it be the case that $$2^{2^{2^{2^x}}} = x \mod p?$$ In particular, can you find a simple proof (or, even better, several ...
2
votes
0answers
95 views

Acylindrical hyperbolic groups

In Osin's paper "Acylindrically hyperbolic groups" in Lemma 5.7, there is a condition, that $|X_1\triangle X_2|<\infty$ for two relative generating sets. I'm sorry, but I didn't find a definition ...
0
votes
1answer
127 views

Semi direct product group

Suppose $G=V \rtimes M$, is a semi product group of an elementary abelian p-group of size $|V|=p^e$ and $M$ is a subgroup of $G$. If $f$ is the natural projection from $G$ onto $M$. $C_x=\{x^G\}$ is ...
2
votes
1answer
171 views

Bases of free groups

Let $F$ be a free group on a finite set $X$. Let $A \subseteq X$ be a subset of $X$ contained in some $H \leq F$, a subgroup of finite index in $F$. Must there be a basis (free generating set) for $H$ ...
16
votes
0answers
211 views

Kaplansky's unit conjecture and unique products

There are three conjectures on group rings that bear the name of Kaplansky (see for example this question). The 'unit conjecture' in the title of the present question is the strongest of them, and ...
2
votes
0answers
108 views

Subsets of a group as an algebraic structure

Let $F$ be a set and $.$ be a binary operation on $F$ and $.^{-1}:F\to F$ be a so-called inverse operation on $F$ such that $(F,.)$ is semigroup and for each $x,y\in F$, $$(x^{-1})^{-1}=x,~~~~~ ...
18
votes
3answers
608 views

Number of primitive $n$th roots with positive versus negative real parts

Does anyone know a reference to the following results, which I can prove, but I suspect may be known. Let $R(n)$ denote the number of primitive $n$th roots of unity with positive real part, and $L(n)$ ...
7
votes
0answers
207 views

Normal generators of finite index subgroups in a free group

Let $F=F(a,b)$ be the free group of rank $2$. Question 1: Given any positive integer $d$, can one always find elements $u_j,v_j,w_j \in F$, $j=1,\dots,d$, such that if $1 \le j <k \le d$ then the ...
14
votes
1answer
377 views

Permutation Groups Containing non-commuting $p$-cycles

I noticed that the following is true, and that there is a reasonably elementary proof of it (in particular, the classification of finite simple groups is not needed). Let $G$ be a finite permutation ...
3
votes
1answer
135 views

Is it a Frobenius complement?

Let $n$, $m\in \mathbb{N}$. Let $p$, $q$ be primes with $q^{n}|p-1$. Let $H$ the semidirect product of a cyclic group $A=C_{p^{\large{m}}}$ by a cyclic group $B=C_{q^{\large{n+1}}}$ which induces an ...
4
votes
1answer
140 views

Generators of Sylow subgroups

Is there a function $f : \mathbb{N} \rightarrow \mathbb{N}$ such that for each finite supersolvable group $G$, and a Sylow subgroup $S \leq G$ we have $d(S) \leq f(d(G))$? Here $d(H)$ denotes the ...
-1
votes
1answer
98 views

Relation of the order of elements in a metabelian group [closed]

Let $n$ be an integer, $n>1$, $n=p_1^{a_1}...p_t^{a_t}$. I define $f(n)=a_1+...+a_t$. Let be $G$ a finite group and I define $f(G)=max(f(|g|):g\in G)$. I have to prove that if $G$ is a ...
2
votes
0answers
117 views

Dehn functions of Thompson's group $F$

It's well know that the first order Dehn function of $F$ is quadratic. Is a similar result known for its second-order, or even higher-order, Dehn function? The second-order Dehn function of a group ...
23
votes
1answer
876 views

Enumeration of a finite group

Let $G=\{g_1,g_2,...,g_n\}$ be a group with $e=g_1$ and $n$ is odd, Set $$a_1=g_1$$ $$a_2=g_1g_2$$ $$a_3=g_1g_2g_3$$ $$a_n=g_1g_2...g_n$$ I am looking for example that all $a_i$ are different from ...
14
votes
0answers
668 views

Is there an infinite field of characteristic 2 whose multiplicative group is torsion free and (direct-sum) indecomposable?

Let $F$ be a infinite field of characteristic 2 whose multiplicative group $F^*$ is torsion free. I would like to conclude that $F^*$ is decomposable or find an example where $F^*$ is indecomposable. ...
1
vote
1answer
81 views

Number of non isomorphic groups in Cext(G,C_p)

I want to modify my question mathoverflow.net/questions/50922. Let $C_{p^e}$ be a cyclic group of order $p^e$, $p$ prime. Denote by $\text{Cext}(G,C_p)$ the group of all central extensions of $C_p$ by ...
6
votes
0answers
92 views

Two-relator products of cyclic groups

In "A proof of the Scott–Wiegold conjecture on free products of cyclic groups" Howie proved that every one-relator product of three cyclic groups is nontrivial. Is there a now proven theorem that says ...
3
votes
1answer
189 views

How does associativity get twisted by elements of $H^3(G)$?

In Braided Monoidal Categories by Joyal and Street, §6 a monoidal category is $V =T(G,M,h)$ built using a recipe: objects are are elements of $G$ ✓ $V_0(x,y) = M$ if $( x=y)$ or else ...
2
votes
0answers
94 views

Orbit-Stabilizer theorem for continuous groups

The orbit-stabilizer relationship (also known as the orbit-stabilizer theorem) is very clear for finite groups. Is there an equivalent relation for continuous groups? Also, is there a similar notion ...
9
votes
1answer
159 views

Fixed set of order p automorphism of Bruhat-Tits tree

I would like to know the structure of the fixed set of an order $p$ automorphism [Edit: induced by a matrix in $GL_2(K)$] on the Bruhat-Tits tree for a p-adic field $K$, specifically in the case where ...
11
votes
1answer
401 views

On the order of finite simple groups

About the order of finite simple groups there exists a very interesting result which stated as follows: Let $G$ be an non-solvable simple group of order $g$. If $p\mid g$, where $p>g^{1\over 3}$ ...
11
votes
0answers
222 views

Are there additive subgroups of reals of dimension 1 with no subgroups of dimension strictly between 0 and 1?

I will use $dimA$ to denote the Hausdorff dimension of a set $A \subseteq \mathbb{R}$. Being a null set means having Lebesgue measure zero. In the 1966 paper "Additive gruppen mit vorgegebener ...
1
vote
2answers
245 views

A semisimple group ring

Let $n \in \mathbb{N}$, $p$ a prime number, and $G$ a finite group of order coprime to $p$. Let $R = \mathbb{Z} /p^n \mathbb{Z}$ be the ring of integers mod $p^n$. Must $R[G]$ be semisimple? As noted ...
4
votes
0answers
104 views

Does this class of groups contain finitely generated infinite periodic groups?

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 ...
0
votes
1answer
105 views

Direct limit of primitive integral matrices

I'm interested in computing the direct limit of an arbitrary $2\times 2$ primitive matrix over $\mathbf{Z}$. That is for a fixed primitive matrix $M$, the colimit ...
5
votes
1answer
217 views

Index of congruence modular subgroup of level (1,d)

Let $D = \text{diag}(1,d)\in M_{2}(\mathbb{Z})$ be a $2\times 2$ matrix, where $d$ is an odd integer. We define the subgroup $\Gamma_D\subset M_{4}(\mathbb{Z})$ as: $$\Gamma_D := \left\lbrace R\in ...
0
votes
0answers
90 views

Actions and representations of profinite groups

Let $p$ be a prime number, and denote by $\mathbb{Z}_p$ the additive profinite group of p-adic integers. Let $G$ be a finitely generated profinite group of order coprime to $p$, and $V = ...
5
votes
2answers
370 views

How to estimate the Haar measure on $G_2$

I have a sequence of real numbers. I want to know whether this sequence looks like the traces in the standard representation of a random sequence of elements of $G_2$. (Here random is according to the ...
4
votes
2answers
322 views

Finite groups factorized into two simple alternating groups

My research is somehow related to the following question : Describe and classify all finite groups $G$ such that $G=HK$ with $H \cap K=1$, where $H \cong A_m$ and $K \cong A_n$ for some integers $m, ...
3
votes
1answer
150 views

Integral representations of groups of small order

I have a problem in which it would be helpful to know about the integral representations of some groups of small order (probably of fairly low degree). From what I've gathered so far, cyclic groups of ...
5
votes
1answer
404 views

A generalized Burnside's lemma

Let $G$ be a finite group acting on a set $X$, and let $S\subseteq G$ be a union of conjugacy classes. Then I believe I can prove: $$ \sum_{[x]\in X/G} \frac{|G_x \cap S|}{|G_x|} = \sum_{g\in S} ...
2
votes
0answers
66 views

Semidirect products of semigroups [closed]

Let $S,T$ be two semigroups. A function $f:S\to T$ is called multiplicative if for any $x,y\in S$ we have $f(xy)=f(x)f(y)$. If $T=S$ then $f:S\to S$ is called automorphism on $S$. A function ...
0
votes
0answers
118 views

classify antiholomorphic involutions of projective space

On $\mathbb{CP}^1$ with standard complex structure, how to prove that there are only two types of antiholomorphic involution, given by $$ \tau :[z:w]\mapsto [\bar w, \bar z] \qquad \eta :[z:w]\mapsto ...
9
votes
4answers
763 views

Elements of finite order of $\mathrm{PGL}(n,\mathbb{Q})$

For some research work, I need to know the classification of elements of finite order of $\mathrm{PGL}(n,\mathbb{Q})$, up to conjugation. Since I essentially need $n\le 4$, I think that I can show it ...
2
votes
2answers
154 views

Number of generators of the commutator

Can one find a function $f : \mathbb{N} \rightarrow \mathbb{N}$ such that for every finite supersolvable group $G$ we have: $d(G') \leq f(d(G))$? Here $d(K)$ is the cardinality of a minimal set of ...
1
vote
1answer
275 views

Kropholler's Conjecture and 3-manifolds

Suppose that $G$ is a group and that $H$ is a subgroup, both finitely generated, and assume that there is a non-trivial H-almost invariant set $X$ with $HXH=X$. Kropholler's Conjecture asserts that $ ...
10
votes
1answer
336 views

Categorical interpretation of disjoint cycle notation for tracing permutations

For a natural number $n\in\mathbb{N}$, let $\underline{n}$ denote the finite set $$\underline{n}:=\{1,2,\ldots,n\}.$$ A permutation $\sigma\in Aut(\underline{n})$ can be uniquely written (up to order) ...
1
vote
1answer
171 views

Countable residually finite abelian groups

Is there a countable abelian group for which its subgroups are exactly all of the countable "reduced" abelian groups? (Reduced means that its divisible subgroup is zero) Is the following group a ...
5
votes
0answers
167 views

Is translation by the free group (in two generators) on a certain completion of the group an amenable action?

Let $\mathbb{F}_2 = \langle a,b\rangle$ be the free group in two generators $a,b$ and let $\alpha \in \text{End}(\mathbb{F}_2)$ be given by $\alpha(a) = a^2, \alpha(b)= b^2$. Note that the index ...
0
votes
0answers
127 views

Trivial extensions by torsion-free groups

Let $A$ be an abelian group. Recall that $A$ is ($\bullet$) a Whitehead group if $\text{Ext}(A,\mathbb Z)=0$, ($\bullet$) a free abelian group if $\text{Ext}(A,D)=0$ for every abelian group $D$. ...
4
votes
0answers
73 views

Generators of the symplectic subgroup $\Gamma^g(1,2)$

Let $\mathbb{A}^{m\times n}$ denote the set of all $m \times n$ matrices with entries in the set $\mathbb{A}$. For a matrix $M$ we let ${^tM}$ denote its transpose, and $M^{-1}$ its inverse, if it is ...
19
votes
0answers
661 views

Non-linear expanders?

Recall that a family of graphs (indexed by an infinite set, such as the primes, say) is called an expander family if there is a $\delta>0$ such that, on every graph in the family, the discrete ...