Finding cyclic group $mathbb{Z}_n^times$ of prime order
$begingroup$
It can be proven that multiplicative group of integers modulo $N$ defined as
$$mathbb{Z}^times_N = { iin mathbb Z : 1leq ileq N−1; text{ and }; gcd(i,N)=1 }$$
is cyclic for a prime $N$ and that if it is of prime order, then every non-identity element in the group is a generator of this group.
How can I find such $N$?
I wrote a simple program and brute-forced for $i in mathbb Z; iin [1, 300 000]$ and found no group of prime order so far.
group-theory cyclic-groups
$endgroup$
add a comment |
$begingroup$
It can be proven that multiplicative group of integers modulo $N$ defined as
$$mathbb{Z}^times_N = { iin mathbb Z : 1leq ileq N−1; text{ and }; gcd(i,N)=1 }$$
is cyclic for a prime $N$ and that if it is of prime order, then every non-identity element in the group is a generator of this group.
How can I find such $N$?
I wrote a simple program and brute-forced for $i in mathbb Z; iin [1, 300 000]$ and found no group of prime order so far.
group-theory cyclic-groups
$endgroup$
5
$begingroup$
How about $N=3$?
$endgroup$
– kccu
Jan 19 at 22:38
5
$begingroup$
If $N$ is prime, then your group has $N-1$ elements , which is a prime only for $N=3$
$endgroup$
– Peter
Jan 19 at 22:38
3
$begingroup$
Note that the condition $gcd(i, N)$ is vacuous if $N$ is prime and $1 le i le N-1$, so as per Peter's comment your group has $N-1$ elements.
$endgroup$
– Rob Arthan
Jan 19 at 22:43
1
$begingroup$
In case you are confused by why only $N = 3$ works, note that the only two consecutive integers which are both prime are ${2, 3}$. You That's because $2$ is the only even prime.
$endgroup$
– jordan_glen
Jan 19 at 23:13
$begingroup$
I was rejecting $N = 3$ as a trivial case, heh :) So just to make sure I properly understand implications here: for $mathbb{Z}_n^times$, when looking for a generator, we must pick a random number from $[2, N-1]$ and check if it matches Euler's criterion? We can not select $N$ in such a way that we'll know upfront what the generator is. Is that correct?
$endgroup$
– omnomnom
Jan 20 at 8:14
add a comment |
$begingroup$
It can be proven that multiplicative group of integers modulo $N$ defined as
$$mathbb{Z}^times_N = { iin mathbb Z : 1leq ileq N−1; text{ and }; gcd(i,N)=1 }$$
is cyclic for a prime $N$ and that if it is of prime order, then every non-identity element in the group is a generator of this group.
How can I find such $N$?
I wrote a simple program and brute-forced for $i in mathbb Z; iin [1, 300 000]$ and found no group of prime order so far.
group-theory cyclic-groups
$endgroup$
It can be proven that multiplicative group of integers modulo $N$ defined as
$$mathbb{Z}^times_N = { iin mathbb Z : 1leq ileq N−1; text{ and }; gcd(i,N)=1 }$$
is cyclic for a prime $N$ and that if it is of prime order, then every non-identity element in the group is a generator of this group.
How can I find such $N$?
I wrote a simple program and brute-forced for $i in mathbb Z; iin [1, 300 000]$ and found no group of prime order so far.
group-theory cyclic-groups
group-theory cyclic-groups
edited Jan 19 at 23:08
jordan_glen
1
1
asked Jan 19 at 22:36


omnomnomomnomnom
1012
1012
5
$begingroup$
How about $N=3$?
$endgroup$
– kccu
Jan 19 at 22:38
5
$begingroup$
If $N$ is prime, then your group has $N-1$ elements , which is a prime only for $N=3$
$endgroup$
– Peter
Jan 19 at 22:38
3
$begingroup$
Note that the condition $gcd(i, N)$ is vacuous if $N$ is prime and $1 le i le N-1$, so as per Peter's comment your group has $N-1$ elements.
$endgroup$
– Rob Arthan
Jan 19 at 22:43
1
$begingroup$
In case you are confused by why only $N = 3$ works, note that the only two consecutive integers which are both prime are ${2, 3}$. You That's because $2$ is the only even prime.
$endgroup$
– jordan_glen
Jan 19 at 23:13
$begingroup$
I was rejecting $N = 3$ as a trivial case, heh :) So just to make sure I properly understand implications here: for $mathbb{Z}_n^times$, when looking for a generator, we must pick a random number from $[2, N-1]$ and check if it matches Euler's criterion? We can not select $N$ in such a way that we'll know upfront what the generator is. Is that correct?
$endgroup$
– omnomnom
Jan 20 at 8:14
add a comment |
5
$begingroup$
How about $N=3$?
$endgroup$
– kccu
Jan 19 at 22:38
5
$begingroup$
If $N$ is prime, then your group has $N-1$ elements , which is a prime only for $N=3$
$endgroup$
– Peter
Jan 19 at 22:38
3
$begingroup$
Note that the condition $gcd(i, N)$ is vacuous if $N$ is prime and $1 le i le N-1$, so as per Peter's comment your group has $N-1$ elements.
$endgroup$
– Rob Arthan
Jan 19 at 22:43
1
$begingroup$
In case you are confused by why only $N = 3$ works, note that the only two consecutive integers which are both prime are ${2, 3}$. You That's because $2$ is the only even prime.
$endgroup$
– jordan_glen
Jan 19 at 23:13
$begingroup$
I was rejecting $N = 3$ as a trivial case, heh :) So just to make sure I properly understand implications here: for $mathbb{Z}_n^times$, when looking for a generator, we must pick a random number from $[2, N-1]$ and check if it matches Euler's criterion? We can not select $N$ in such a way that we'll know upfront what the generator is. Is that correct?
$endgroup$
– omnomnom
Jan 20 at 8:14
5
5
$begingroup$
How about $N=3$?
$endgroup$
– kccu
Jan 19 at 22:38
$begingroup$
How about $N=3$?
$endgroup$
– kccu
Jan 19 at 22:38
5
5
$begingroup$
If $N$ is prime, then your group has $N-1$ elements , which is a prime only for $N=3$
$endgroup$
– Peter
Jan 19 at 22:38
$begingroup$
If $N$ is prime, then your group has $N-1$ elements , which is a prime only for $N=3$
$endgroup$
– Peter
Jan 19 at 22:38
3
3
$begingroup$
Note that the condition $gcd(i, N)$ is vacuous if $N$ is prime and $1 le i le N-1$, so as per Peter's comment your group has $N-1$ elements.
$endgroup$
– Rob Arthan
Jan 19 at 22:43
$begingroup$
Note that the condition $gcd(i, N)$ is vacuous if $N$ is prime and $1 le i le N-1$, so as per Peter's comment your group has $N-1$ elements.
$endgroup$
– Rob Arthan
Jan 19 at 22:43
1
1
$begingroup$
In case you are confused by why only $N = 3$ works, note that the only two consecutive integers which are both prime are ${2, 3}$. You That's because $2$ is the only even prime.
$endgroup$
– jordan_glen
Jan 19 at 23:13
$begingroup$
In case you are confused by why only $N = 3$ works, note that the only two consecutive integers which are both prime are ${2, 3}$. You That's because $2$ is the only even prime.
$endgroup$
– jordan_glen
Jan 19 at 23:13
$begingroup$
I was rejecting $N = 3$ as a trivial case, heh :) So just to make sure I properly understand implications here: for $mathbb{Z}_n^times$, when looking for a generator, we must pick a random number from $[2, N-1]$ and check if it matches Euler's criterion? We can not select $N$ in such a way that we'll know upfront what the generator is. Is that correct?
$endgroup$
– omnomnom
Jan 20 at 8:14
$begingroup$
I was rejecting $N = 3$ as a trivial case, heh :) So just to make sure I properly understand implications here: for $mathbb{Z}_n^times$, when looking for a generator, we must pick a random number from $[2, N-1]$ and check if it matches Euler's criterion? We can not select $N$ in such a way that we'll know upfront what the generator is. Is that correct?
$endgroup$
– omnomnom
Jan 20 at 8:14
add a comment |
0
active
oldest
votes
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%2f3079926%2ffinding-cyclic-group-mathbbz-n-times-of-prime-order%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3079926%2ffinding-cyclic-group-mathbbz-n-times-of-prime-order%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
5
$begingroup$
How about $N=3$?
$endgroup$
– kccu
Jan 19 at 22:38
5
$begingroup$
If $N$ is prime, then your group has $N-1$ elements , which is a prime only for $N=3$
$endgroup$
– Peter
Jan 19 at 22:38
3
$begingroup$
Note that the condition $gcd(i, N)$ is vacuous if $N$ is prime and $1 le i le N-1$, so as per Peter's comment your group has $N-1$ elements.
$endgroup$
– Rob Arthan
Jan 19 at 22:43
1
$begingroup$
In case you are confused by why only $N = 3$ works, note that the only two consecutive integers which are both prime are ${2, 3}$. You That's because $2$ is the only even prime.
$endgroup$
– jordan_glen
Jan 19 at 23:13
$begingroup$
I was rejecting $N = 3$ as a trivial case, heh :) So just to make sure I properly understand implications here: for $mathbb{Z}_n^times$, when looking for a generator, we must pick a random number from $[2, N-1]$ and check if it matches Euler's criterion? We can not select $N$ in such a way that we'll know upfront what the generator is. Is that correct?
$endgroup$
– omnomnom
Jan 20 at 8:14