Linked Questions

55 votes
13 answers

Cardinalities larger than the continuum in areas besides set theory

It seems that in most theorems outside of set theory where the size of some set is used in the proof, there are three possibilities: either the set is finite, countably infinite, or uncountably ...
Daniel Miller's user avatar
24 votes
8 answers

Applications of logic to group theory?

There seems to be an ever-growing literature on the first-order theory of groups. While I find this interaction between group theory and logic quite appealing, I was wondering the following: Are ...
Ganon's user avatar
  • 359
11 votes
4 answers

Is there a non-trivial group G isomorphic to Aut(G)?

The title basically says it all. Is there a group with more than one element that is isomorphic to the group of automorphisms of itself? I'm mainly interested in the case for finite groups, although ...
user avatar
12 votes
1 answer

Find finite groups $G\cong Aut(G)$

I become interested in this problem because $G\cong Aut(G)$ suggests a special symmetry in $G$ (This kind of group describes its own symmetry). From $G/Z(G)\cong Inn(G)$ we know complete group is the ...
Yuanzhao's user avatar
  • 155
33 votes
1 answer

Two groups that are the automorphism groups of each other

Let $H,K$ be two non-isomorphic groups such that $H\cong Aut(K)$ and $K\cong Aut(H)$. Is there any example of such groups ? Note: I had asked the question there.
mesel's user avatar
  • 1,169
13 votes
1 answer

Iterated Automorphism Groups

Notation: For each group $G$ define: $Aut^{(0)}(G):=G$ $Aut^{(1)}(G):=Aut(G)$ $\forall n\geq 1~~~Aut^{(n+1)}(G):=Aut(Aut^{(n)}(G))$ Question: Consider $I\subseteq \omega$. Is there a group $G$ ...
user avatar
12 votes
1 answer

On the iterated automorphism groups of the cyclic groups

Let $C_n$ be the cyclic group of order $n$. Its automorphism group $Aut(C_n)$ is a group of order $\varphi(n)$ isomorphic to $(\mathbb{Z}/n\mathbb{Z})^{\times}$ the multiplicative group of integer ...
Sebastien Palcoux's user avatar
8 votes
1 answer

Conditions for a finite group to be isomorphic to its automorphism group

So in the interest of gaining a better understanding of a conjecture (due to Scott, 1960) on the automorphism series (first part of the automorphism tower, no direct limits) of a finite group that ...
Justin Benfield's user avatar
9 votes
0 answers

Groups with trivial outer automorphism group and prescribed center?

Given an arbitrary abelian group $A$, can we find a group $G$ such that $\mathrm{Out}(G)=\mathrm{Aut}(G)/\mathrm{Inn}(G)=1$, and $Z(G)\simeq A$? Why is this interesting? Given a group $G$, we have ...
Charles Rezk's user avatar
  • 26.5k
11 votes
0 answers

Iterated automorphism groups of finite groups

Let $\mathcal{G}$ be the set of isomorphism classes of finite groups. There is an operation $\mathrm{Aut} : \mathcal{G} \rightarrow \mathcal{G}$ which gives the automorphism group of a given group, ...
Adam P. Goucher's user avatar
2 votes
0 answers

Status of the automorphism tower problem for finite groups

This is problem 11.123 in the Kourovka notebook: For a given group $G$, define the following sequence of groups: $A_1(G) = G$, $A_{i+1}(G) = \operatorname{Aut}(A_i(G))$. Does there exist a finite ...
semisimpleton's user avatar