Samtliga lösningar ges nu av
Svar x=-567+65k, y=672-77k, där k är ett godtyckligt heltal.
Vi bestämmer först för vilka n som uttrycket delas av 7, dvs är
kongruent modulo 7. Vi har (Fermats lilla sats ger att
):
Vi undersöker för vilka värden på n som . Vi får (Fermats lilla sats ger att
):
Svar: De heltal n som är av formen 35k, 14+35k, 20+35k och 34+35k, där k är ett godtyckligt heltal.
Delgrupperna är alltså
och
.
Eftersom och risris=ri-is2=1 har
elementen s, rs, r2s,
alla ordning 2
resten av gruppen består av
som har ordning 13
och därför inte innehåller något element av ordning 2.
Eftersom D13 har ordning gäller enligt Lagranges
sats att en delgrupp har ordning 1, 2, 13 eller 26.
En (del)grupp var ordning är ett primtal är cykliska, så en delgrupp
av ordning 2 genereras av ett element av ordning 2. Det finns 13 olika
sådana:
.
En delgrupp av ordning 13 kan inte innehålla något element av
ordning 2, så den enda delgruppen av ordning 13 är .
Svar: a)
och
b)
och D13.