Ask your own question, for FREE!
Mathematics 12 Online
OpenStudy (anonymous):

Determine the inverse (if an inverse exists) of each of the numbers 1 through 6 in Z_7.

OpenStudy (kinggeorge):

Well, since this is \(\mathbb{Z}_7\), the fastest way would still be to just list out all the possibilities. I should make sure it's clear before I start, that an inverse of \(x\pmod{7}\) is a number \(y\) such that \(xy\equiv 1\pmod{7}\).

OpenStudy (anonymous):

So for example for 1: 1(x)-1=7q and just check 1 thru 6?

OpenStudy (kinggeorge):

First, and easiest, is \(1\). Since \(1*1=1\), 1 is its own inverse.

OpenStudy (anonymous):

you sure it means inverse under multiplication?

OpenStudy (anonymous):

The question doesn't specify any more than what I posted.

OpenStudy (kinggeorge):

Next is \(2\). \[2*1=2\]\[2*2=4\]\[2*3=6\]\[2*4=8\equiv1\pmod{7}\]So \(4\) is the inverse of 2 mod 7. @satellite73 I would assume it's multiplication since @succubusismydogsname's last question dealt with multiplication, and it doesn't ask for an inverse of 0.

OpenStudy (anonymous):

kk, just wasn't sure if this was the group \(\mathbb{Z}_7, +\)

OpenStudy (kinggeorge):

And you could just repeat this process for all the numbers 1-6. However, if you're dealing with numbers larger than 7, this may be a very tedious and time consuming process. There are better methods, but I think you might need a bit more familiarity with some of the necessary concepts first.

OpenStudy (anonymous):

Sorry for the off subject question but there can only be on inverse? So for an inverse to exist it must be bijective?

OpenStudy (anonymous):

*one

OpenStudy (anonymous):

you should prove this to your self start by assuming there are two, then show that they are equal

OpenStudy (anonymous):

now how about helping me with my question jeez

OpenStudy (kinggeorge):

In this case, every number 1-6 has exactly one inverse. However, I don't believe that is necessarily the case. If you had number that wasn't prime (such as 8), then some numbers don't have inverses.

OpenStudy (anonymous):

ah proof by contradiction. k will do.

OpenStudy (anonymous):

k... what's your question?

OpenStudy (anonymous):

It didn't ask for Z_7+ group.

OpenStudy (anonymous):

..and they are gone.. ) :

OpenStudy (kinggeorge):

To be even more specific, if \(n\) is prime, then every number in the set \(\{1,...,n-1\}\) has a unique inverse (so there is a bijective map). If \(n\) is not prime, then not every number in the set will have an inverse. BUT, if you take the set \[\{x|x\in\{1,...,n-1\}\text{ and }x\text{ has an inverse modulo }n\}\]then every \(x\) has a unique inverse.

OpenStudy (kinggeorge):

I hope that made sense.

OpenStudy (anonymous):

Yeah, so in order to have an inverse for all integers, there must be a bijective map?

OpenStudy (anonymous):

Thanks George. Did Satellite get upset and leave or was he being sarcastic?

OpenStudy (kinggeorge):

I think he was being sarcastic :P And yes, to have an inverse for all the integers (except 0), it must, by definition, be bijective (a function has an inverse if and only if it's bijective). And when \(n\) is prime, you get the nicest bijection.

OpenStudy (anonymous):

Splendid!

OpenStudy (anonymous):

@kinggeorge

OpenStudy (anonymous):

Just to reclarify. When something asks to "show that there exists..." all you need to do is show an example, Correct?

OpenStudy (kinggeorge):

That's one way to do it, and usually the most straightforward way. There are some circumstances where you aren't able to find an example, but you are able to show existence. But in this case, where you're given specific numbers, finding an example is usually the best strategy.

OpenStudy (anonymous):

last question I swear! but with relations can you make up ridiculous things like R={r{1}={5}, w{2}={5}}?

OpenStudy (kinggeorge):

I'm not quite sure I understand what you're saying there. Could you clarify the notation?

OpenStudy (anonymous):

Set A={1,2,3,4} and B={5,6,7,8} and R is a relation from A to B. R={r(1)=(5), r(2)=5, r(3)=6, r(4)=7}.

OpenStudy (anonymous):

Question: Let A and B be nonempty sets and let R be a nonempty relation from A to B. Show that there exists a subset A′ of A and a subset f of R such that f is a function from A′ to B.

OpenStudy (kinggeorge):

What I would do for this (this works for infinite sets as well), is to divide \(R\) into a bunch of different subsets \(f_a,f_b,...\) where \(a,b,...\in A\) and we have exactly \(|A|\) number of subsets of \(R\). Then if we have \(x\in A\), \(f_x\) would be defined as the subset of \(R\) that only takes \(x\) to various elements in \(B\). Then, choose exactly one element from \(f_a,f_b,...\) what you get should be a function.

OpenStudy (kinggeorge):

You'll probably need to write that your own way, and in a more formal way, but I think that argument works.

OpenStudy (anonymous):

uh gonna have to ruminate on your idea for a bit. Although my idea isn't very creative/impressive doesn't it technically work?

OpenStudy (anonymous):

or it would be difficult to make a function from it?

OpenStudy (kinggeorge):

The most important thing in making a function, is make sure any element is only sent to one place. So as long as if \(f(a)=b\) and \(f(a)=c\), then \(b=c\) is true, you probably have a function. So if you can make this,you should be fine.

OpenStudy (anonymous):

Yes, i see, i see.

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!