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

learn more… | top users | synonyms (1)

0
votes
1answer
80 views

A simple group that its order divide order of an alternating group

Let $G$ be a simple group such that 1) $|G|\mid|\mathrm{Alt}_{p}|$ 2) $p\mid | G|$, and $p>13$ is prime. 3) $G$ hasn't any elements of order $rp$ for every prime number $r$. My question: ...
1
vote
0answers
36 views

A subgroup of corank 1 in a free group contains a primitive element?

Let $F$ be the free group on $\{x_i\}_{i=1}^\infty$, and let $H \leq F$ be a subgroup with $\langle H \cup \{x_1\} \rangle = F$. Must there be a free basis $B$ of $F$ for which $B \cap H \neq ...
0
votes
0answers
56 views

growth series of groups [on hold]

As I know, in the literature there are formulas for groth series of direct product, free product and free product with amalgamation and graph product of groups. Is there any formula that gives groth ...
3
votes
0answers
147 views

Primitive elements in a free group

Let $F$ be a free group of rank $\aleph_0$ and let $H$ be a subgroup for which there exists some $a \in F$ such that $\langle H \cup \{a\} \rangle = F$. Must there be some free basis $B$ for $F$ and a ...
3
votes
1answer
128 views

Preprint by Wall on Sjogren's theorem

In their account http://dx.doi.org/10.1016/0022-4049(87)90048-X of Sjogren's theorem, Cliff and Hartley refer to two articles: [9] B. Hartley, A note on a lemma of Sjogren relating to. dimension ...
0
votes
1answer
129 views

Must a group of defficiency > 1 be nonabelian?

Let $F$ be a free group of finite rank $n > 2$, and let $S \subseteq F$ be a subset of cardinality at most $n-2$. Denote by $S^F$ the normal subgroup of $F$ generated by $S$. Must $F/S^F$ be ...
3
votes
1answer
85 views

nilpotent of class 2 free product

How is the nilpotent of class 2 (nil-2) free product of groups defined? I came across this construction reading the following paper. Alan H. Mekler (1981). Stability of nilpotent groups of class 2 ...
5
votes
0answers
86 views

Example of a torsionfree group satisfying a cohomological condition

Let us call a finitely generated group $G$ cohomologically rich if for each $k \geq 0$, we can find a subgroup $G'$ and a prime $p$ such that $H^k(G';\mathbb F_p) \neq 0$. Examples which come to mind ...
3
votes
3answers
177 views

Enumerating cosets of the modular group

Suppose we chose the generators $f(z) = z+1, g(z) = z-1, h(z) = -1/z$ for the modular group $\Gamma$ (i.e. the group of fractional linear tranformations $z \mapsto (az +b)/(cz+d)$ with $a,b,c,d \in ...
0
votes
1answer
133 views

Consequences of Serre's property FA

Proposition 21 of Serre's Trees: Let G be a group with property FA. If G is contained in an amalgam then G is contained in a conjugate of one of the amalgam's factors. Can anybody help with this ...
3
votes
0answers
62 views

Localized at $p$ integral representations of finite elementary $p$-groups

Let $C_p$ be a cyclic group of prime order $p$. Let $F=C_p^n=C_p\times\dots\times C_p$ ($n$ times). I would like to to classify finite dimensional representations of $F$ over ${\mathbb{Z}}$. However, ...
9
votes
0answers
215 views

Proof of Cauchy's Theorem from Group Theory - Generalizable?

There are many proofs for Cauchy's Theorem from group theory, which states that if a prime $p$ divides the order of a finite group $G$, then $\exists g\in G$ of order $p$. Recently I've encountered ...
2
votes
0answers
87 views

Generating free groups by small subgroups and an element

Let $F$ be a free group of countably infinite rank, and let $L \leq F$ be a finite index subgroup. For some prime $p$ and $k \in \mathbb{N}$, let $\sigma \colon L \to ...
4
votes
1answer
108 views

K-fellow traveler property and automatic structure

I have been reading several articles about automatic groups and metric spaces of negative curvature. However it is not clear for me the relationship between automatic groups, hyperbolcity and the ...
-1
votes
0answers
49 views

relation between characters [on hold]

My assumption: $ H $ is a subgroup with index $ m $ in the finite group $ G $ & $ F $ is an algebraic closed field of characteristic zero & $ \chi $ is an irreducible $ F $-character of $ G $ ...
-1
votes
0answers
31 views

$ \mathbb{C} $-character table of $ D_{14} $ [closed]

Is there any reference where I can find the $ \mathbb{C} $-character table of the dihedral group $ D_{14} $?
5
votes
1answer
283 views

Elementary equivalence of the direct product and direct sum of groups

It is well-known that the direct product of any family of abelian groups is an elementary extension of the direct sum of the family (see e.g. Lemma A.1.6 in the book `Model Theory' by W. Hodges, ...
0
votes
0answers
65 views

About Frobenius groups [closed]

Let us consider these conditions: $ G $ is a Frobenius group, $ N= $ kernel of $ G$ and $ L\lhd G $. Now I want to know why either $ L\leqslant N $ or $N\leqslant L $? thanks
5
votes
1answer
80 views

Sum identities with immanants

For $\chi$ being an irreducible character of the symmetric group $S_n$ and being $M$ a complex $n\times n$-matrix, I would like to show $$ \sum_{\sigma, \rho \in S_n} \overline{\chi(\sigma)} ...
1
vote
1answer
73 views

Are Carter subgroups nilpotent projectors?

R. Carter prooved that in finite soluble groups $G$ Carter subgroups $C$ exist and that they are conjugated. Furthermore they are exactly the nilpotent projectors: For every normal subgroup $N$ of ...
11
votes
0answers
162 views

Group with finite out automorphism group and large center

Does there exist a finitely generated group $G$ with outer automorphism group $\mathrm{Out}(G)$ finite, whose center contains infinitely many elements of order $p$ for some prime $p$? A motivation is ...
2
votes
0answers
64 views

Splitting over infinite generated abelian subgroup?

Recall that a group is CSA if all its maximal abelian subgroups are malnormal. Question 1: Can a finitely generated CSA group splits (as graph of groups) over an infinitely generated abelian ...
4
votes
2answers
266 views

Relation between Associative algebra and group algebra

Let $A$ be an associative algebra over a filed $k$. Q) What are the condition we can impose on $A$ such that there exists a $G$ such that $A=k[G]$, the group algebra generated by $G$? I am ...
2
votes
2answers
237 views

Magnus' embedding theorem

I am looking for a (preferably modern) reference to the following old result of Magnus. Let $F$ be a free group of finite rank and $$ F_1 = [F,F], F_2 = [F_1,F_1], \dots , F_{n+1} = [F_n,F_n], \dots ...
1
vote
1answer
87 views

about subgroup of general linear group [closed]

Thanks for any comments Let $G=GL_n(F)$ be general linear group over finite field $F$. Consider two isomorphic subgeoup $H_1,H_2$ of $G$ such that $H_i\cong GL_k(\bar{F})$, where $\bar{F}$ is an ...
6
votes
1answer
105 views

Continuity of conjugation actions of Polish groups

Let $G$ and $H$ be Polish groups and let $\psi: G \rightarrow H$ be a continuous injective homomorphism such that $\psi(G)$ is normal in $H$. Then $H$ acts on $G$ by conjugation via $\psi$, in other ...
1
vote
1answer
92 views

Finite groups normalizing a torus

Let $G$ be a semi-simple linear algebraic group over the complex numbers, e.g. the special linear group. Can you find an example of a finite sub-group $H$ of $G$ which does not normalize any maximal ...
1
vote
0answers
48 views

Question about Eigenvalues of group elements [migrated]

The quaternion algebra is given by $\mathbb{H}$ = $\{a+bi+cj+dk \mid a, b, c, d \in \mathbb{R}, i^2 = j^2 = k^2 = -1, ij = k = -ji\} := \{z_1+z_2j \mid z_1, z_2 \in \mathbb{C}\}.$ I consider the ...
2
votes
1answer
93 views

What is the corank of a proper char subgroup of a finite index subgroup of a free group?

Let $F$ be the free group of rank $\aleph_0$, let $L \leq F$ be a finite index subgroup, and let $M$ be a proper characteristic subgroup of $L$. Is it possible that there exists a finite subset $S ...
2
votes
1answer
135 views

Finite generation and profinite completion

Let $G$ be a (countable) residually finite group whose profinite completion is topologically finitely generated. Must $G$ be finitely generated?
3
votes
0answers
152 views

Generalization of the fundamental theorem of cyclic groups 2

This post is a sequel of Generalization of the fundamental theorem of cyclic groups Let $G$ be a finite group then the fundamental theorem of cyclic groups can be formulated as follows: Theorem: $G$ ...
2
votes
0answers
100 views

What are the general zonal spherical functions for ${\rm SO}(n)/{\rm SO}(n-1)$?

The zonal spherical functions [1] on the sphere $(G={\rm SO}(n)$, $K={\rm SO}(n-1))$ are the Gegenbauer or ultraspherical polynomials if one considers the irreducible representations of ${\rm SO}(n)$ ...
5
votes
1answer
303 views

Generalization of the fundamental theorem of cyclic groups

Let $G$ be a finite group then the fundamental theorem of cyclic groups can be formulated as follows: Theorem: $G$ is cyclic iff it admits no two different subgroups with the same order. proof: see ...
4
votes
1answer
155 views

Finite solvable groups are generated by a nilpotent subgroup + K elements?

Is there a constant $K \in \mathbb{N}$ such that for every finite solvable group $G$, there exists a nilpotent subgroup $N \leq G$, and a subset $S \subseteq G$ with $|S| \leq K$, and $\langle ...
8
votes
1answer
439 views

Is there a simple description of this group?

I would like to know if there is a simple description of the following group. It has 2 generators whose the square of the commutator is trivial. $$G=\langle a,b | (aba^{-1}b^{-1})^2=1\rangle$$ By ...
8
votes
0answers
95 views

Reference for class of involutions containing longest element of finite Coxeter group?

Consider a finite (say irreducible) Coxeter group $W$ with a fixed generator set $S$ and rank $n$. This is the same thing as a finite real reflection group, generated by a set of “simple” ...
-1
votes
1answer
155 views

Why do we not lose any generality by proving it only for finitely generated groups [closed]

In the proof of following theorem, in a paper by Farkas- Here $\Delta(G) = \{ g \in G : |G:C_G(g)| < \infty \}$ and $U_1(\mathbb{Z}G) $ is the set of normalized units of the integral group ring ...
5
votes
1answer
169 views

Kleinian groups containing an isomorphic copy of itself

Is there any example of a Kleinian group (acting on $\mathbb{H}^n$, $n \ge 3$) that contains a finite index isomorphic copy of itself? Here I don't consider Kleinian groups that only have parabolic ...
26
votes
3answers
1k views

Is every abelian group a colimit of copies of Z?

More precisely, is every abelian group a colimit $\text{colim}_{j \in J} F(j)$ over a diagram $F : J \to \text{Ab}$ where each $F(j)$ is isomorphic to $\mathbb{Z}$? Note that this does not follow ...
1
vote
1answer
80 views

Does every connected vertex transitive graph on $n$ vertices (except for $C_n$) have minimum feedback vertex set of size $\Omega(n)$?

Feedback vertex set is a set of vertices whose removal leaves an acyclic graph. It is known that every vertex transitive graph on $n$ vertices has minimum vertex cover of size $\Omega(n)$. It is also ...
5
votes
2answers
224 views

Extensions of $SL(2,\mathbb{F}_q)$

Let $n = q(q^2-1)$ (the order of $SL(2,\mathbb{F}_q)$ I think). How many groups of order $2n$ contain $SL(2,\mathbb{F}_q)$ as a (necessarily normal) subgroup? Is this number known exactly? Seems ...
1
vote
0answers
62 views

explicit zero 2-cocycle

Let $G$ be a group which acts linearly on a vector space of dimension $n$ over a field $k$. Denote by $\rho$ this representation and consider the associated adjoint representation $Ad\rho$ which is ...
2
votes
3answers
340 views

A table for irreducible integral representation of finite cyclic groups

Is there such a table where the irreducible integral representations of finite cyclic groups are listed? Edited: Thanks for Todd Leason's comment.Acutally,i want to know all inequivalent ...
1
vote
1answer
91 views

Projectors onto the invariant subspaces of a unitary representation $U \otimes U^* \otimes U \otimes U^*$

Let $$U \mapsto U \otimes U^* \otimes U \otimes U^*$$ be a unitary representation of the unitary group $U(n)$ acting on the vector space $V$ (where $U^*$ is the complex conjugate of $U$). We can ...
46
votes
5answers
2k views

Do unit quaternions at vertices of a regular 4-simplex, one being 1, generate a free group?

Choose unit quaternions $q_0, q_1, q_2, q_3, q_4$ that form the vertices of a regular 4-simplex in the quaternions. Assume $q_0 = 1$. Let the other four generate a group via quaternion ...
4
votes
0answers
79 views

A relation on the set of isomorphism classes of finitely generated groups

Let $G$ be the set of finitely generated groups up to isomorphism hence its elements will be noted $[B]$ where $B$ is some finitely generated group. On this set we put a relation $\mathcal{ND}$ ...
1
vote
1answer
95 views

Collections in direct products and freeness

I am looking for references about the following type of questions: Let $G$ and $H$ be two groups, let $(g_i:i\in I)\subset G$ and $(h_i:i\in I)\subset H$ be collections of group elements, and ...
5
votes
0answers
157 views

What is the kernel of the map $Out(\widehat{F_2})\rightarrow GL_2(\widehat{\mathbb{Z}})$?

Let $F_2$ be the free group on two generators, and $\widehat{F_2}$ its profinite completion. Let $Out(\widehat{F_2})$ be the outer automorphism group of $\widehat{F_2}$, ie, $Out(\widehat{F_2}) = ...
21
votes
0answers
252 views

Guess that group via product queries

Suppose someone (person B) knows a finite group $G$ of order $n$. You (person A) know only the order $n$, and that $1$ is the name of the identity element. The group elements are named $1,2,\ldots,n$ ...
9
votes
2answers
220 views

Embedding $\mathrm{PGL}(n,q^h)$ in $\mathrm{PGL}(nh,q)$

It is not very hard to see that for each prime power $q$ and natural numbers $n,h$, we have an embedding $$\iota \colon \mathrm{GL}(n,q^h) \hookrightarrow \mathrm{GL}(nh, q),$$ obtained by choosing a ...