
Abstract Algebra Abstract Algebra Math Forum 
 LinkBack  Thread Tools  Display Modes 
September 10th, 2017, 11:15 AM  #1 
Member Joined: Jan 2015 From: usa Posts: 55 Thanks: 0  action of Frobenius group
Let $p$ be a prime number. Show that the Frobenius group $F_{p(p1)}$ acts on the set $\mathbb{F}_p$ by: $$\begin{pmatrix}a&b \\\ 0&1\end{pmatrix}x:=ax+b$$ 
September 10th, 2017, 12:11 PM  #2 
Member Joined: May 2017 From: Russia Posts: 33 Thanks: 4 
$\displaystyle \left(\begin{pmatrix}a_1&b_1 \\\ 0&1\end{pmatrix}\begin{pmatrix}a_2&b_2 \\\ 0&1\end{pmatrix}\right)x = \begin{pmatrix}a_1a_2&a_1b_2+b_1 \\\ 0&1\end{pmatrix}x= a_1a_2x+a_1b_2+b_1.$ $\displaystyle \left(\begin{pmatrix}a_1&b_1 \\\ 0&1\end{pmatrix}\begin{pmatrix}a_2&b_2 \\\ 0&1\end{pmatrix}\right)x=a_1(a_2x+b_2)+b_1.$ 
September 10th, 2017, 12:49 PM  #3 
Member Joined: Jan 2015 From: usa Posts: 55 Thanks: 0 
And how does that answer the quetion? Can you explain to me more? Thanks in advance.
Last edited by skipjack; September 11th, 2017 at 01:56 PM. 
September 10th, 2017, 02:36 PM  #4 
Member Joined: May 2017 From: Russia Posts: 33 Thanks: 4 
The set of polynomials $\displaystyle ax+b$, where $\displaystyle a,b\in\mathbb{F}_p$ and $\displaystyle a\neq 0$, is a group (the operation is composition $\displaystyle \circ$). The group acts on $\displaystyle \mathbb{F}_p$: $\displaystyle ax+b:\ t\mapsto at+b, \ \ \ t\in \mathbb{F}_p$. And $\displaystyle (ax+b)(\mathbb{F}_p)=\mathbb{F}_p$. It permutes the elements of $\displaystyle \mathbb{F}_p$. One has isomorphism $\displaystyle \varphi$ from the group of matrices $\displaystyle \begin{pmatrix}a&b \\\ 0&1\end{pmatrix}$ to the group of $\displaystyle ax+b$: $\displaystyle \varphi:\ \begin{pmatrix}a&b \\\ 0&1\end{pmatrix} \mapsto ax+b$. $\displaystyle \varphi\left(\begin{pmatrix}a_1&b_1 \\\ 0&1\end{pmatrix}\begin{pmatrix}a_2&b_2 \\\ 0&1\end{pmatrix}\right)=a_1a_2x+a_1b_2+b_1=a_1(a_2 x+b_2)+b_1= (a_1x+b_1)\circ(a_2x+b_2)= $ $\displaystyle =\varphi\left(\begin{pmatrix}a_1&b_1 \\\ 0&1\end{pmatrix}\right) \circ\varphi\left(\begin{pmatrix}a_2&b_2 \\\ 0&1\end{pmatrix}\right). $ 
September 10th, 2017, 07:09 PM  #5 
Member Joined: Jan 2015 From: usa Posts: 55 Thanks: 0 
Thanks for the explanation. and is it possible to show that this action is sharply 2transitive i.e. if $x_1,x_2\in\mathbb{F}_P$ are distinct and $x_1,x_2\in\mathbb{F}_P$ are distinct then there is exactly one $g\in F_{p(p1)}$ such that $gx_{1}=y_1$ and $gx_{2}=y_2$ ?
Last edited by skipjack; September 11th, 2017 at 01:56 PM. 
September 11th, 2017, 04:10 AM  #6 
Member Joined: May 2017 From: Russia Posts: 33 Thanks: 4 
Let $\displaystyle g=\begin{pmatrix}a&b \\\ 0&1\end{pmatrix}$. If $\displaystyle gx_{1}=y_1$ and $\displaystyle gx_2=y_2$ then a,b have to be the solution of the system $\displaystyle \begin{cases} x_1\cdot a + b = y_1,\\ x_2\cdot a +b = y_2. \end{cases}$ This system has unique solution. And $\displaystyle a\neq 0$, otherwise we would have $\displaystyle y_1=y_2$. Let $\displaystyle x_3\in \mathbb{F}_p$ and $\displaystyle x_3\neq x_1,x_2$. $\displaystyle g$ necessarily sends x_3 to $\displaystyle ax_3+b$, not to an arbitrary element one could choose. 
September 11th, 2017, 11:00 AM  #7 
Member Joined: Jan 2015 From: usa Posts: 55 Thanks: 0 
In fact, I have a quiz next Friday and I tried to identify the center $Z(F_{p(p1)})$ and $F'_{p(p1)}=[F_{p(p1)},F_{p(p1)}]$ with familiar groups but I didn't manage to do that. Can you please help me? I will be grateful if you could help me.
Last edited by skipjack; September 11th, 2017 at 01:53 PM. 
September 12th, 2017, 02:09 AM  #8 
Member Joined: May 2017 From: Russia Posts: 33 Thanks: 4 
Let $\displaystyle H=\left\{ \begin{pmatrix}1&b \\\ 0&1\end{pmatrix}\ \bigg \ b \in \mathbb{F}_p \right\}$. $\displaystyle H$ is a normal subgroup in $\displaystyle F_{p(p1)}$. The order of $\displaystyle H$ is equal to $\displaystyle p$. Find the commutator of $\displaystyle \begin{pmatrix} a&b \\\ 0&1\end{pmatrix},\begin{pmatrix}c&d \\\ 0&1\end{pmatrix}\in F_{p(p1)}$: $\displaystyle \begin{pmatrix} a&b \\\ 0&1\end{pmatrix}\begin{pmatrix}c&d \\\ 0&1\end{pmatrix}\begin{pmatrix} \frac{1}{a} & \frac{a}{b} \\\ 0&1\end{pmatrix}\begin{pmatrix}\frac{1}{c}& \frac{d}{c} \\\ 0&1\end{pmatrix} = \begin{pmatrix} ac& ad+b \\\ 0&1\end{pmatrix}\begin{pmatrix}\frac{1}{ac}& \frac{d}{ac}\frac{b}{a} \\\ 0&1\end{pmatrix}=\begin{pmatrix} 1& \ldots \\\ 0&1\end{pmatrix}$. So, $\displaystyle H$ contains every commutator of $\displaystyle F_{p(p1)}$. If a group is not commutative, its commutator subgroup is not trivial. The commutator subgroup $\displaystyle [F_{p(p1)},F_{p(p1)}]$ is a subgroup of $\displaystyle H$. The order of $\displaystyle [F_{p(p1)},F_{p(p1)}]$ is a divisor of the order of $\displaystyle H$ which is prime. So, if $\displaystyle p\gt 2$ the order of the commutator group is equal to $\displaystyle p$, and $\displaystyle [F_{p(p1)},F_{p(p1)}]=H$. If $\displaystyle p=2$ then $\displaystyle F_{p(p1)}$ is commutative and its commutator subgroup is trivial. Last edited by ABVictor; September 12th, 2017 at 02:14 AM. 
September 12th, 2017, 06:01 AM  #9 
Member Joined: Jan 2015 From: usa Posts: 55 Thanks: 0 
and can us identify $F_{p(p1)}/F'_{p(p1)}$ with a familiar group?

September 12th, 2017, 10:33 AM  #10 
Member Joined: May 2017 From: Russia Posts: 33 Thanks: 4 
The quotient group $\displaystyle F_{p(p1)}/F'_{p(p1)}$ consists of (p1) congruence classes $\displaystyle aH,\ a\in \mathbb{F}_p, \ H=F'_{p(p1)}$. The classes are $\displaystyle \begin{pmatrix} a&0 \\\ 0&1\end{pmatrix}H=\left\{ \begin{pmatrix} a&b \\\ 0&1\end{pmatrix} \ \bigg \ b\in\mathbb{F}_p \right\}$. The operation in the quotient group: $\displaystyle \begin{pmatrix} a_1&0 \\\ 0&1\end{pmatrix}H \cdot \begin{pmatrix} a_2&0 \\\ 0&1\end{pmatrix}H = \left(\begin{pmatrix} a_1&0 \\\ 0&1\end{pmatrix}\cdot\begin{pmatrix} a_2&0 \\\ 0&1\end{pmatrix}\right)H=\begin{pmatrix} a_1a_2&0 \\\ 0&1\end{pmatrix}H $ The quotient group is isomorphic to the multiplicative group of field $\displaystyle \mathbb{F}_p$: $\displaystyle \varphi_2: a \mapsto \begin{pmatrix} a&0 \\\ 0&1\end{pmatrix}H, \ \ a\in \mathbb{F}_p, \ a\neq 0. $ 

Tags 
action, frobenius, group 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Showing that an action of a group on a set is proper  princetongirl818  Abstract Algebra  0  November 24th, 2016 09:37 PM 
Frobenius norm  Maissa  Linear Algebra  2  May 29th, 2011 02:25 AM 
Frobenius method  zokomoko  Applied Math  0  June 14th, 2010 07:38 AM 
group action on set  tinynerdi  Abstract Algebra  4  March 11th, 2010 05:54 AM 
please help quickly about sylow thm and group action quest  bogazichili  Algebra  1  December 13th, 2008 06:13 AM 