Intereting Posts

Why do we need the partial derivative $\frac {\partial F}{\partial t}$ in the definition of an envelope?
Zoom out fractals? (A question about selfsimilarity)
Do infinitely many points in a plane with integer distances lie on a line?
Are all computable functions continuous or vice-versa?
How to simplify this equation: $1\cdot N + 2(N-1) + 3(N -2) + \cdots + i(N – i + 1) + \dots + N \cdot1$?
Curvature of geodesic circles on surface with constant curvature
Natural logarithms base $e$
Problem 6 – IMO 1985
Sum Involving Bernoulli Numbers : $\sum_{r=1}^n \binom{2n}{2r-1}\frac{B_{2r}}{r}=\frac{2n-1}{2n+1}$
solution of a ODE with a funtion of $\dot{x}$
Verify this is a category
This sentence is false
What is the probability that $250$ random digits contain $7777$ , $8888$ and $9999$?
Bayesian Network, Sprinkler Example
Codifferential of a $p$-vector in components

I am trying to calculate the automorphism group of an affine subgroup $$G=\mathbb{Z}_p\rtimes\mathbb{Z}_{k}\leq\text{AGL}(1,p).$$

One might guess $\text{Aut}(G)=\text{AGL}(1,p)$. And this matches what I got in GAP after checking a couple examples. However, it seems proving it through by definition is messy and not particular easy. So I have been pondering a while what will be a better way to approach? Any suggestions?

- Prove that $H$ is a abelian subgroup of odd order
- Intuition - $fr = r^{-1}f$ for Dihedral Groups - Carter p. 75
- Probability that $xy = yx$ for random elements in a finite group
- A normal intermediate subgroup in $B_3$ lattice?
- Showing $G/Z(R(G))$ isomorphic to $Aut(R(G))$
- Existence of subgroup of order six in $A_4$

- “Natural” example of cosets
- There is an element of order $51$ in the multiplicative group $(Z/103Z)^∗.$
- Homomorphism between cyclic groups
- Construction of a specific non-commutative and infinite group (with conditions on the order of the elements)
- Status of the classification of non-finitely generated abelian groups.
- Are free products of finite groups virtually free?
- Show there is a surjective homomorphism from $\mathbb{Z}\ast\mathbb{Z}$ onto $C_2\ast C_3$
- Order of an element in a finite cyclic group
- Properties of automorphism group of $G={Z_5}\times Z_{25}$
- Every normal subgroup of a finite group is contained in some composition series

Here is a quick outline argument. You need to assume that $k>1$ or the result isn’t true. Then $Z(G)=1$, so we can embed $G$ in $A:={\rm Aut}(G)$ and, since $G \unlhd {\rm AGL}(1,p)$, we have $G < {\rm AGL}(1,p) \le A$.

Write $G = P \rtimes Q$ with $P=C_p$, $Q=C_k$. Then $P \lhd A$ and the complements of $P$ in $G$ are conjugate so, by the Frattini Argument $A=GR$ with $R=N_A(Q)$ and, since $R \cap P=1$, $A = P \rtimes R$.

Now, $[C_R(P),Q] \le C_G(P) \cap Q = 1$, so $C_R(P) \le C_A(G) = 1$. Hence $|R| \le |{\rm Aut}(P)|=p-1$, so $G={\rm AGL}(1,p)$.

That was trickier that I expected – more detail on request!

- Rational map on smooth projective curve
- How do I prove that a function with a finite number of discontinuities is Riemann integrable over some interval?
- A five-part problem that uses ends and the Cantor set to prove that there are $c$ non-homeomorphic connected open subsets of $\mathbb{R}^2$
- Sequences containing infinitely many primes
- Nth derivative of a function: I don't know where to start
- When does Schwarz inequality become an equality?
- Annihilator of a simple module
- Example of disconnected Lie groups with finite extensions
- How to evaluate the following derivative of integral?
- Examples of morphisms of schemes to keep in mind?
- Preservation of direct sums and finite generation
- Limit of $\sqrt{4x^2 + 3x} – 2x$ as $x \to \infty$
- Image of open donut under $\phi=z+\frac{1}{z}$
- What does it mean here to describe the structure of this quotient module?
- Finding an unknown angle