**30**

votes

**1**answer

599 views

### 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.

**22**

votes

**2**answers

1k views

### Does this poset have a unique minimal element?

Recently I have been thinking about the following poset: the underlying set is $\mathcal{AFT}$ consisting of all (finite) automorphism-free undirected trees (with at least one edge to exclude the ...

**15**

votes

**0**answers

290 views

### Maximum automorphism group for a 3-connected cubic graph

The following arose as a side issue in a project on graph reconstruction.
Problem: Let $a(n)$ be the greatest order of the automorphism group of a 3-connected cubic graph with $n$ vertices. Find a ...

**13**

votes

**6**answers

791 views

### Does the linear automorphism group determine the vector space?

I was recently thinking about what it means to put structure on a set. It seems to me that, in my area (representation theory), the two main ways of imposing structure on a set $X$ are:
...

**13**

votes

**2**answers

1k views

### Realizing groups as automorphism groups of graphs.

Frucht showed that every finite group is the automorphism group of a finite graph. The paper is here.
The argument basically is that a group is the automorphism group of its (colored) Cayley graph
...

**13**

votes

**1**answer

439 views

### Automorphisms of $P(\Bbb N)$

I believe I've proved that the power semigroup of non-negative integers with addition has a trivial automorphism group. The proof is a bit long, completely elementary and rather unremarkable (as the ...

**12**

votes

**1**answer

719 views

### 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 ...

**11**

votes

**2**answers

1k views

### Example of a Group which has $\text{SL}_{n}(\mathbb{Z})$ as the automorphism group

For the past one week, I have been trying to learn more about Automorphism groups of different groups. Very recently one of my friend asked this question to me:
What is the Autmorphism group of ...

**11**

votes

**1**answer

437 views

### 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$ ...

**9**

votes

**2**answers

479 views

### Outer automorphisms of free groups into bigger free groups

This may be very either very simple or very unknown, but here goes: Let $F_n$ be the free group on $n$ generators and $Out(F_n)$ its outer automorphism group.
Can embeddings $Out(F_n) ...

**9**

votes

**1**answer

312 views

### Do varieties with ample canonical bundle have finite automorphism group in small characteristic?

Suppose $X$ is a smooth projective variety over a field $k$, with ample canonical bundle. If $\operatorname{char}(k)=0$ or $\operatorname{char}(k)>\dim(X)$ and $X$ lifts to $W_2(k)$ (thanks ...

**8**

votes

**2**answers

507 views

### Proving that a generic variety with ample canonical bundle has no automorphisms

Let $X$ be a smooth projective connected variety over the complex numbers with ample canonical bundle. If $X$ is generic and $\dim X \leq1$, the automorphism group of $X$ is trivial, see for instance
...

**8**

votes

**1**answer

140 views

### Is the center of the automorphism group of a von Neumann algebra M trivial whenever M is a factor?

Question: Is the center of the automorphism group of a von Neumann algebra $\mathscr{M}$ trivial (=$\{\mathrm{id}\}$) whenever $\mathscr{M}$ is a factor (=$\mathscr{M}$ has center $\{\lambda I; ...

**8**

votes

**1**answer

345 views

### Automorphisms of generic complete intersections

This question concerns a seemingly folk lore result, which states that automorphism groups of generic complete intersections are trivial, under certain assumptions.
To state the question, let $r \geq ...

**7**

votes

**4**answers

377 views

### On the fixed point of automorphism of F_3[[T]]

Consider the automorphism $\sigma$ on ${\Bbb F}_3[[T]]$ such that $T \mapsto c_1T + f(T)$ with $c_1 = 1$ or $-1$, and $f(T) \not=0$ and the non-zero leading term $c_mT^m$ of $f(T)$ satisfies $m \geq ...

**7**

votes

**1**answer

365 views

### Maximal subgroups of a certain finite 2-group

The following came up in a problem on reconstruction of digraphs. I determined enough about the answer to satisfy the application completely, but still I am curious to know what the complete solution ...

**7**

votes

**1**answer

2k views

### Sylow subgroups invariant under an automorphism

Let $G$ be a finite group and $\sigma$ an automorphism of $G$. Suppose $p$ is a prime and $\sigma$ has prime order $q \neq p$. It's easy to see that $\sigma$ fixes a Sylow $p$-subgroup of $G$ if ...

**7**

votes

**2**answers

533 views

### Automorphisms of subgroup of hamming cube under distance constraint

Let $S$ be a subset of $\{0,1\}^n$ such that any two elements of $S$ are at least (Hamming) distance 5 apart. I'm looking for an upper bound on the size of the automorphism group of $S$.
There's a ...

**6**

votes

**4**answers

353 views

### Is the conjugacy problem solvable in $Out(F_n)$?

There is a paper of Martin Lustig on his webpage giving a positive answer to the conjugacy problem for the outer automorphism group of the free group $F_n$. On the other hand, there seems not to be a ...

**6**

votes

**1**answer

514 views

### Automorphism group of a finite group

I would like to ask if there exists an explicit description of $\mathrm{Aut}(G)$, the group of automorphisms of a finite group $G$, in particular, when $G$ is abelian. E.g., if $G = ...

**6**

votes

**1**answer

340 views

### Automorphism groups of virtually cyclic groups

Let $V$ be a virtually cyclic group.
Then is $Aut(V)$ also a virtually cyclic group?
This is true when $V$ is a finite group (zero-ended) and when $V = C_\infty, D_\infty$ (both two-ended).

**6**

votes

**1**answer

240 views

### A restatement, in terms of the semi-group product of the left-invariant completion of a Polish group, of http://mathoverflow.net/questions/71389

This is a re-statement, of sorts, of Is there a relational countable ultra-homogeneous structure whose countable substructures do not have the amalgamation property?, so far unanswered.
Let $G$ be a ...

**6**

votes

**1**answer

668 views

### Automorphisms of Generic Abelian Varieties

Automorphism groups of elliptic curves are very well understood. Of course, every elliptic curve has the automorphism $[-1]$ of order $2$. If we are over a (algebraically closed) field, this is the ...

**6**

votes

**2**answers

378 views

### How big $|Aut(M)|$ can be, given $|\partial Aut(M)|$?

My apologies: There were a couple of typos in the original question. Hope I got them all.
Let $\kappa$ be an uncountable cardinal of cofinality $\omega$ and $M$ a model of size $\kappa$. We equip ...

**5**

votes

**2**answers

191 views

### Condition(s) for the full autormophism group $\operatorname{Aut}(C(G, S))$ of the Cayley graph of $G$ to be isomorphic to $G$

If $\Gamma = C(G, S)$ is the (undirected) Cayley graph of a finite group $G$ with generating set $S$, then $G \le \operatorname{Aut}(\Gamma)$, the "full" automorphism group of $\Gamma$.
When is ...

**5**

votes

**3**answers

2k views

### The automorphism group of a hyperelliptic curve

Let $C$ be the projective smooth genus 2 curve defined by $y^2=x^5-x$ over $\mathbb F_5.$ What is the order of its automorphism group (automorphisms over $\mathbb F_5$)?
I have seen different ...

**5**

votes

**2**answers

222 views

### Examples of surface automorphisms with no periodic points

Consider a smooth projective complex surface $S$ with an automorphism $g:S\to S$. A point $p$ is periodic if it has finite orbit under iterates of $g$.
What are some examples of surface ...

**5**

votes

**1**answer

228 views

### Representability of morphism of stacks

A morphism of Artin stacks $f:X\to Y$ over $\mathbb Q$ is representable by algebraic spaces if and only if its geometric fibres are algebraic spaces. I would like to know if one can use this to prove ...

**5**

votes

**1**answer

290 views

### automorphisms of local rings vs local change of coordinates

Let $R$ be a local (commutative, associative) ring over a field of zero characteristic. (My typical examples are $k[[x_1,..,x_p]]/I$, $k\{x_1,.,x_p\}/I$, $C^\infty(\Bbb{R}^p,0)$. If it helps one can ...

**5**

votes

**0**answers

159 views

### Automorphisms of a quotient variety

Let $X$ be a variety, and $G\subset Aut(X)$ a subgroup of the automorphism group of $X$. Assume that the quotient $Y = X/G$ is a variety. Does there exist some simple relation between $Aut(X)$, $G$ ...

**5**

votes

**0**answers

275 views

### Very frustrated reading a proof of the faithfulness of Artin's representation of braid groups

I am reading BRAID GROUPS, FREE GROUPS, AND THE LOOP SPACE OF THE 2-SPHERE by F.R. Cohen and J. Wu and here is an extract of the paper:
(The proof is not finished yet but I am very confused by now.)
...

**4**

votes

**5**answers

890 views

### Is every distance-regular graph vertex-transitive?

Is every distance-regular graph vertex-transitive?

**4**

votes

**2**answers

675 views

### Automorphism Group of some Classical groups

Hi All,
I would like to know the Automorphism group of some simple classical groups, such as PSL(n,q) or some PSU or PSp groups. Could you please give me some recommended books or papers then? I ...

**4**

votes

**2**answers

487 views

### Groups as automorphism groups of small graphs and the number of rigid graphs of a given size

In a recent question of mine I asked whether every infinite group is (isomorphic to) the automorphism group of a graph. The finite case was done by Frucht in 1939.
The first answer to this ...

**4**

votes

**1**answer

169 views

### Automorphism group of a smooth quadric $Q\subset\mathbb{P}^4$

Let $Q$ be the smooth quadric threefold in $\mathbb{P}^4_{\mathbb{C}}$ defined by the equation
$x_0x_4+x_1x_3+x_2^2=0$.
Is it true that the automorphism group of $Q$ is $SO(Q;\mathbb{C})$ which is ...

**4**

votes

**1**answer

160 views

### Examples of hyperelliptic curves with hyperelliptic quotients that have more automorphisms

Does there exist a hyperelliptic curve $X$ of genus $g\geq 2$ over the complex numbers such that $X$ has a hyperelliptic quotient $X\to Y$ (in the sense that $Y$ is hyperelliptic and the morphism ...

**4**

votes

**1**answer

191 views

### Automorphisms of SO_n(k,f)

Let $k$ be a field, $n\in\mathbb{N}$ and $f:k^n\times k^n\to k$ a non-degenerate symmetric bilinear form. Let
$$O_n(k,f):=\{ g\in GL_n(k) \mid \forall x,y\in k^n : f(x,y)=f(g.x,g.y) \}$$
and
...

**4**

votes

**2**answers

289 views

### Root system automorphisms as inner automorphisms of extended Chevalley group

For each automorphism $\sigma$ of a root system $\Phi$ there is a unique automorphism of the Chevalley group $G(\Phi,R)$ such that $\sigma(x_\alpha(t))=x_{\sigma\alpha}(t')$. While conjugating by ...

**4**

votes

**1**answer

231 views

### Automorphism classes of the free group

As is well known, the conjugacy classes of the free group $F_2$ are parametrised by cyclically reduced words, up to cyclic permutation. In particular, it's easy to tell whether two elements of $F_2$ ...

**4**

votes

**3**answers

286 views

### Is the group of isometries of a homogeneous Riemannian manifold maximal?

I have a homogeneous Riemannian manifold X with isometry group Iso. Is Iso a maximal group? By maximal group, I mean that there does not exist another group G such that:
Iso is a proper subgroup of ...

**4**

votes

**1**answer

1k views

### Non-trivial consequences of Baer's theorem and Lucchini's theorem in subnormality theory

There are a couple of beautiful results in finite group theory that look trivial, at least on a first glance, but require non-trivial facts to prove. I am basically interested in whether these results ...

**4**

votes

**1**answer

166 views

### Twists of projective automorphisms

Let $X$ be a projective variety over a perfect field $k$. Recall that a twist of $X$ is a variety $Y$ over $k$ such that $$X_{\bar k} \cong Y_{\bar k}.$$
The twists of $X$ are classified by the Galois ...

**3**

votes

**2**answers

455 views

### A structure of the group of automorphisms of an infinite binary tree

My friend asked me to ask his question here. Where he can find (a paper or a book) containing a complete description (with the proof) of a structure of the group of automorphisms of an infinite binary ...

**3**

votes

**2**answers

476 views

### Monotonic bijections of rational numbers

How can one characterize monotonic bijections from $\mathbb{Q}$ to
$\mathbb{Q}$? It is easy to see that piecewise linear functions which are
strictly monotonic and surjective will do the trick, but ...

**3**

votes

**2**answers

299 views

### The group of diffeomorphisms with compact support

Let $M$ be a topological/differentiable manifold. Is there any topology on the group of homeomorphisms/diffeomorphisms with compact support, turning it into a (locally-)compact topological group?
(My ...

**3**

votes

**2**answers

490 views

### Automorphism group of a compact Kahler manifold

Good evening,
I would like to ask the following questions.
Let $X$ be a compact Kahler manifold. Denote by Aut(X) the group of all the biholomorphisms of $X.$
1) What can we say about this group? ...

**3**

votes

**1**answer

570 views

### Automorphisms of an infinite direct product of abelian groups

Let $G = \prod_p \mathbb{Z}/p\mathbb{Z}$, where $p$ ranges over all primes, considered as an abelian group. What does $\text{Aut}(G)$ (or even $\text{End}(G)$) look like?
I know that that if we take ...

**3**

votes

**1**answer

340 views

### Automorphism group of factor groups

Let $G$ be a group and let $H$ be a factor group of $G$. Is there any result that relates $\operatorname{Aut}(G)$ (the automorphism group of $G$) and $\operatorname{Aut}(H)$?
As a very special case ...

**3**

votes

**1**answer

274 views

### Eigenvectors of asymmetric graphs

Let $G$ be an asymmetric connected graph. Then is it always the case that at least one of the eigenvectors of its adjacency matrix $A$ consists entirely of distinct entries?
Thanks!

**3**

votes

**1**answer

194 views

### Automorphisms of surfaces

Let $X$ be a projective surface with a morphism $f:X\rightarrow\mathbb{P}^1$. Assume that $f^{-1}(t)\cong\mathbb{P}^1$ for any $t\neq 0$ but $f^{-1}(0)$ is the union of two $\mathbb{P}^1$'s ...