# Questions tagged [automorphism-group]

For finding, constructing and proving results about automorphisms and applying them into different contexts. An automorphism is an isomorphism from an object to itself, and collectively they form a group under composition of mappings. Sometimes the only automorphism is the trivial one (the identity map), but often structures will have interesting/non-trivial automorphisms.

503 questions
Filter by
Sorted by
Tagged with
37 views

### Automorphism of commutative groups.

For every group G there is a natural group homomorphism G → Aut(G) whose image is the group Inn(G) of inner automorphisms and whose kernel is the center of G. Thus, if G has trivial center it can ...
73 views

### Automorphism group of a cuspidal “elliptic” curve

I have a cuspidal elliptic curve ($\Delta=0$ and $J$-invariant$=0$), $E$ in a field $K$ of characteristic $3$ and I'm trying to show that its automorphism group is $K^*$. These are my calculations: $E$...
29 views

### Verify question on automorphism

The question is as follows in a past exam paper: Suppose that $G$ is a group. An isomorphism from $G$ to itself is called an automorphism. Prove that the set $Aut(G)$ of all automorphisms of $G$ is ...
98 views

### Automorphism group of elliptic curves

I would show that the automorphism group of an elliptic curve E in characteristic $3$ and with J-invariant $0$ is isomorphic to the semidirect product of $Z/4Z$ and $Z/3Z$. The curve has equation of ...
22 views

### Automorphism group of rooted tree is a profinite group

I'm working with the book Self-similar Groups by Volodymyr Nekrashevych. In the chapter $1$ he statements the following proposition: We have an equality $St_{Aut(X^*)}(n) = RiSt_{Aut(X^*)}(n)$. The ...
71 views

### Finding $|\!\operatorname{Aut}(L(K_4))|$ using Orbit-Stabiliser Theorem

I know that you can find the size of an automorphism group of a simple graph $G$ by using the Orbit-Stabiliser theorem as follows: let $\DeclareMathOperator{Aut}{Aut}A = \Aut(G)$, and $v$ be a vertex ...
29 views

### Describe the automorphism group of $Aut(\mathbb{Z}/9\mathbb{Z})$.

a)Describe the automorphism group of $Aut(\mathbb{Z}/9\mathbb{Z})$. b) Prove that if a Group G has the trivial center then $|Aut(G)| \geq |G|$. My attempt: a) Clearly, $\mathbb{Z}/9\mathbb{Z}$ is a ...
35 views

### Is Aut(G×H) isomorphic to Aut(G) × Aut(H) [duplicate]

Please suggest me the proof.Am stuck with it.I saw somewhere that it will be true if (o(G),o(H))=1 but why?
14 views

### Q about torus automorphism example

I am working through the book "introduction to tropical algebra" and page 70 and 71 example 2.2.10 states "An automorphism of the torus is an invertible map specified by Laurent monomials. Thus the ...
78 views

### $G/F(G)$ is isomorphic to $X_1\times\cdots\times X_t$

Since I still don’t know the answer, I’ve also asked it on math.overflow. I saw a remark in an old post that $G/F(G)$ is isomorphic to a group of the form $X_1 \times \ldots \times X_t,$ where ...
62 views

### Conditions imposed on graph automorphism leave the “voltage” on graph nodes identical?

We call $\pi$ a graph automorphism on a graph $(V,E)$ if $\pi:V\to V$ is a bijection such that $xy\in E\iff \pi(x)\pi(y)$ is an edge, and $\phi(xy)=\phi(\pi(x)\pi(y))$, where $\phi$ is the conductance....
53 views

29 views

### Showing that there exists an automorphism of a cyclic group mapping a generator to another.

I'm currently going through Lang's Algebra, I've only recently started it, and I'm trying to do every proof left as an exercise. One such question is the following : Let $G$ be a cyclic group, and ...
50 views

### Showing that $Aut(S_n)=S_n$ for $n>6$ with a argument of centralizers.

In this exercise we shall prove that $Aut(S_n) =S_n$ for $n > 6$. (The results holds true for $n = 4, 5$ too and fails for $n = 6$.) Thus, $S_n$ is complete for $n > 6$. (a) Prove that an ...
62 views

### Permutations of a subset of combinations

Let $C$ be some subset of all the $\binom{n}{k}$ combinations of $k$ out of $n$ elements. What is the group of permutations $\pi: C \to C$ of the indices of the combinations mapping $C$ to itself, i....
34 views

### The direct product of quotients is a quotient of the direct product

I asked a question about if we have in general that if $G=G_1\times \cdots \times G_n$ (where $G_i$ are characteristic in $G$ for $i=1,\cdots ,n$), then {\rm Out}(G)\cong {\rm Out}(G_1)\times\cdots\...
31 views

25 views

### Frattini subgroup of $p$-groups and the automorphisms

About $p$-groups, I saw on Wikipedia that: Every automorphism of $G$ induces an automorphism on $G/Φ(G)$, where $Φ(G)$ is the Frattini subgroup of $G$. The quotient $G/Φ(G)$ is an elementary ...
56 views

### Why does every $\varphi: K \to \mathrm{Out}(H)$ determine an unique extension of $H$ by $K$ when $Z(H) = 1$?

Every homomorphism $\varphi: K \to \mathrm{Out}(H)$ determines an unique extension of $H$ by $K$. Why is this true for groups $H$ with a trivial center? Even if we only consider split extensions, as ...
28 views

### The automorphism of splitting field of x^p-x+a over Z_p.

I'd like to solve the question. Let $L$ the splitting field of $f(x)=x^p-x+a$ ($a\neq 0$) over $\mathbb Z_p$. $g : L \rightarrow L$, $g(\alpha)=\alpha+1$ where $\alpha$ is a root of $f(x)$ is ...
49 views

### Why $G/F(G)$ is isomorphic to a subgroup of $\mathrm{Out}(F(G))$?

I know two facts and I’ve managed to figure out how to prove one, but the other one is still a little confusing. Let $G$ be a finite solvable group and $F(G)$ is the Fitting subgroup of $G$. (...
54 views

### Is $\mathrm{Aut}$ a functor/invariant? [duplicate]

Can the following assignment on objects be made into a functor from the category of topological spaces into the category of groups? Each topological space $X$ gets mapped to $\mathrm{Aut}(X)$, its ...
94 views

31 views

### Let $G$ be group and $f:G\rightarrow G$ be automorphism. If $Z$ be centralizer group, prove that $f(z)=Z$.

Here's the complete problem. Let $G$ be group and $f:G\rightarrow G$ be automorphism. Define a set $Z=\lbrace z \in G | zg=gz, \forall g \in G \rbrace$ and $f(Z)=\lbrace F(z)|z \in Z \rbrace.$ Prove ...
74 views

### Calculation of the fixed field of a subgroup of a Galois group

Let $L/K$ be a Galois extension. I would like to understand how to compute the fixed field of a subgroup $H \leq Gal(L/K)$ as explicitly as possible. The Fundamental theorem of Galois theory often ...
56 views

### Number of homomorphism from $\mathbb Z_5 \to S_6$

I am finding the number of homomorphisms from $\mathbb Z_5 \to S_6$. We see the only subgroups of $\mathbb Z_5$ are $\mathbb Z_5$ and ${0}$. $\frac{\mathbb Z_5}{\mathbb Z_5}$ is isomorphic to onle ...
36 views

44 views

### Automorphism of $\mathcal{M}_n(\mathbb{C})^r$

I'm stucked with this question, I have no clue. We denote $\mathcal{M}_n(\mathbb{C})^r:=\mathcal{M}_n(\mathbb{C})\times\ldots\times\mathcal{M}_n(\mathbb{C})$ $r$ times, I have to show that if $f$ is ...
49 views

### Finding automorphism group for finite fields

There is a question about Galois Theory I found: "Let $L$ be a field and $K$ its prime subfield. Let $\phi$ be an automorphism of $L$. Show that $\phi$ is an automorphism of $L/K$" All I need is to ...
29 views

I am self studying Fields and Galois Theory from Algebra by Thomas Hungerford and I have a question in this theorem s proof. Its image I have question in line 1 where author writes "In any case $... 1answer 27 views ### How is Aut(G) = Aut(G¯)? (where G¯ is the complement of G) For a Graph G, I am trying to understand how the automorphism of G is equivalent to the automorphism of the complement of G. I understand that an automorphism is an isomorphism of G onto itself. This,... 0answers 66 views ### Categories where possible automorphism groups are not understood. In many categories, such as the category of graphs or topological spaces, every group appears as an automorphism group of an object in that category. This certainly isn't true for all categories, even ... 1answer 52 views ### Automorphism group of finite field extension has a trivial stabilizer We have this theorem. Let$L|K$a field extension with$[L:K]<\infty$and$G=\text{Aut}(L|K)$. We let$G$act on$L$. Then there is a trivial stabilizer. The proof is the following, I would ... 1answer 57 views ### Exercise 0.6ii in Miles Reid's Commutative Algebra (proof verification) Let$K=k(T)$be the field of rational functions; a k-automorphism of$K$is a ring homomorphism$\phi: K\rightarrow K$that is the identity on$k$and is an automorphism of$K$. Describe the group$\...
For every cardinal $\kappa$, is there a cardinal $\lambda$ such that for all groups $G$ with $|G| > \lambda$, we have $|\mathrm{Aut}(G)| > \kappa$? I believe a similar result holds for finite ...
### Suppose $(n,m)=1$. Prove any automorphism of $\mathbb{Z}_n \times \mathbb{Z}_m$ is of the form $\varphi(x, y) = (ax, by)$.
Suppose $n, m$ are coprime. I need to show that any automorphism $\varphi : \mathbb{Z}_n \times \mathbb{Z}_m$ is of the form $\varphi(x, y) = (ax, by)$ for some $a, b$ with $(a,n)=(b,m)=1$. I'm ...