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

learn more… | top users | synonyms (1)

4
votes
3answers
441 views

Jordan-Hölder theorem for subfactors?

All the subfactors $(N\subset M)$ are irreducible and finite index inclusions of II$_1$ factors. First recall that in this paper, D. Bisch characterizes the Jones projections $e_K$ of the ...
8
votes
2answers
857 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 ...
109
votes
7answers
7k views

Does $\mathrm{Aut}(\mathrm{Aut}(…\mathrm{Aut}(G)…))$ stabilize?

Purely for fun, I was playing around with iteratively applying $\DeclareMathOperator{\Aut}{Aut}\Aut$ to a group $G$; that is, studying groups of the form $$ {\Aut}^n(G):= \Aut(\Aut(...\Aut(G)...)) $$ ...
11
votes
3answers
1k views

Is there a purely group-theoretic reformulation of an equivalence of subgroups?

There is an equivalence relation between inclusion of finite groups coming from the world of subfactors: Definition: $(H_{1} \subset G_{1}) \sim(H_{2} \subset G_{2})$ if $(R^{G_{1}} \subset ...
66
votes
3answers
6k views

Does every non-empty set admit a group structure (in ZF)?

It is easy to see that in ZFC, any non-empty set $S$ admits a group structure: for finite $S$ identify $S$ with a cyclic group, and for infinite $S$, the set of finite subsets of $S$ with the binary ...
16
votes
1answer
753 views

Examples of finite groups with “good” bijection(s) between conjugacy classes and irreducible representations?

For symmetric group conjugacy classes and irreducible representation both are parametrized by Young diagramms, so there is a kind of "good" bijection between the two sets. For general finite groups ...
10
votes
2answers
697 views

Number of isomorphism types of finite groups

Are there some good asymptotic estimations for the number $F(n)$ of non-isomorphic finite groups of size smaller than $n$?
2
votes
1answer
490 views

Abelian subfactors, a relevant concept?

Through the questions below, this post asks whether the concept of abelian subfactor is relevant. Remark : here abelian qualifies an inclusion of II$_1$ factors $(N \subset M)$, $N$ is not an abelian ...
0
votes
2answers
140 views

Products of maximal inclusions of finite groups with a non-obvious intermediate

Let $(H_1 \subset G_1)$ and $(H_2 \subset G_2)$ be core-free maximal inclusions of finite groups. Their product, the inclusion $(H_1 \times H_2 \subset G_1 \times G_2)$, admits four obvious ...
2
votes
0answers
263 views

Are the homogeneous single chain subfactors, Dedekind?

Background: See here and there. Recall that a subfactor is Dedekind if all its intermediate subfactors are normal. A subfactor $(N \subset M)$ is Homogeneous Single Chain (HSC) if its lattice ...
36
votes
1answer
2k views

What is the current status of the Kaplansky zero-divisor conjecture for group rings?

Let $K$ be a field and $G$ a group. The so called zero-divisor conjecture for group rings asserts that the group ring $K[G]$ is a domain if and only if $G$ is a torsion-free group. A couple of good ...
39
votes
5answers
3k views

when is A isomorphic to A^3?

this is totally elementary, but I have no idea how to solve it: let $A$ be an abelian group such that $A$ is isomorphic to $A^3$. is then $A$ isomorphic to $A^2$? probably no, but how construct a ...
13
votes
2answers
831 views

Orbit structures of conjugacy class set and irreducible representation set under automorphism group

let G be a [EDIT: FINITE] group. Suppose C is the set of conjugacy classes of G and R is the set of (equivalence classes of) irreducible representations of G over the complex numbers. The ...
9
votes
1answer
342 views

Factorization of a finite group by two subsets

I want to write a GAP program for checking the following question. Let $G$ be a given finite group with order $n$. Is it true that for every factorization $n=ab$ there exist subsets $A$ and $B$ ...
3
votes
1answer
224 views

Normal intermediate subgroup and normal core

Let $G$ be a finite group and $H$ a subgroup. The normal core of $H$ in $G$ is $core_G(H) := \bigcap_{g \in G}g^{-1}Hg$ Definition: $K$ is a normal intermediate subgroup of the inclusion $(H ...
3
votes
3answers
194 views

Relatively free algebras in a variety generated by a single algebra

Suppose $A$ is an algebra of signature $\mathcal{L}$ and $V=Var(A)$ is the variety generated by $A$. I want to know is it possible to classify relatively free elements of $V$? As a special case, for a ...
2
votes
1answer
357 views

A second isomorphism theorem for the inclusions of groups

The usual second isomorphism theorem for groups is: let $G$ be a group, $S$ and $N$ subgroups with $N$ normal, then $SN$ is a subgroup of $G$, $S\cap N$ is a normal subgroup of $S$ and $SN/N \simeq ...
22
votes
7answers
4k views

The finite subgroups of SU(n)

This question is inspired by the recent question "The finite subgroups of SL(2,C)". While reading the answers there I remembered reading once that identifying the finite subgroups of SU(3) is still an ...
62
votes
2answers
2k views

How feasible is it to prove Kazhdan's property (T) by a computer?

Recently, I have proved that Kazhdan's property (T) is theoretically provable by computers (arXiv:1312.5431, explained below), but I'm quite lame with computers and have no idea what they actually ...
28
votes
14answers
3k views

Fantastic properties of Z/2Z

Recently I gave a lecture to master's students about some nice properties of the group with two elements $\mathbb{Z}/2\mathbb{Z}$. Typically, I wanted to present simple, natural situations where the ...
27
votes
4answers
2k views

For which $n$ is there only one group of order $n$?

Let $f(n)$ denote the number of (isomorphism classes of) groups of order $n$. A couple easy facts: If $n$ is not squarefree, then there are multiple abelian groups of order $n$. If $n \geq 4$ is ...
20
votes
1answer
1k views

Order of products of elements in symmetric groups

Let $n \in \mathbb{N}$. Is it true that for any $a, b, c \in \mathbb{N}$ satisfying $1 < a, b, c \leq n-2$ the symmetric group ${\rm S}_n$ has elements of order $a$ and $b$ whose product has order ...
14
votes
5answers
1k views

A general formula for the number of conjugacy classes of $\mathbb{S}_n \times \mathbb{S}_n$ acted on by $ \mathbb{S}_n$

$\def\S{\mathbb{S}}$ Dear all, So I have $\S_n$ acting on $\S_n \times \S_n$ via conjugacy. That is: for $g \in \S_n, (x,y) \in \S_n \times \S_n$: $g(x,y) = (gxg^{-1},gyg^{-1}).$ Is there a general ...
12
votes
2answers
834 views

(co)homology of symmetric groups

Let $S_n=\{\text{bijections }[n]\to[n]\}$ be the n-th symmetric group. Its (co)homology will be understood with trivial action. What are the $\mathbb{Z}$-modules $H_k(S_n;\mathbb{Z})$? Using GAP, we ...
10
votes
5answers
3k views

infinite permutations

This question is related to this one: Continued fractions using all natural integers. Suppose we have the set of natural numbers $N$ with order and we perform permutation on it. So we obtain the same ...
12
votes
3answers
904 views

Is there any criteria for whether the automorphism group of G is homomorphic to G itself?

In the elementary group theory we know that for the symmetric groups $S_n$, except $S_6$, we have $Aut(S_n) \cong S_n$. Then the following question is natural: What is the necessary and sufficient ...
23
votes
2answers
725 views

Are the inner automorphisms the only ones that extend to every overgroup?

Let H be a group. Can we find an automorphism $\phi :H\rightarrow H$ which is not an inner automorphism, so that given any inclusion of groups $i:H\rightarrow G$ there is an automorphism $\Phi: ...
17
votes
8answers
2k views

Finitely presented sub-groups of GL(n,C)

Here are two questions about finitely generated and finitely presented groups (FP): 1) Is there an example of an FP group that does not admit a homomorphism to $GL(n,C)$ with trivial kernel for any ...
10
votes
3answers
930 views

A problem on a specific integer partition

Let $n$ be a positive integer, we consider partitions of the following form : $$n = d^{2}_{1} + d^{2}_{2} + ... + d^{2}_{r}$$ such that : $d_{i}\vert n$ $1=d_{1}<d_{2} \le d_{3} \le ... \le ...
8
votes
5answers
2k views

What are the normal subgroups of a direct product?

Let $N$ be a normal subgroup of $G \times H$, and let $\pi_1: G \times H \to G$ and $\pi_2: G \times H \to H$ be the canonical projections. Then $\pi_1(N)$ is normal in $G$ and $\pi_2(N)$ is normal in ...
5
votes
1answer
368 views

dual of Z^I for uncountable I

Let $I$ be an infinite set. There is a homomorphism of abelian groups $\mathbb{Z}^{(I)} \to \hom(\mathbb{Z}^I,\mathbb{Z})$ which sends the basis element $e_i$ to the projection $p_i$. If $I$ is ...
16
votes
3answers
1k 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$ ...
11
votes
0answers
527 views

Groups generated by 3 involutions

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 ...
11
votes
2answers
426 views

Checking whether given binary operation is a group operation

Given a binary function $f: [1..n] \times [1..n] \to [1..n]$ how to check that this operation is a group operation on $[1..n]$? It's obvious that this can be done in $O(n^3)$ time just by checking ...
10
votes
2answers
1k views

Example of Noetherian group (every subgroup is finitely generated) that is not finitely presented

A Noetherian group (also sometimes called slender groups) is a group for which every subgroup is finitely generated. (Equivalently, it satisfies the ascending chain condition on subgroups). A ...
14
votes
1answer
659 views

Number of conjugacy classes in GL(n,Z)

Like every other group also $\mbox{GL}(n,\mathbb{Z})$ acts on the set of all its subgroups, by conjugation: if $\phi \in \mbox{GL}(n,\mathbb{Z})$, then $\phi$ acts by $H \mapsto \phi H \phi^{-1}$, ...
10
votes
1answer
316 views

Extensions isomorphic as groups but not congruent or pseudo-congruent

I'm looking for an example of a finite abelian group A and a finite group G acting trivially on A such that there are two extensions $E_1$ and $E_2$ with base A and quotient G (i.e., they are both ...
6
votes
2answers
812 views

If $G \times G \cong H \times H$, then is $G \cong H$? [duplicate]

Let $G,H$ groups. Suppose that $G \times G \cong H \times H$. Then is necessarily $G \cong H$? I know that if $G,H$ are finite groups then it is true (you show that the map $FinGrp \rightarrow ...
6
votes
2answers
2k views

Zero divisor conjecture and idempotent conjecture

Let $G$ be a torsion-free group and $C$ the ring of complex numbers. The zero divisor (idempotent, resp.) conjecture is that there is no nontrivial zerodivisor (idempotent, resp.) in $CG$. The wiki ...
5
votes
1answer
195 views

Jordan-Hölder theorem for planar algebras?

First recall the Jordan-Hölder theorem for groups: Theorem (Jordan-Hölder): Let $G$ be a group, and let $$ G=G_1 \supset G_2 \supset \dots \supset G_r = \{ e \} $$ be a normal tower such that ...
5
votes
2answers
355 views

Decomposing the conjugacy representation of Sym$(n)$ for small $n$

I am trying to compute the decomposition of the conjugacy representation of some small symmetric groups. Perhaps someone has undertaken a similar calculation. My own calculations are quite slow, ...
5
votes
4answers
591 views

Structure of the adjoint representation of a (finite) group (Hopf algebra) ?

Every group acts on itself by conjugation $h \mapsto g h g^{-1}$. Respectively considering functions on a group we obtain a linear representation. Question 1: what is known about this representation ...
4
votes
2answers
569 views

Decomposing representations of finite groups

Let $G$ be a finite group, $p$ a prime number. We denote by $\mathbb{F}_p$ the field of cardinality $p$. Let $V$ be an infinite dimensional representation of $G$ over $\mathbb{F}_p$. Must there be ...
4
votes
2answers
520 views

Chevalley Groups over an arbitrary ring.

My question is simply about the Chevalley groups over rings. In many books, including Carter's book on "Simple groups of Lie types", the groups are considered over fields. I have checked the ...
2
votes
0answers
246 views

A dual version of a theorem of Øystein Ore in group theory

This post is a dual version for the Generalization of a theorem of Øystein Ore in which it's proved: Theorem: Let $(H \subset G)$ be an inclusion of finite groups such that the lattice ...
2
votes
1answer
202 views

An upper bound for the maximal subgroups at fixed index?

Let us call a subgroup an injective homomorphism between groups. I warn the reader that a subgroup designates here an inclusion $(H \subset G)$, not $H$ alone. A subgroup $H \subset G$ is ...
9
votes
1answer
502 views

Homomorphisms from powers of Z to Z

I believe it is known that if I is a set of non-measurable cardinality, then any homomorphism $Z^I\to Z$ factors through a finite power. Here $Z$ is the group of integers. Can anyone give a ...
6
votes
1answer
255 views

Reference for embeddings of reflection groups (related to folding ADE Coxeter graphs?

There are a couple of indirect methods, using Lie theory or Springer's general theory of regular elements in (real, complex) reflection groups, to construct natural embeddings among certain Weyl ...
4
votes
2answers
279 views

Powers of finite simple groups

I have heard about the following result: for each finite simple non-abelian group $S$ and each natural number $r\ge 2$ there exists a number $n=n(r,S)$ such that the power $S^n$ is $r$-generator but ...
4
votes
2answers
282 views

Schreier's index formula

A finitely generated group G is said to satisfy Schreier's index formula if for every subgroup H of index k in G we have: d(H) - 1 = k(d(G) - 1). For example, a finitely generated free group satisfies ...