Modular Arithmetic Word Problems

  • Thread starter Thread starter Benny
  • Start date Start date
  • Tags Tags
    Arithmetic
Click For Summary

Homework Help Overview

The discussion revolves around modular arithmetic problems, specifically focusing on finding congruences and inverses. Participants express challenges in applying theorems and definitions related to modular arithmetic, particularly when dealing with large exponents and the concept of multiplicative inverses.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Problem interpretation

Approaches and Questions Raised

  • The original poster attempts to find integers that satisfy specific modular equations but is unsure of the techniques to apply. They question the practical implications of theorems and definitions, particularly regarding congruence classes and inverses.
  • Some participants suggest using repeated squaring for handling large exponents and mention Euclid's algorithm for finding multiplicative inverses.
  • Others question the understanding of notation and definitions, seeking clarity on how these concepts apply to their problems.

Discussion Status

The discussion includes various approaches to the problems presented, with some participants providing guidance on techniques like repeated squaring and Euclid's algorithm. There is an ongoing exploration of definitions and theorems, with no clear consensus reached yet.

Contextual Notes

Participants note a lack of examples and practical applications of theorems, which contributes to their difficulties in solving the problems. There is also mention of homework constraints that may limit the information available for discussion.

Benny
Messages
577
Reaction score
0
Hi, I'm currently trying to do some modular arithmetic questions but I don't really know where to start, I don't have much in the way of examples, only a list of theorems. I'm no genius so theorem's by themselves are not enough to enable me to apply them so I've been stuck on some questions. Can someone help me with them?

Q1. Find an [tex]r \in Z[/tex] such that [tex]0 \le r < 713[/tex] and [tex]48^{307} \equiv r\left( {\bmod 713} \right)[/tex]. A possible answer is 12.

The next question is similar I think but I haven't been able to figure out what to do.

Q2. Find an m where 0 <= m < n and [tex]m \equiv l\left( {\bmod n} \right)[/tex] with l = 482 and n = 14.

I don't necessarily expect anyone to do the whole pronblem for me, even an indication as to the required technique would be good. This is because I really have no idea as to how to approach the first two.

I just have one more question that I would like someone to respond to. I have the following theorem:

Let m and n be in the set of integers Z with m,n > 1. Then, [tex]\mathop n\limits^\_ \in Z[/tex] has a multiplicative inverse if and only if gcd(m,n) = 1.

Note: The second sentence has n bar, it's probably a little hard to see. The first sentence in the theorem has n just being n, not n bar.

The following question is from my question booklet and I'm wondering if the theorem applies to it in some way. My understanding of n bar is that it is the set of integers z such that [tex]z \equiv n\left( {\bmod m} \right)[/tex]. But when I say 'my understanding' I only mean that I know the definition. I'm not really sure at all as to what this means in practice, I'm lacking in suitable examples to work with so any help with the questions would be really good thanks.

Q. Find an inverse for 41 modulo 660, and use it to find the least positive integer x satisfying: [tex]41x \equiv 125\left( {\bmod 660} \right)[/tex]

Edit: Just one more thing. I have that z_m(z subscript m) denotes the set of all congruence classes modulo m. Does that mean if for example m = 3 then z_m would denote [tex]\mathop a\limits^\_ = \left\{ {z \in Z|z \equiv a\left( {\bmod 3} \right)} \right\}[/tex] or something like that?
 
Last edited:
Physics news on Phys.org
Ok I've sorted out a few things now so I'll restate my question.

Q. Find an integer r such that 0 <= m < 713 such that [tex]48^{307} \equiv r\left( {\bmod 713} \right)[/tex].

I don't have problems with questions which ask you to find the LHS. For example find a possible m if [tex]m \equiv 482\left( {\bmod 14} \right)[/tex]. However doing the reverse is really giving me probems. Now obviously 48^307 is too large a number for me to just evaluate and repeatedly divide by 713. Is there another way which will enable me to find a possible r?

I thought about rewriting 48^307 as factors, some of which are such that [tex]factor \equiv 1\left( {\bmod 713} \right)[/tex] so that I can simplify the congruence equation. I've also tried expressing 713 in the for bq + r but that hasn't gotten me very fair either. Can someone please help me out?
 
For finding high exponents you can use repeated squaring. Find [tex]48^2, (48^2)^2=48^4, (48^4)^2=48^8,...[/tex] all mod 713. Then multiply together the appropriate ones to get 307 in the exponent (think of writing 307 in binary). The numbers won't be high as you reduce mod 713 after each squaring.

For finding an inverse of 41 mod 660, you'd like an integer y where [tex]41y\equiv 1\left( {\bmod\ 660} \right)[/tex]. This just means 660 divides [tex]41y-1[/tex], so we have another integer z where [tex]660z=41y-1[/tex], or [tex]660z-41y=1[/tex]. Use Euclid's algorithm, it provides a way of writing the gcd of two numbers as a linear combination of those two numbers (in this case gcd(41,660)=1). If you haven't seen this, examples should be easy to find online, or I can provide one if you ask. Use it just like you'd use a normal multiplicative inverse for solving equations.

It looks like you've sorted out the definition of the little bar. If you have any more questions on the notation, theorems, or whatever, please ask.
 
Thanks for the help.
 

Similar threads

Replies
10
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
7
Views
2K