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 about subgroup. 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 with an excel, 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 which, by c above already seen has no 29, leads to
an impossibility condition
Assume has period which is a factor of , then satisfy the condition as well for any integer , aka who also leads to more mod equations of prime factors of , many listed as the result
Then, in case no contradiction of these listed equations, by the black box hint is found.
A side note of the blackbox hint. 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 . The method is, given , to assume . Then to solve then a general solution of is with any integer . One can actually group by then the setting is to assume and remember once the residual of is out, no need to see the residual of because it is determned already and introduce no new information about .
Example 1
Solve
Then and , set so and therefore so and the general solution is . Of course!
Example 2
Find such that
a dummy condition
another dummy condition
has a solution . 2 is period 4 in mod 5, therefore so all the mod equations are:
-
Then the 韓信 solution is . Check:
A historian side note is that 韓信 was holding large army and was so inteligent so the king 劉邦 who was so afraid of possible 韓信's coup killed 韓信 later once 韓信 won all wars against other countries
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