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

learn more… | top users | synonyms (1)

0
votes
0answers
17 views

What are the rank 3 boolean intervals [H,G], with G simple group?

The rank $n$ boolean lattice $B_{n}$ is the subset lattice of $\{1,2, \dots , n\}$. The lattice $B_{3}$ is the following: Question: What are the rank $3$ boolean intervals of the form $[H,G]$, ...
8
votes
2answers
315 views

Normal subgroups of Aut(M)

Let $S$ be the set of all finite permutations of $\mathbb{N}$, i.e. they fix all but a finite set, and $A\subset S$ the set of all even permutations. Theorem The normal subgroups of $S_\infty$ are ...
4
votes
0answers
34 views

Coming up with a represenation for sum of functions in the Fourier algebra

This is my first overflow question, so let me apologize in advance if this belongs on http://math.stackexchange.com. Let $G$ be a discrete group. Let $\lambda:G\to B(\ell^{2}(G))$ be the left ...
3
votes
0answers
57 views

Extending homomorphisms between ordered abelian groups

Let $\Omega$ be a linearly (i.e. fully) ordered set, and let $\Lambda_{\Omega}$ be the ordered abelian group consisting of those $(\lambda_\omega)_{\omega\in\Omega}\in\mathbb{R}^{\Omega}$ with well-...
-1
votes
0answers
38 views

Direct product between joins of subgroups [on hold]

Suppose that $G$ is a finite group with $A, B, H, K \leq G$. Suppose that $H\times A \leq G$ and $K\times B \leq G$. I want to show that $\langle H,K \rangle \times \langle A, B \rangle = \langle H \...
3
votes
1answer
234 views
+50

Intuition behind the definition of the Siegel-Eichler transformation

Recently I am reading Wall's paper "On the Orthogonal Groups of Unimodular Quadratic Forms II". In this paper, I encountered with the map $E^1_\omega$, which now I am interested in. Let $X$ be an ...
5
votes
1answer
139 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 \...
2
votes
2answers
122 views

Malnormal subgroups in solvable groups

I have been reading through a book of Robinson where it is mentioned (informally!) that solvable groups have "many" subnormal subgroups (subgroups $H<G$ with $H=H_0 \lhd H_1 \lhd \ldots \lhd H_n = ...
8
votes
1answer
201 views

Groups whose word problem can be solved in constant time

Given a finitely generated group $G$, define an encoding of $G$ to be a one-to-one function $\Phi:G\to \bigcup_n \{0,1\}^n$ that sends each group element to a unique finite word. For $a,b\in G$, ...
23
votes
2answers
1k views

Monstrous Moonshine for Thompson group $Th$?

I. As a background, in Traces of Singular Moduli (p.2), Zagier defines the modular form of weight 3/2, $$g(\tau) = \frac{\eta^2(\tau)}{\eta(2\tau)}\frac{E_4(4\tau)}{\eta^6(4\tau)}=\vartheta_4(\tau)\, ...
3
votes
4answers
2k views

Automorphisms of non-abelian groups of order $ p^3$

There are two non-abelian groups of order $p^3$, namely, semi-direct product of $\mathbb Z /p \mathbb Z \times \mathbb Z /p \mathbb Z$ by $\mathbb Z /p \mathbb Z$ and semi-direct product of $\mathbb Z ...
3
votes
1answer
374 views

On the Groups of Order $(p^2+1)/2$

A few days ago I asked a question (Groups of order $p(p^2+1)/2$) about a finite group of order $p(p^2+1)/2$ and I got a lot of useful information about it. Thanks for the nice and very helpful answers....
3
votes
1answer
130 views

Relation between conjugacy class, quotient isomorphism class, and signature of Fuchsian groups

Let $\Gamma\le SL(2,\mathbb{Z})$ be a finite index subgroup, not necessarily "congruence". Let $c_4,c_6$ be the number of conjugacy classes of elements of order 4 and 6 respectively, let $c_{-1}$ be ...
1
vote
0answers
75 views

Induced structure of topological group [closed]

If we consider a closed Jordan curve $\mathcal{C}$, I know that it's homeomorphic to the circle $S^1$. Now I take an homeomorphism $\phi:S^1\longrightarrow\mathcal{C}$ and this homeomorphism induces a ...
6
votes
3answers
432 views

p-group with large center

Is there any characterization for $p$-groups of order greater than $p^3$ which center has index $p^2$? (One group whit this property if $M(p^n)$)
1
vote
1answer
60 views

Non-trivial homomorphisms to finite groups on fixed generating set

A group $G$ is residually finite if for each element $g\in G$ there exists a (surjective) homomorphism $f_g: G \rightarrow H_g$ such that $H_g$ is finite and $f_g(g)\ne 1$. Consider the weaker ...
2
votes
1answer
146 views

Have semigroups with actions on themselves that have a dual to the compatibility axiom ever been studied?

For a semigroup $G$ with a left action on itself, the axiom for compatibility becomes: $$ \forall f,g,h\in G:hg(f)=h(g(f)) $$ Now suppose there is additional axiom, or constraint if you prefer, ...
9
votes
4answers
662 views

Classification of automorphism groups of groups of order $p^4$

For the purpose of classifying another algebraic structure which is parametrised by the choice of a group and of an automorphism I need the classification up to isomorphism of automorphism groups of p-...
4
votes
1answer
193 views

Mapping a group to a finite group s.t. the image of each generator is nontrivial

Recall that a group $G$ is called residually finite if for any nontrivial element $g\in G$ there exists a finite group $H$ and a homomorphism $f$ from $G$ to $H$ such that $f(g)\neq1$. My question is ...
3
votes
3answers
568 views

A question on linear groups

Asking this question I have made a mistake joining my main question with two simple ones, so it hasn't received enough attention, however there was a partial answer, which was not elaborated, and now ...
7
votes
3answers
199 views

When can the Cayley graph of the symmetries of an object have those symmetries?

Let $P$ be an object in $\mathbb{R}^n$ with symmetry group $G$. Let $C$ be the a Cayley graph of $G$. When can $C$ be embedded in $\mathbb{R}^m$ so that the embedded graph has the same symmetry ...
11
votes
4answers
1k views

Estimate for the order of the outer automorphism group of a finite simple group

It is known (given CFSG) that all non-abelian finite simple groups have small outer automorphism groups. However, it's quite tedious to list all the possibilities. Does anyone know a reference for a ...
2
votes
1answer
132 views

Size of automorphism group of random regular graph

If I pick a random regular graph on $n$-vertices and degree $d$ from uniform distribution what is the probability that its automorphism group is of size at least $m$? -- I want to know what is the ...
18
votes
0answers
288 views

Follow-up to Steinberg's problem (12) in his 1966 ICM talk?

Steinberg's lecture at the 1966 ICM in Moscow here surveyed his work on regular elements of semisimple algebraic groups, while also formulating a number of then-open questions as "problems" (with ...
-4
votes
0answers
72 views

How do I go about solving the following problem? [closed]

Given $(m_1,m_2, ...,m_r)\in Z^r_{\geq 0}$, and $a_1, a_2, · · · , a_r \in \mathbb{N}$ such that: $\sum_{i=1}^r a_im_i=qL$ where $L$ denotes the least common multiple of $a_1, a_2, · · · , a_r$ and $...
2
votes
0answers
88 views

example of fuchsian groups acting on 2-sphere by G. Martin

Currently I am reading a paper "Infinite group actions on spheres" by Gaven Martin. I am a first year graduate students and I got lots of questions, so one of them is about the following example: (...
-4
votes
0answers
99 views

Finite groups are isomorphic [closed]

For two finite groups $G_1, G_2$ if for every integer $n\geq 0$, $|G_1^n| = |G_2^n|$, then is it true that $G_1\cong G_2$? By $G^k$ we mean set $\{g^k|g\in G\}$.
3
votes
1answer
199 views

Must normalizing field outer automorphisms “divide” the dimension?

Imprecise question: To get a normalizing field outer automorphism of order $r$, must we multiply the dimension by $r$? Precise hypothesis: Let $p\geqslant 5$ be a prime, let $q$ be a power of $p$ and ...
3
votes
1answer
361 views

Simultaneous action of GL(n) on matrices

Consider the action of $GL(n,k)$ on the set $M\times M$ where $M$ is the set of all $n$-by-$n$ matrices over $k$ given by $g\cdot(h,l) \mapsto (ghg^{-1}, glg^t)$. Individually these actions are well-...
8
votes
1answer
135 views

Finite-index iff positive density?

Let $G$ be a finitely generated group and $S$ a symmetric generating set. Define density (lower density, say) with respect to the sequence of balls $S^n$. Is it true that a subgroup of $G$ has ...
4
votes
1answer
97 views

A quotient group of a self-normalizing spherical subgroup

Let $G$ be simply connected, simple algebraic group over $\mathbb{C}$. Let $H\subset G$ be a self-normalizing spherical subgroup of $G$, not necessarily connected or reductive. Here "self-normalizing" ...
1
vote
4answers
451 views

About structure of parabolic subgroups of finite classical algebraic groups

I am interested about a Fact (if it is right) of the structure of parabolic subgroups of finite classical algebraic groups: Let $G$ be a classical algebraic group over the finite field of order $r^{e}...
3
votes
1answer
167 views

Minimal polynomial of unipotents in orthogonal group

Consider split orthogonal group $O(2l)$ over a field of characteristic zero. We may assume the matrix of the bilinear form to be $\begin{pmatrix} O&I\\ I&O\end{pmatrix}$. Let $u$ be a ...
2
votes
0answers
190 views

Unique product groups (and semigroups)

A group $G$ is called a u.p.-group (short for unique product group) if for all nonempty finite subsets $A,B\subseteq G$, there exists an element $g\in A \cdot B$ which can be uniquely written as a ...
1
vote
1answer
130 views

p-groups with special property on its centralizers

Thanks for any help or comment. Suppose $G$ is a finite non-abelian p-group. Suppose $G$ has a proper non-abelian subgroup $M$ such that for every non-central element $x\in M$, $C_G(x)\subseteq M$. ...
4
votes
3answers
227 views

Index of agemo subgroups in $p$-groups

Having a finite $p$-group $G$ ($p$ odd). we denote by $\Omega_1(G)$ the subgroup generated by all the elements of $G$ of order dividing $p$. Is there an example of such a group $G$, such that $|G:...
-1
votes
1answer
1k views

Zariski dense subgroup of algebraic group [closed]

Let $G$ be a Zariski dense subgroup of algebraic group $H.$ Then is $H$ the Zariski closure of $G$? Conversely, if $G$ is a subgroup of an algebraic group $H$ and if $H$ is the Zariski closure of $G,$...
29
votes
3answers
1k views

Richness of the subgroup structure of p-groups

Given a prime $p$ and $n \in \mathbb{N}$, let $f_p(n)$ be the smallest number such that there is a group of order $p^{f_p(n)}$ which all groups of order $p^n$ embed into. What is the asymptotic growth ...
9
votes
1answer
229 views

The set of subgroups of $F_2$

This question came up in our algebraic topology class and our Professor didn't know the answer. I also couldn't find an answer so far. What is the cardinality of the set of subgroups of $F_2$? ...
2
votes
1answer
272 views

Any representation is a subrepresentation of a direct sum of the regular representation

I need a reference for the following statement: Let $G$ be a linear algebraic group over algebraically closed field $k.$ Let $V$ be a finite dimensional $G$-module. Then $V$ is subrepresentation of $...
4
votes
1answer
156 views

Reference for nonlinearity of covers of $\operatorname{SL}(2,\mathbb R)$

It is known that no nontrivial connected cover of $\operatorname{SL}(2,\mathbb R)$ admits a faithful finite dimensional linear representation (see, for example, page 143 in Fulton-Harris and Exercise ...
6
votes
2answers
244 views

Simple groups and irreducible characters of degree 3

I have posted this question on mathstack echange but did not get any answer. It mam trying my luck here. The only simple finite groups admitting an irreducible character of degree 3 are $\mathfrak{A}...
31
votes
3answers
2k views

Is there a nice explanation for this curious fact about cyclic subgroups?

Here's something that I noticed that quite surprised me. Let $G$ be a finite abelian group. Consider the following expression. $$ \nu(G) = \sum_{\substack{H \leq G \\ H \text{ is cyclic}}} |H| $$ It ...
1
vote
2answers
95 views

Finite generation of stabilizers in a $G$-set [closed]

Suppose that $G$ is a finitely generated group, $X$ is a $G$-set, and $x \in X$ is a point. Are there any sorts of conditions on $X$ and $G$ that would let me conclude that $\operatorname{Stab}(x)$ ...
5
votes
8answers
864 views

classification of $p$-groups

I have two questions regarding to $p$-groups. A $p$-group $G$ is said to be extraspecial of $G'=Z(G)$ has order $p$. Hence extraspecial groups are examples of $p$-groups with cyclic center. Of ...
2
votes
2answers
459 views

p-group with abelian centralizer

I will be so thankful if someone helps me with the following question. There exists finite non-abelian p-groups G (except non-abelian groups of order $p^3$) with the following properties: all non-...
19
votes
3answers
2k views

Does subgroup structure of a finite group characterize isomorphism type?

Question Suppose there is a bijection between the underlying sets of two finite groups $G, H$, such that every subgroup of $G$ corresponds to a subgroup of $H$, and that every subgroup of $H$ ...
17
votes
2answers
421 views

When can a finite subgroup of $GL(2n,\mathbb{R})$ be viewed as a subgroup of $GL(n,\mathbb{C})$?

A finite group acting on a complex vector space of dimension $n$ can be seen as acting on a real vector space of dimension $2n$ just by forgetting the complex structure of the space. My question is, ...
3
votes
1answer
124 views

p-groups with maximal class subgroup

Suppose $G$ is a finite non-abelian p-group of nilpotent class $c$. Is there a subgroup $H$ of nilpotent class $c$ and size $p^{c+1}$? If this is not true, is it possible to add some additional ...
2
votes
0answers
72 views

When is the restriction map $res:H^2(G,U(1))\to H^2(Z_p\times Z_p,U(1))$ not the zero map?

Consider $G$ to be a finite group with non-trivial Schur Multipler $H^2(G,U(1))$, where $G$ acts trivially on the circle group $U(1)$. By Example of a Schur-nontrivial group with no abelian subgroup ...