mersenneforum.org Modular arithmetic query
 User Name Remember Me? Password
 Register FAQ Search Today's Posts Mark Forums Read

 2020-06-08, 11:43 #1 garo     Aug 2002 Termonfeckin, IE 24×173 Posts Modular arithmetic query Apologies if this is very basic. Could anyone tell me why $(g^{a}\ mod\ p) \cdot (g^{b}\ mod\ p) \ mod\ p\equiv g^{(a+b)\ mod\ (p-1)}\ mod\ p$ Last fiddled with by garo on 2020-06-08 at 11:47
 2020-06-08, 11:53 #2 retina Undefined     "The unspeakable one" Jun 2006 My evil lair 2×32×7×53 Posts
 2020-06-08, 12:07 #3 garo     Aug 2002 Termonfeckin, IE AD016 Posts Right. I got that far but couldn't make the connection. How do I get from the totient function to (a+b) mod (p-1)?
2020-06-08, 12:09   #4
retina
Undefined

"The unspeakable one"
Jun 2006
My evil lair

2×32×7×53 Posts

Quote:
 Originally Posted by garo Right. I got that far but couldn't make the connection. How do I get from the totient function to (a+b) mod (p-1)?
For primes the totient function is simply p-1. So multiples of p-1 in the exponent can be ignored.

 2020-06-08, 12:15 #5 garo     Aug 2002 Termonfeckin, IE 53208 Posts Gotcha. Thanks for your help. Not sure why I was making it more complicated in my head. Last fiddled with by garo on 2020-06-08 at 12:16

 Similar Threads Thread Thread Starter Forum Replies Last Post science_man_88 Miscellaneous Math 42 2011-07-26 02:02 JuanTutors Math 4 2009-03-11 16:06 ixfd64 Programming 15 2008-07-30 03:52 Numbers Math 27 2005-11-30 15:41 ixfd64 Software 0 2004-05-27 05:42

All times are UTC. The time now is 09:12.

Fri Jan 27 09:12:10 UTC 2023 up 162 days, 6:40, 0 users, load averages: 1.31, 1.19, 1.07

Copyright ©2000 - 2023, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔