Possible orders of trace k elements in $SL_2(mathbb F_q)$
$begingroup$
As a continuation of this question I would like to ask about possible orders of trace $k$ elements in $SL_2(q)$. Here are examples which I know.
When trace is zero then we have $x^2=-1$ so it means that order of $x$ is $2$ in characteristic $2$ and it is $4$ in odd characteristic.
When trace is $-1$ then we have $x^2=-x+1$, so $x^3=-x^2+x=-x+1+x=1$. It means that order of $x$ is $3$.
When trace is $t$ which is order $q-1$ element in case $q=2^n$. Then order of $x$ is sometimes $q+1$ and $x$ generate $mathbb F_{q^2}$ subalgebra. This is just guess, I have only checked this for $q=2,4,8,16$. Here is small test in GAP showing order of trace $t$ elements for $q=2^n$ for $n=1..10$, where $t$ is generator of the field multiplicative group:
gap> List([1..10],k->Order([[Z(2^k),1],[1,0]]*Z(2^k)^0));
[ 3, 5, 9, 17, 31, 65, 43, 51, 511, 25 ]
Let's call element imaginary when it is of trace $0$ in $SL_2(q)$. From above we know that order of such element is either $2$ or $4$. The next question we can ask is what order can have product of two imaginary elements. According to tests in GAP in characteristic two we obtain orders $q-1$, $q+1$ and divisors which are all orders in the group (tested only for few small q). In case of odd characteristic I do not have theory ready yet. Anyway set ${x^2=-1}$ seems to be interesting.
finite-groups finite-fields gap
asked Jan 10 at 9:26
Marek MitrosMarek Mitros
367212
$endgroup$
add a comment |
$begingroup$
As a continuation of this question I would like to ask about possible orders of trace $k$ elements in $SL_2(q)$. Here are examples which I know.
When trace is zero then we have $x^2=-1$ so it means that order of $x$ is $2$ in characteristic $2$ and it is $4$ in odd characteristic.
When trace is $-1$ then we have $x^2=-x+1$, so $x^3=-x^2+x=-x+1+x=1$. It means that order of $x$ is $3$.
When trace is $t$ which is order $q-1$ element in case $q=2^n$. Then order of $x$ is sometimes $q+1$ and $x$ generate $mathbb F_{q^2}$ subalgebra. This is just guess, I have only checked this for $q=2,4,8,16$. Here is small test in GAP showing order of trace $t$ elements for $q=2^n$ for $n=1..10$, where $t$ is generator of the field multiplicative group:
gap> List([1..10],k->Order([[Z(2^k),1],[1,0]]*Z(2^k)^0));
[ 3, 5, 9, 17, 31, 65, 43, 51, 511, 25 ]
Let's call element imaginary when it is of trace $0$ in $SL_2(q)$. From above we know that order of such element is either $2$ or $4$. The next question we can ask is what order can have product of two imaginary elements. According to tests in GAP in characteristic two we obtain orders $q-1$, $q+1$ and divisors which are all orders in the group (tested only for few small q). In case of odd characteristic I do not have theory ready yet. Anyway set ${x^2=-1}$ seems to be interesting.
finite-groups finite-fields gap
asked Jan 10 at 9:26
Marek MitrosMarek Mitros
367212
$endgroup$
add a comment |
$begingroup$
As a continuation of this question I would like to ask about possible orders of trace $k$ elements in $SL_2(q)$. Here are examples which I know.
When trace is zero then we have $x^2=-1$ so it means that order of $x$ is $2$ in characteristic $2$ and it is $4$ in odd characteristic.
When trace is $-1$ then we have $x^2=-x+1$, so $x^3=-x^2+x=-x+1+x=1$. It means that order of $x$ is $3$.
When trace is $t$ which is order $q-1$ element in case $q=2^n$. Then order of $x$ is sometimes $q+1$ and $x$ generate $mathbb F_{q^2}$ subalgebra. This is just guess, I have only checked this for $q=2,4,8,16$. Here is small test in GAP showing order of trace $t$ elements for $q=2^n$ for $n=1..10$, where $t$ is generator of the field multiplicative group:
gap> List([1..10],k->Order([[Z(2^k),1],[1,0]]*Z(2^k)^0));
[ 3, 5, 9, 17, 31, 65, 43, 51, 511, 25 ]
Let's call element imaginary when it is of trace $0$ in $SL_2(q)$. From above we know that order of such element is either $2$ or $4$. The next question we can ask is what order can have product of two imaginary elements. According to tests in GAP in characteristic two we obtain orders $q-1$, $q+1$ and divisors which are all orders in the group (tested only for few small q). In case of odd characteristic I do not have theory ready yet. Anyway set ${x^2=-1}$ seems to be interesting.
finite-groups finite-fields gap
asked Jan 10 at 9:26
Marek MitrosMarek Mitros
367212
$endgroup$
As a continuation of this question I would like to ask about possible orders of trace $k$ elements in $SL_2(q)$. Here are examples which I know.
When trace is zero then we have $x^2=-1$ so it means that order of $x$ is $2$ in characteristic $2$ and it is $4$ in odd characteristic.
When trace is $-1$ then we have $x^2=-x+1$, so $x^3=-x^2+x=-x+1+x=1$. It means that order of $x$ is $3$.
When trace is $t$ which is order $q-1$ element in case $q=2^n$. Then order of $x$ is sometimes $q+1$ and $x$ generate $mathbb F_{q^2}$ subalgebra. This is just guess, I have only checked this for $q=2,4,8,16$. Here is small test in GAP showing order of trace $t$ elements for $q=2^n$ for $n=1..10$, where $t$ is generator of the field multiplicative group:
gap> List([1..10],k->Order([[Z(2^k),1],[1,0]]*Z(2^k)^0));
[ 3, 5, 9, 17, 31, 65, 43, 51, 511, 25 ]
Let's call element imaginary when it is of trace $0$ in $SL_2(q)$. From above we know that order of such element is either $2$ or $4$. The next question we can ask is what order can have product of two imaginary elements. According to tests in GAP in characteristic two we obtain orders $q-1$, $q+1$ and divisors which are all orders in the group (tested only for few small q). In case of odd characteristic I do not have theory ready yet. Anyway set ${x^2=-1}$ seems to be interesting.
finite-groups finite-fields gap
finite-groups finite-fields gap
asked Jan 10 at 9:26
Marek MitrosMarek Mitros
367212
asked Jan 10 at 9:26
Marek MitrosMarek Mitros
367212
edited Jan 10 at 9:48
Marek Mitros
asked Jan 10 at 9:26
Marek MitrosMarek Mitros
367212
asked Jan 10 at 9:26
Marek MitrosMarek Mitros
367212
asked Jan 10 at 9:26
Marek MitrosMarek Mitros
367212
367212
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Here is some experimental data from GAP for answering this question. I do not have full picture yet. Let $q=p^n$, $p$ is prime number.
There are three types of subalgebras with one generated by one element: $mathbb F_q+mathbb F_q$, $mathbb F_q+mathbb F_qpmb i$, $mathbb F_{q^2}$ where $pmb i^p=1$. The groups contained with invertible elements are $C_{q-1}times C_{q-1}$, $C_{2(q-1)}times underbrace{C_ptimes...times C_p}_{n-1}$, $C_{q^2-1}$ with sizes $(q-1)^2,q^2-q,q^2-1$ respectively.
The three cases are distinguished by order of generator $u$ of the subalgebra. When it is divisor of $q-1$ then we are in case 1. When it is divisor of $q$ then we are in case 2. When it is divisor of $q+1$ then we are in case 3. Common divisor of $q-1$ and $q+1$ is $2$ and it happens in odd characteristic. In this case element of order $2$ generate case 1. In characteristic 2 zero divisor $p^2=p$ generate subalgebra of type 1. It is element of $Q_{01}$ (see this question for notation) with trace equal $1$.
Element of order $p$ in odd characteristic is belonging to $Q_{12}$ i.e. it is element of determinant $1$ and trace $2$ (and not belonging to $mathbb F_q1)$.
answered Jan 11 at 8:00
Marek MitrosMarek Mitros
367212
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3068430%2fpossible-orders-of-trace-k-elements-in-sl-2-mathbb-f-q%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Here is some experimental data from GAP for answering this question. I do not have full picture yet. Let $q=p^n$, $p$ is prime number.
There are three types of subalgebras with one generated by one element: $mathbb F_q+mathbb F_q$, $mathbb F_q+mathbb F_qpmb i$, $mathbb F_{q^2}$ where $pmb i^p=1$. The groups contained with invertible elements are $C_{q-1}times C_{q-1}$, $C_{2(q-1)}times underbrace{C_ptimes...times C_p}_{n-1}$, $C_{q^2-1}$ with sizes $(q-1)^2,q^2-q,q^2-1$ respectively.
The three cases are distinguished by order of generator $u$ of the subalgebra. When it is divisor of $q-1$ then we are in case 1. When it is divisor of $q$ then we are in case 2. When it is divisor of $q+1$ then we are in case 3. Common divisor of $q-1$ and $q+1$ is $2$ and it happens in odd characteristic. In this case element of order $2$ generate case 1. In characteristic 2 zero divisor $p^2=p$ generate subalgebra of type 1. It is element of $Q_{01}$ (see this question for notation) with trace equal $1$.
Element of order $p$ in odd characteristic is belonging to $Q_{12}$ i.e. it is element of determinant $1$ and trace $2$ (and not belonging to $mathbb F_q1)$.
answered Jan 11 at 8:00
Marek MitrosMarek Mitros
367212
$endgroup$
add a comment |
$begingroup$
Here is some experimental data from GAP for answering this question. I do not have full picture yet. Let $q=p^n$, $p$ is prime number.
There are three types of subalgebras with one generated by one element: $mathbb F_q+mathbb F_q$, $mathbb F_q+mathbb F_qpmb i$, $mathbb F_{q^2}$ where $pmb i^p=1$. The groups contained with invertible elements are $C_{q-1}times C_{q-1}$, $C_{2(q-1)}times underbrace{C_ptimes...times C_p}_{n-1}$, $C_{q^2-1}$ with sizes $(q-1)^2,q^2-q,q^2-1$ respectively.
The three cases are distinguished by order of generator $u$ of the subalgebra. When it is divisor of $q-1$ then we are in case 1. When it is divisor of $q$ then we are in case 2. When it is divisor of $q+1$ then we are in case 3. Common divisor of $q-1$ and $q+1$ is $2$ and it happens in odd characteristic. In this case element of order $2$ generate case 1. In characteristic 2 zero divisor $p^2=p$ generate subalgebra of type 1. It is element of $Q_{01}$ (see this question for notation) with trace equal $1$.
Element of order $p$ in odd characteristic is belonging to $Q_{12}$ i.e. it is element of determinant $1$ and trace $2$ (and not belonging to $mathbb F_q1)$.
answered Jan 11 at 8:00
Marek MitrosMarek Mitros
367212
$endgroup$
add a comment |
$begingroup$
Here is some experimental data from GAP for answering this question. I do not have full picture yet. Let $q=p^n$, $p$ is prime number.
There are three types of subalgebras with one generated by one element: $mathbb F_q+mathbb F_q$, $mathbb F_q+mathbb F_qpmb i$, $mathbb F_{q^2}$ where $pmb i^p=1$. The groups contained with invertible elements are $C_{q-1}times C_{q-1}$, $C_{2(q-1)}times underbrace{C_ptimes...times C_p}_{n-1}$, $C_{q^2-1}$ with sizes $(q-1)^2,q^2-q,q^2-1$ respectively.
The three cases are distinguished by order of generator $u$ of the subalgebra. When it is divisor of $q-1$ then we are in case 1. When it is divisor of $q$ then we are in case 2. When it is divisor of $q+1$ then we are in case 3. Common divisor of $q-1$ and $q+1$ is $2$ and it happens in odd characteristic. In this case element of order $2$ generate case 1. In characteristic 2 zero divisor $p^2=p$ generate subalgebra of type 1. It is element of $Q_{01}$ (see this question for notation) with trace equal $1$.
Element of order $p$ in odd characteristic is belonging to $Q_{12}$ i.e. it is element of determinant $1$ and trace $2$ (and not belonging to $mathbb F_q1)$.
answered Jan 11 at 8:00
Marek MitrosMarek Mitros
367212
$endgroup$
Here is some experimental data from GAP for answering this question. I do not have full picture yet. Let $q=p^n$, $p$ is prime number.
There are three types of subalgebras with one generated by one element: $mathbb F_q+mathbb F_q$, $mathbb F_q+mathbb F_qpmb i$, $mathbb F_{q^2}$ where $pmb i^p=1$. The groups contained with invertible elements are $C_{q-1}times C_{q-1}$, $C_{2(q-1)}times underbrace{C_ptimes...times C_p}_{n-1}$, $C_{q^2-1}$ with sizes $(q-1)^2,q^2-q,q^2-1$ respectively.
The three cases are distinguished by order of generator $u$ of the subalgebra. When it is divisor of $q-1$ then we are in case 1. When it is divisor of $q$ then we are in case 2. When it is divisor of $q+1$ then we are in case 3. Common divisor of $q-1$ and $q+1$ is $2$ and it happens in odd characteristic. In this case element of order $2$ generate case 1. In characteristic 2 zero divisor $p^2=p$ generate subalgebra of type 1. It is element of $Q_{01}$ (see this question for notation) with trace equal $1$.
Element of order $p$ in odd characteristic is belonging to $Q_{12}$ i.e. it is element of determinant $1$ and trace $2$ (and not belonging to $mathbb F_q1)$.
answered Jan 11 at 8:00
Marek MitrosMarek Mitros
367212
edited Jan 11 at 8:33
answered Jan 11 at 8:00
Marek MitrosMarek Mitros
367212
answered Jan 11 at 8:00
Marek MitrosMarek Mitros
367212
answered Jan 11 at 8:00
Marek MitrosMarek Mitros
367212
367212
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3068430%2fpossible-orders-of-trace-k-elements-in-sl-2-mathbb-f-q%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
