How to find order of the subgroup?
up vote
0
down vote
favorite
Having two prime numbers $p$, $q$ and a relation $N=pq$.
How could I find the order of group $mathbb{Z}_{N^2}^{*}$?
I know that $ord(mathbb{Z}_{N^2})=N^2$ and that $mathbb{Z}_{N^2}^{*}$ is a subgroup of $mathbb{Z}_{N^2}$.
Also I know that the order of the group is divided by the order of its subgroups, so $ord(mathbb{Z}_{N^2}^{*})|ord(mathbb{Z}_{N^2})$.
So, the possible orders could be either $N^2, N, p , q, 1$, but thats where I get stuck: I don't know how to determine which one would be the right order?
Could you give me any hints how to solve this problem?
Edit:
"What does the ∗ mean in this case?"
$mathbb{Z}_{n}^{*}={a in mathbb{Z}_{n} : gcd(a, n) = 1 }$
group-theory
|
show 1 more comment
up vote
0
down vote
favorite
Having two prime numbers $p$, $q$ and a relation $N=pq$.
How could I find the order of group $mathbb{Z}_{N^2}^{*}$?
I know that $ord(mathbb{Z}_{N^2})=N^2$ and that $mathbb{Z}_{N^2}^{*}$ is a subgroup of $mathbb{Z}_{N^2}$.
Also I know that the order of the group is divided by the order of its subgroups, so $ord(mathbb{Z}_{N^2}^{*})|ord(mathbb{Z}_{N^2})$.
So, the possible orders could be either $N^2, N, p , q, 1$, but thats where I get stuck: I don't know how to determine which one would be the right order?
Could you give me any hints how to solve this problem?
Edit:
"What does the ∗ mean in this case?"
$mathbb{Z}_{n}^{*}={a in mathbb{Z}_{n} : gcd(a, n) = 1 }$
group-theory
What does the $*$ mean in this case?
– Melody
Nov 18 at 13:55
3
$mathbb{Z}^*_{N^2}$ is not a subgroup of $mathbb{Z}_{N^2}$; one is a group under multiplication, the other is a group under addition...
– Matt B
Nov 18 at 13:56
2
The order of $mathbb{Z}_{n}^*$ is $phi(n)$. so $phi(p^2q^2)=p(p-1)*q*(q-1)$ Here is the wiki link for $phi(n)$: en.wikipedia.org/wiki/Euler%27s_totient_function also:math.stackexchange.com/questions/194705/…
– mathnoob
Nov 18 at 13:56
Added definition in my post. @Melody
– Andry
Nov 18 at 14:00
Thanks for pointing out that my problem was already based on my wrong assumption @MattB
– Andry
Nov 18 at 14:17
|
show 1 more comment
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Having two prime numbers $p$, $q$ and a relation $N=pq$.
How could I find the order of group $mathbb{Z}_{N^2}^{*}$?
I know that $ord(mathbb{Z}_{N^2})=N^2$ and that $mathbb{Z}_{N^2}^{*}$ is a subgroup of $mathbb{Z}_{N^2}$.
Also I know that the order of the group is divided by the order of its subgroups, so $ord(mathbb{Z}_{N^2}^{*})|ord(mathbb{Z}_{N^2})$.
So, the possible orders could be either $N^2, N, p , q, 1$, but thats where I get stuck: I don't know how to determine which one would be the right order?
Could you give me any hints how to solve this problem?
Edit:
"What does the ∗ mean in this case?"
$mathbb{Z}_{n}^{*}={a in mathbb{Z}_{n} : gcd(a, n) = 1 }$
group-theory
Having two prime numbers $p$, $q$ and a relation $N=pq$.
How could I find the order of group $mathbb{Z}_{N^2}^{*}$?
I know that $ord(mathbb{Z}_{N^2})=N^2$ and that $mathbb{Z}_{N^2}^{*}$ is a subgroup of $mathbb{Z}_{N^2}$.
Also I know that the order of the group is divided by the order of its subgroups, so $ord(mathbb{Z}_{N^2}^{*})|ord(mathbb{Z}_{N^2})$.
So, the possible orders could be either $N^2, N, p , q, 1$, but thats where I get stuck: I don't know how to determine which one would be the right order?
Could you give me any hints how to solve this problem?
Edit:
"What does the ∗ mean in this case?"
$mathbb{Z}_{n}^{*}={a in mathbb{Z}_{n} : gcd(a, n) = 1 }$
group-theory
group-theory
edited Nov 18 at 13:59
asked Nov 18 at 13:51
Andry
154
154
What does the $*$ mean in this case?
– Melody
Nov 18 at 13:55
3
$mathbb{Z}^*_{N^2}$ is not a subgroup of $mathbb{Z}_{N^2}$; one is a group under multiplication, the other is a group under addition...
– Matt B
Nov 18 at 13:56
2
The order of $mathbb{Z}_{n}^*$ is $phi(n)$. so $phi(p^2q^2)=p(p-1)*q*(q-1)$ Here is the wiki link for $phi(n)$: en.wikipedia.org/wiki/Euler%27s_totient_function also:math.stackexchange.com/questions/194705/…
– mathnoob
Nov 18 at 13:56
Added definition in my post. @Melody
– Andry
Nov 18 at 14:00
Thanks for pointing out that my problem was already based on my wrong assumption @MattB
– Andry
Nov 18 at 14:17
|
show 1 more comment
What does the $*$ mean in this case?
– Melody
Nov 18 at 13:55
3
$mathbb{Z}^*_{N^2}$ is not a subgroup of $mathbb{Z}_{N^2}$; one is a group under multiplication, the other is a group under addition...
– Matt B
Nov 18 at 13:56
2
The order of $mathbb{Z}_{n}^*$ is $phi(n)$. so $phi(p^2q^2)=p(p-1)*q*(q-1)$ Here is the wiki link for $phi(n)$: en.wikipedia.org/wiki/Euler%27s_totient_function also:math.stackexchange.com/questions/194705/…
– mathnoob
Nov 18 at 13:56
Added definition in my post. @Melody
– Andry
Nov 18 at 14:00
Thanks for pointing out that my problem was already based on my wrong assumption @MattB
– Andry
Nov 18 at 14:17
What does the $*$ mean in this case?
– Melody
Nov 18 at 13:55
What does the $*$ mean in this case?
– Melody
Nov 18 at 13:55
3
3
$mathbb{Z}^*_{N^2}$ is not a subgroup of $mathbb{Z}_{N^2}$; one is a group under multiplication, the other is a group under addition...
– Matt B
Nov 18 at 13:56
$mathbb{Z}^*_{N^2}$ is not a subgroup of $mathbb{Z}_{N^2}$; one is a group under multiplication, the other is a group under addition...
– Matt B
Nov 18 at 13:56
2
2
The order of $mathbb{Z}_{n}^*$ is $phi(n)$. so $phi(p^2q^2)=p(p-1)*q*(q-1)$ Here is the wiki link for $phi(n)$: en.wikipedia.org/wiki/Euler%27s_totient_function also:math.stackexchange.com/questions/194705/…
– mathnoob
Nov 18 at 13:56
The order of $mathbb{Z}_{n}^*$ is $phi(n)$. so $phi(p^2q^2)=p(p-1)*q*(q-1)$ Here is the wiki link for $phi(n)$: en.wikipedia.org/wiki/Euler%27s_totient_function also:math.stackexchange.com/questions/194705/…
– mathnoob
Nov 18 at 13:56
Added definition in my post. @Melody
– Andry
Nov 18 at 14:00
Added definition in my post. @Melody
– Andry
Nov 18 at 14:00
Thanks for pointing out that my problem was already based on my wrong assumption @MattB
– Andry
Nov 18 at 14:17
Thanks for pointing out that my problem was already based on my wrong assumption @MattB
– Andry
Nov 18 at 14:17
|
show 1 more comment
1 Answer
1
active
oldest
votes
up vote
3
down vote
accepted
First of all, $mathbb{Z}^*_n$ is not a subgroup of $mathbb{Z}_n$ since they have different operations, with this in mind; it is well known that for an integer $n$, $ord(mathbb{Z}^*_n)=varphi(n)$, so you just have to find $varphi(p^2q^2)$, first we analyze when $p,q$ are different primes, we have
$$varphi(p^2q^2)=varphi(p^2)varphi(q^2)$$
$$=(p^2-p)(q^2-q)$$
$$=N^2-Np -Nq+N$$
If $p=q$ we have to calculate $varphi(p^4)$
$$varphi(p^4)=p^4-p^3 $$
$$=N^2-Np$$
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
accepted
First of all, $mathbb{Z}^*_n$ is not a subgroup of $mathbb{Z}_n$ since they have different operations, with this in mind; it is well known that for an integer $n$, $ord(mathbb{Z}^*_n)=varphi(n)$, so you just have to find $varphi(p^2q^2)$, first we analyze when $p,q$ are different primes, we have
$$varphi(p^2q^2)=varphi(p^2)varphi(q^2)$$
$$=(p^2-p)(q^2-q)$$
$$=N^2-Np -Nq+N$$
If $p=q$ we have to calculate $varphi(p^4)$
$$varphi(p^4)=p^4-p^3 $$
$$=N^2-Np$$
add a comment |
up vote
3
down vote
accepted
First of all, $mathbb{Z}^*_n$ is not a subgroup of $mathbb{Z}_n$ since they have different operations, with this in mind; it is well known that for an integer $n$, $ord(mathbb{Z}^*_n)=varphi(n)$, so you just have to find $varphi(p^2q^2)$, first we analyze when $p,q$ are different primes, we have
$$varphi(p^2q^2)=varphi(p^2)varphi(q^2)$$
$$=(p^2-p)(q^2-q)$$
$$=N^2-Np -Nq+N$$
If $p=q$ we have to calculate $varphi(p^4)$
$$varphi(p^4)=p^4-p^3 $$
$$=N^2-Np$$
add a comment |
up vote
3
down vote
accepted
up vote
3
down vote
accepted
First of all, $mathbb{Z}^*_n$ is not a subgroup of $mathbb{Z}_n$ since they have different operations, with this in mind; it is well known that for an integer $n$, $ord(mathbb{Z}^*_n)=varphi(n)$, so you just have to find $varphi(p^2q^2)$, first we analyze when $p,q$ are different primes, we have
$$varphi(p^2q^2)=varphi(p^2)varphi(q^2)$$
$$=(p^2-p)(q^2-q)$$
$$=N^2-Np -Nq+N$$
If $p=q$ we have to calculate $varphi(p^4)$
$$varphi(p^4)=p^4-p^3 $$
$$=N^2-Np$$
First of all, $mathbb{Z}^*_n$ is not a subgroup of $mathbb{Z}_n$ since they have different operations, with this in mind; it is well known that for an integer $n$, $ord(mathbb{Z}^*_n)=varphi(n)$, so you just have to find $varphi(p^2q^2)$, first we analyze when $p,q$ are different primes, we have
$$varphi(p^2q^2)=varphi(p^2)varphi(q^2)$$
$$=(p^2-p)(q^2-q)$$
$$=N^2-Np -Nq+N$$
If $p=q$ we have to calculate $varphi(p^4)$
$$varphi(p^4)=p^4-p^3 $$
$$=N^2-Np$$
edited Nov 19 at 13:05
answered Nov 18 at 14:50
Bruno Andrades
1566
1566
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3003557%2fhow-to-find-order-of-the-subgroup%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
What does the $*$ mean in this case?
– Melody
Nov 18 at 13:55
3
$mathbb{Z}^*_{N^2}$ is not a subgroup of $mathbb{Z}_{N^2}$; one is a group under multiplication, the other is a group under addition...
– Matt B
Nov 18 at 13:56
2
The order of $mathbb{Z}_{n}^*$ is $phi(n)$. so $phi(p^2q^2)=p(p-1)*q*(q-1)$ Here is the wiki link for $phi(n)$: en.wikipedia.org/wiki/Euler%27s_totient_function also:math.stackexchange.com/questions/194705/…
– mathnoob
Nov 18 at 13:56
Added definition in my post. @Melody
– Andry
Nov 18 at 14:00
Thanks for pointing out that my problem was already based on my wrong assumption @MattB
– Andry
Nov 18 at 14:17