Intereting Posts

How to debug math?
Prove that $R$ is a commutative ring if $x^3=x$
Methods to check if an ideal of a polynomial ring is prime or at least radical
Banach spaces and their unit sphere
Expectation value of a product of an Ito integral and a function of a Brownian motion
About eigenvalues and complex matrix
Classifying the irreducible representations of $\mathbb{Z}/p\mathbb{Z}\rtimes \mathbb{Z}/n \mathbb{Z}$
Examples of Free Lie Algebra
Covariant derivative in $\mathbb{R}^n$
How do i prove how $S_5$ is generated by a two cycle and a five cycle?
Primes of the form $a^2+b^2$ : a technical point.
Prove that $|\sin z| \geq |\sin x|$ and $|\cos z| \geq |\cos x|$
planar curve if and only if torsion
Proving Riemann Integrability of a function with countably many discontinuities? (No measure theory)
Joint PDF of two random variables and their sum

I am looking for a group such that Aut$(G)\cong \Bbb{Z}_8$.

Obviously Aut$(\Bbb{Z}_n)\ncong \Bbb{Z}_8$ for any $n$. Also Aut$(D_4)\cong D_4$, neither symmetric/alternating groups are of any help here. May be there is no group for which Aut$(G)\cong \Bbb{Z}_8$, this also raises a question can any finite/finitely generated (why not infinite) group can be generated as an automorphism group of some $G$

**Update-** It is clear now that $G$ has to be abelian, and no finite abelian satisfy it. Also I found a paper by de Miranda which says $C_8$ does not occur as Aut group of any torsion free abelian group. So this settles the question.

- Example of non-trivial number field
- Do the Laurent polynomials over $\mathbb{Z}$ form a principal ideal domain?
- Multiplicative Inverse Element in $\mathbb{Q}{2}]$
- Number of irreducible polynomials with degree $6$ in $\mathbb{F}_2$
- Prove that the only homomorphism between two cyclic groups with distinct prime orders is the trivial one
- Radical/Prime/Maximal ideals under quotient maps

- Is the identity matrix the only matrix which is its own inverse?
- Ideal in $\mathbb Z$ which is not two-generated
- If we have exactly 1 eight Sylow 7 subgroups, Show that there exits a normal subgroup $N$ of $G$ s.t. the index $$ is divisible by 56 but not 49.
- Using Burnside's Lemma; understanding the intuition and theory
- Are all simple left modules over a simple left artinian ring isomorphic?
- Tensor product of graded algebras
- Prime elements in $\mathbb{Z}$
- Prove that $R$ is commutative
- On Conjugacy Classes of Alternating Group $A_n$
- Is there any uncountably infinite set that does not generate the reals?

If such a group $G$ exists, then it is abelian and not finitely generated, and its only possible decomposition as a direct sum is $G\cong H\times\Bbb{Z}/2\Bbb{Z}$, if it has any such decomposition at all.

Let $G$ be a group such that $\operatorname{Aut}(G)\cong\Bbb{Z}/8\Bbb{Z}$. Then the conjugation action

$$\psi:\ G\ \longrightarrow\ \operatorname{Aut}(G):\ g\ \longmapsto\ (x\ \longmapsto gxg^{-1}),$$

has $\ker\psi=Z(G)$, the center of $G$. Its image is a subgroup of $\operatorname{Aut}(G)\cong\Bbb{Z}/8\Bbb{Z}$ and hence cyclic, so $G/Z(G)$ is cyclic. It follows that $G=Z(G)$, so $G$ abelian.

Suppose there are groups $H_1$ and $H_2$ such that $G\cong H_1\times H_2$. Then we have an injection

$$\operatorname{Aut}(H_1)\times\operatorname{Aut}(H_2)\ \longrightarrow\ \operatorname{Aut}(H_1\times H_2):\ (\varphi_1,\varphi_2)\ \longmapsto\ ((h_1,h_2)\ \longmapsto\ (\varphi_1(h_1),\varphi_2(h_2))),$$

where $\operatorname{Aut}(H_1\times H_2)\cong\Bbb{Z}/8\Bbb{Z}$, so without loss of generality $\operatorname{Aut}(H_2)=0$ and hence either $H_2=0$ or $H_2=\Bbb{Z}/2\Bbb{Z}$. Moreover this shows that $H_1$ is not a nontrivial direct sum of two groups.

If $H_1$ is finitely generated, then by the structure theorem for finitely generated abelian groups it is a finite direct sum of cyclic groups of infinite or prime power order. By the above $H_1$ is cyclic, and as $\operatorname{Aut}(\Bbb{Z})=\Bbb{Z}/2\Bbb{Z}$ we see that $H_1$ is finite cyclic of prime power order, say $p^k$. Then

$$8=|\operatorname{Aut}(H_1)|=\varphi(p^k)=p^{k-1}(p-1),$$

which shows that $p^k=2^4$, but $\operatorname{Aut}(\Bbb{Z}/2^4\Bbb{Z})\not\cong\Bbb{Z}/8\Bbb{Z}$. So $H_1$ is not finitely generated.

- Finite dimensional subspace of $C()$
- How does one prove that $\frac{1}{2}\cdot\frac{3}{4}\cdots \frac{2n-1}{2n}\leq \frac{1}{\sqrt{3n+1}}?$
- Can the product of two non invertible elements in a ring be invertible?
- Proving the equivalence of a sum and a double integral
- Dividing an angle into $n$ equal parts
- Do there exist any odd prime powers that can be represented as $n^4+4^n$?
- Is there any interesting interpretation of Taylor coefficients of $e^{-\log(1-x)}$?
- If $a+b+c+d = 2$, then $\frac{a^2}{(a^2+1)^2}+\frac{b^2}{(b^2+1)^2}+\frac{c^2}{(c^2+1)^2}+\frac{d^2}{(d^2+1)^2}\le \frac{16}{25}$
- How is arccos derived?
- Problem understanding “and”,“or” and importance of “()” in set theory
- Is the degree of an infinite algebraic extensions always countable?
- Cohomology easier to compute (algebraic examples)
- Compute $ad_X$, $ad_Y$, and $ad_Z$ relative to a basis
- The preorder of countable order types
- Induction on formulas in First Order Languages