Skip to main content

Questions tagged [gr.group-theory]

Questions about the branch of algebra that deals with groups.

Filter by
Sorted by
Tagged with
0 votes
0 answers
8 views

A question about coprime automorphisms of profinite groups

Let $p$ a prime. A finite group is a $p'$-group if its order is prime to $p$. Let $A$ be a finite $p'$-group of automorphisms of a finite $p$-group $G$. Suppose that $A$ is a non-cyclic abelian group. ...
Nobody's user avatar
  • 869
1 vote
0 answers
50 views

Definition of free profinite product of infinitely many groups

If we have profinite groups $G_1,...,G_n$ we can define its free profinite product in the natural way. But this natural definition (similar to the abstract case but in the category of profinite groups)...
Lucas's user avatar
  • 299
1 vote
0 answers
96 views

Infinite closed subgroup of ${\rm SL}_{n}(\mathbb{F}_{p}[[T]])$ with full residual image

Let $\mathbb{F}_{p}$ be a finite field of order $p$, $\mathbb{Z}_p$ be the ring of $p$-adic integers and $\mathbb{F}_{p}[[T]]$ be the ring of formal power series over $\mathbb{F}_{p}$. For $p\geq 5$, ...
stupid boy's user avatar
0 votes
0 answers
109 views

Model-theoretic construction of Gromov boundaries on groups

For context, I'm only a second year undergraduate mathematician, so I won't know much. For third year, I'm hoping to do a research project. I met up with a professor who might be my supervisor today, ...
CatsAndDogs's user avatar
5 votes
0 answers
78 views

$M^3$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not virtually nilpotent?

Let $M$ be a closed, orientable, irreducible 3-manifold and having an infinite fundamental group. Is it true that $M$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not ...
YC Su's user avatar
  • 73
2 votes
0 answers
85 views

Can we find background noise for every Følner sequence in a countable amenable group?

Let $G$ be a countable amenable group. We consider sequences $(z_g)_{g\in G}$ of complex numbers with $|z_g|=1$ for all $g\in G$. I will say $(z_g)_{g\in G}$ is background noise for a (left-)Følner ...
Saúl RM's user avatar
  • 8,656
1 vote
1 answer
71 views

The stabilizer of a point in the connected Lorentz group

$\DeclareMathOperator\SO{SO}$For $n\geq 2$, the $n$-dimensional connected Lorentz group is defined as $$\SO(n-1,1)^{\uparrow}=\{f\in M_n (\mathbb{R}):f^T\eta f=\eta, \det (f)=1,f^0_0>0\}$$ where $$...
Mahtab's user avatar
  • 267
10 votes
1 answer
652 views

Does some knot group fail to surject onto any alternating group?

Are there known examples of knot groups that do not surject onto any alternating group? I would be a little surprised if the answer is negative. Update: To reflect the interesting part of the question,...
Shijie Gu's user avatar
  • 2,043
12 votes
2 answers
523 views

Generators of a group and normal subgroups

Can we say anything about a minimal generating set of a finite group based on its normal subgroups? For example, can we bound their order, or say whether they come from the same conjugacy class? An ...
utx7563yu's user avatar
  • 165
0 votes
1 answer
147 views

Hyperoctahedral group, preliminaries [closed]

I am looking for information on the hyperoctahedral group From what I understand, the hyperoctahedral group is 'the generalized symmetric group' in the case where $m=2$. That is, the hyperoctahedral ...
ness's user avatar
  • 103
5 votes
1 answer
721 views

An unpublished calculation of Gauss and the icosahedral group

According to p. 68 of Paul Stackel's essay "Gauss as geometer" (which deals with "complex quantities with more than two units") , Gauss calculated the coordinates of the vertices ...
user2554's user avatar
  • 1,919
4 votes
0 answers
123 views

Density of numbers where a large prime factor satisfies a congruence

I am looking for an upper bound on the number of integers $n<x$ such that $n$ has a prime factor $p>\log(x)^{(1+\delta)}$ such that $p \equiv a \mod b$. Where $a,b$ are fixed and coprime and $0&...
AsksQuestionsAboutMath's user avatar
5 votes
1 answer
169 views

On Suzuki 2-groups being 2-Sylow subgroups

$\DeclareMathOperator\Sz{Sz}\DeclareMathOperator\SU{SU}$Recall the definition of the finite Suzuki 2-groups: These are finite non-abelian 2-groups that contain more than one involution such that a ...
user44312's user avatar
  • 603
3 votes
0 answers
141 views

Centers and conjugacy classes of groups relative to a pair of group homomorphisms

$\newcommand{\defeq}{\mathbin{\overset{\mathrm{def}}{=}}}$Given a group $G$, its center $\mathrm{Z}(G)$ and set of conjugacy classes $\mathrm{Cl}(G)$ are defined by \begin{align*} \mathrm{Z}(G) &\...
Emily's user avatar
  • 11.3k
2 votes
0 answers
109 views

What is the name of the largest subobject where a map is equivariant?

Suppose we have two objects $X,Y$ with a $G$-operation and a non-equivariant map between them. In this situation, we can look at the largest subobject $X'$ of $X$ on which $f$ is $G$-equivariant. Is ...
HenrikRüping's user avatar
-2 votes
0 answers
50 views

Tangent space of Lie group SO(n) [migrated]

I have a potentially simple question here, about the tangent space of the Lie group SO(n), the group of orthogonal $n\times n$ real matrices (I'm sure this can be asked more generally). For any $R\in \...
CComp's user avatar
  • 119
2 votes
0 answers
92 views

Crossed homomorphism as morphism in the ambient category

Suppose we are given a crossed-homomorphism $\phi:G\to A$ (and an action $\alpha$ of $G$ on $A$) $\phi(ab)=\phi(a)+\alpha(a)(\phi(b))$. Now, unless the action is trivial, this is not a homomorphism ...
rick's user avatar
  • 179
4 votes
2 answers
212 views

Maximal subgroups of finite abelian $2$-groups

Suppose $G$ is a finite abelian $2$-group, and $S$ is a subset of $G$, $\langle S\rangle=G$,$S^{-1}=S$,$e\notin S$. How to determine whether there exists a maximal subgroup $M$ of $G$, such that $S$ ...
lunch zheng's user avatar
6 votes
1 answer
440 views

Are Artin-Tits groups ordered groups?

We consider Artin-Tits groups of two generators $(I_2(n))$. Are these groups ordered groups?
navashree chanania's user avatar
11 votes
2 answers
766 views

H^2 of symmetric group

I'm a number theorist in need of some group cohomology lemmas, and I'm rather bewildered by the level of generality used in the literature. Specifically, the result I need is as follows: the ...
Evan O'Dorney's user avatar
6 votes
0 answers
148 views

What are the possible symmetry groups of n-point constructions in the projective plane?

Let $k$ be an infinite field, perhaps take $k = \mathbb{C}$ if it simplifies matters. I will be asking a question about $\mathbb{P}^2$ for definiteness and to simplify definitions/notations, but feel ...
Gro-Tsen's user avatar
  • 30.3k
4 votes
0 answers
118 views

On dual notions of morphisms of algebraic structures obtained by replacing equaliser with coequalisers

This question is based on this discussion from the Category Theory Zulip. See also the earlier question Natural cotransformations and "dual" co/limits. Let $G$ and $H$ be groups. We define ...
Emily's user avatar
  • 11.3k
12 votes
1 answer
929 views

Necessary and sufficient conditions for the Cayley graph to be bipartite

Let $G$ be a finite group with identity $1$. If $S$ be an inverse closed generated subset of $G$, then $S$ is called a Cayley subset of $G$.The Cayley graph $\Gamma=\operatorname{Cay}(G, S)$ is a ...
lunch zheng's user avatar
1 vote
0 answers
170 views

The existence of solutions to linear systems of equations over the integer ring $\mathbb{Z}$

There are already detailed results on the solutions of linear equations over fields, but I'd like to inquire about any good conclusions regarding the solutions of linear equations over the integer ...
lunch zheng's user avatar
2 votes
1 answer
126 views

Relativisation of Higman's embedding theorem

Higman's embedding theorem says that any finitely generated recursively presentable group is embeddable in a finitely presentable group. The converse is also true (a finitely generated subgroup of a ...
tomasz's user avatar
  • 1,238
8 votes
1 answer
177 views

Integral homology of groups with finite exponent

I'm interested in the homology of infinite groups and especially in low-dimension integral homology. If $G$ is a locally finite group of finite exponent, one has that also $H_*(G;\mathbb{Z})$ has ...
Alex Doe's user avatar
  • 287
0 votes
1 answer
234 views

Commutator group and conjugacy classes

Let $G$ be a finite solvable group which is not nilpotent, and let $H=[G,G]$ be the commutator subgroup of $G$. Does the following hold for $G$ and $H$? "There exists $g \in G \setminus H$ and $h ...
User01's user avatar
  • 207
3 votes
1 answer
98 views

Point stabilizers of the Floyd boundary of a group

Let $G$ be a finitely generated group. Consider the Floyd boundary as defined in https://www.unige.ch/math/folks/karlsson/free.pdf by A. Karlsson. For a Floyd function f, we denote the Floyd boundary ...
ggt001's user avatar
  • 181
4 votes
0 answers
158 views

A partial order on conjugacy classes

My esteemed colleague Nathan Bowler has drawn my attention to the following partial order. Let $G$ be a group of permutations of an infinite set $X$. If $\sigma$ and $\tau$ are elements of $G$ we say ...
Thomas Forster's user avatar
4 votes
2 answers
507 views

Groups whose derived length is logarithmic in the order?

Is there a class of solvable groups $G$ having a derived length $O(\log\lvert G\rvert)$? See Wikipedia for the definition of Big-Oh ($O$) and the definition of derived series of a group. Any help ...
User01's user avatar
  • 207
0 votes
0 answers
56 views

*-Representation of a discrete group as a sum of cyclic representations

A cyclic representation on a Hilbert space is one where there exists a vector such that, under the action of the representation, this vector spans the entire Hilbert space. It is known that every *-...
Filipe Viseu's user avatar
4 votes
0 answers
59 views

Alternating bihomomorphism is a skew 2-cocycle

It seems to be a well-known fact that every alternating bihomomorphism $G\times G\to\mathbb{C}^\times$ for a finite abelian group $G$ is the skew of some 2-cocycle (see for instance Symmetric analogue ...
Josep's user avatar
  • 41
2 votes
1 answer
404 views

Conjecture about semigroups

Let $G$ be a finite semigroup with order $n$ odd. Let $S_i \in G, i=1,\ldots,\binom{n}{(n+1)/2}$ be all the subsets of $G$ of size $(n+1)/2$. Let $E(S_i)$ be the set obtained "expanding" $...
Fabius Wiesner's user avatar
0 votes
0 answers
53 views

A stronger(?) notion than uniform contractibility

Let's call a metric space $ X $ strongly contractible if there exists a function $ \rho : \mathbb{R}_+ \to \mathbb{R}_+ $ such that for every ball $ B(x;r) $ around a point $ x \in X $ we have: $ B(x;...
Aditya De Saha's user avatar
4 votes
0 answers
152 views

Largest primitive subgroup of $\mathrm{GL}_8(\mathbb{C})$ of order $2^a 3^b 5^c$

The paper "Bounds for finite primitive complex linear groups" by M. Collins computes the largest possible value of $[G:Z(G)]$ for $G$ a primitive subgroup of $\mathrm{GL}_N(\mathbb{C})$, for ...
Irwin's user avatar
  • 123
0 votes
0 answers
86 views

When $G$ is amenable is true that for a set $A \in p$ which is left piecewise syndetic then $\{ x: Ax^{-1} \in p \}$ is both sided syndetic?

Let be $G$ be a discrete group. I recall the definition of syndetic sets, thick sets and piecewise syndetic sets. Definitions: A set $A$ is left syndetic if there exist a finite $H \subset G$ such ...
3m0o's user avatar
  • 101
13 votes
1 answer
377 views

Number of finite groups: is $\operatorname{gnu}(4n) \geq 2 \operatorname{gnu}(n)$?

Let $\operatorname{gnu}(n)$ be the number of finite groups of order $n$. Question: Is it true that $\operatorname{gnu}(4n) \geq 2 \operatorname{gnu}(n)$ for all $n \geq 1$? Surely this must be true, ...
testaccount's user avatar
2 votes
1 answer
215 views

Normalizer of Levi subgroup

Let $G$ be a reductive group (we can work on an algebraically closed field if needed) and let $L$ be a parabolic subgroup, i.e. the centralizer of a certain torus $T \subseteq G$. Associated with this ...
a_g's user avatar
  • 53
3 votes
1 answer
109 views

Involution of $\text{GL}_{m+n}(\mathbb{C})$ fixing Levi and exchanging parabolic subgroups

Is there any involution of $\text{GL}_{m+n}$ which is the identity on $\text{GL}_m\times\text{GL}_n\subset\text{GL}_{m+n}$ and that exchanges the positive and negative associated parabolic subgroups $...
jrg's user avatar
  • 33
4 votes
0 answers
88 views

Non-monotileable amenable groups

This is crossposted from MSE. We say a subset $A$ of a group $G$ is a monotile for $G$ if $G$ is a disjoint union of right translates of $A$. In his article Monotileable Amenable Groups, B. Weiss ...
Saúl RM's user avatar
  • 8,656
3 votes
1 answer
391 views

Is Malcev completion an embedding?

The Malcev completion of an abstract group $G$ over a field $k$ of characteristic zero is defined by $$\hat G = \mathbb{G}(\widehat{k[G]}) ,$$ the group-like part of the completed (by the augmentation ...
Qwert Otto's user avatar
0 votes
0 answers
169 views

How might someone with a background in group theory start research into topos theory?

The Question: How might an early career mathematician with a background of research in group theory start research into topos theory? I want links between the two areas, not career advice, though it ...
Shaun's user avatar
  • 369
0 votes
0 answers
147 views

Up to what order have finite groups been classified? [duplicate]

All finite simple groups have been classified, and the classification of finite groups is thought to be wild. So, up to what order have finite groups been classified? Wikipedia tells us that it is ...
Bobby-John Wilson's user avatar
2 votes
1 answer
97 views

Finite group extensions of lattices

I'm currently reading the proof of Geroch's conjecture in Lawson-Michelsohn's Spin Geometry book and in the proof of Proposition IV.5.8 that every Ricci-flat enlargeable manifold is flat the following ...
pizzalberto's user avatar
4 votes
0 answers
96 views

Complex reflection groups: reference request

Suppose that $V$ is a finite-dimensional complex vector space, that $m\ge 2$ is an integer and that $G\subset \operatorname{GL}(V)$ is a finite subgroup such that $V$ is an irreducible ${\mathbb{C}}[G]...
inkspot's user avatar
  • 3,102
6 votes
1 answer
175 views

On intersection of finite index fully invariant subgroup

Let $G$ be a group. A subgroup $H$ of $G$ is said to be fully invariant if for every endomorphism $\phi $ of $G$, we have $\phi(H) \subseteq H$. For a finitely generated residually finite group $G$, ...
Shri's user avatar
  • 335
2 votes
0 answers
59 views

Amplification argument for hyperlinear groups

Let us define a group $G$ to be a hyperlinear group if it satisfies the conclusion of Theorem 3.6. in these notes by Vladimir Pestov. It is well-known that one can use the so-called amplification ...
Keivan Karai's user avatar
  • 6,112
6 votes
1 answer
135 views

Separability in Coxeter groups

I am looking for a reference for the following statement: Theorem. Let $\Gamma$ be a finite labelled graph and $C(\Gamma)$ the corresponding Coxeter group. For every $\Xi \subset V(\Gamma)$, the ...
AGenevois's user avatar
  • 7,761
3 votes
0 answers
70 views

Connection between certain finite groups and Frobenius algebras

This question is maybe not so precise yet, but contains some ideas that maybe just search for the right definition. Let $G=F/U$ be a finite group with presentation $F/U$ (here the presentation really ...
Mare's user avatar
  • 26.2k
9 votes
3 answers
846 views

Finding a nilpotent, infinite, f.g., virtually abelian, irreducible integer matrix group

I was wondering if anyone here knows of an example of a group $M \leq \mathrm{GL}_n(\mathbb{Z})$ which is nilpotent, infinite, finitely generated, virtually abelian, irreducible (over $\mathbb{Z}$ or ...
Max Horn's user avatar
  • 5,264

1
2 3 4 5
160