task 1
a
because there is inverse , so
b
because is not coprime with , let be the gcd of and , there are two integers such that . Therefore any number who is not multiple of is a candidate of as it must be
c
Given another group generator , the group is
if is not coprime with , then there would be some smaller number already; to have , it means for some . By 質因數分解 and , not coprime means some common prime factor for both, for example, have 3 as common prime factor, then , a smaller to be and accordingly
The set of all generators is
a side note. The order of a subgroup must be of the order of the group for some positive integer . To prove this, define who has the same size as , then and are two either identical or disjoint sets for any group element , never partial intersection, therefore treated as a set must be disjoint union of for some . Then a trivial collary is that a group of order of a prime number has no trivial subgroup and any element other than 1 is a generator. Also, the set must be a subgroup for any group element , therefore for any group element
d
all elements except 0 (operator's 1) can be generator by c above
task 2
any cyclic group of order is isomorphic to with translation:
a
b
let the answer be , then
so
so
so
c
what DDH?
is not necessarily cyclic (so nothing to do with task 2?)
but and each element only forms a subgroup of order 2 or 4, never the whole group of order 8
is cyclic group
d
as is not necessarily cyclic, a might not be of the form except trivial one
however, If are known and is pre-determined as for some , then
Define:
By
and there is such that . If NOT such , for example and , then the original quesntion is, as mentioned above, not well-posed and has no solution. To have a taste of such case, consider the problem of finding such that
Knowing (this is also a condition for well-posed question that must be a generator of , say, for ) only 3 and 5 possible for , there is some such that aka
Then by the black box hint, is found
A side note. This is the story of 韓信點兵, 韓信 as a general in 秦末漢初 good at math used this method to count the head count of soldiers by grouping the soldiers by and getting the
task 3
task 4
Because cyclic, let , given , then the collision is
aka
Since is prime, is itself a group having and the inverse of exists, therefore
task 5
a
and where + in in sense of
Alice answer and Bob answer , both the same
b
therefore
So the D can compute which should be the same as the 4rd argument for by answering true iff and 4rd argument the same