Tilted Forum Project Discussion Community

Tilted Forum Project Discussion Community (https://thetfp.com/tfp/)
-   Tilted Knowledge and How-To (https://thetfp.com/tfp/tilted-knowledge-how/)
-   -   Name this abelian group. (https://thetfp.com/tfp/tilted-knowledge-how/87460-name-abelian-group.html)

phukraut 04-18-2005 11:20 AM

Name this abelian group.
 
The set of real numbers (but with -1 removed) forms a group G under the operation *, where, for a,b in G, a*b = a + ab + b.

My question is, does this group have a special name or discoverer? I can't seem to find any more information on it than textbook exercises, which doesn't name it.

vinaur 04-19-2005 04:52 AM

Is that supposed to be a times b or a#b (or any other character for that matter)??

somi 04-19-2005 06:48 AM

* represents a binery operation: is it closed under *? are there any a,b element of the set of real numbers that would result in it being -1?

Hain 04-19-2005 11:48 AM

Nope. To get a -1, either a or b must be -1, thus the series is all real numbers except for -1.

phukraut 04-19-2005 02:23 PM

Another way to see that -1 can't be in the group is by looking at the inverse of any element. it is -x/(1+x). Thus if x=-1, then inverse(x) is not a real number. Therefore the group would not be closed, and hence, not a group.

vinaur 04-19-2005 02:57 PM

I'm not really following the inverse part. How do you get it?

phukraut 04-19-2005 03:08 PM

First step, let's find the identity element of G:
the identity "e" is the element such that, for any x in G,

x*e = e*x = x. Now, by our definition of G,

x*e = x+xe+e = x.

The only value for e that will make the statement true is e=0 since
x+x0+0 = x. Now, to find the inverse of any x (call it "y"), the following needs to be true:

x*y = y*x = e.

This statement should be familiar if you think of it this way: if you take an object (like a number), and operate with its inverse, you should get "nothing" left. Examples include

3 + (-3) = 0, and 2(1/2) = 1, and in functions, f<sup>-1</sup>(f(x))=x.

In our case, since e=0, we have

x*y = x+xy+y = 0. Solving for y gives y(1+x)=-x, and thus y=-x/(1+x). In order for G to actually be a group, we must have that for any x in G, y=inverse(x) must be unique and be in G. Thus we exclude -1.


All times are GMT -8. The time now is 09:51 AM.

Powered by vBulletin® Version 3.8.7
Copyright ©2000 - 2025, vBulletin Solutions, Inc.
Search Engine Optimization by vBSEO 3.6.0 PL2
© 2002-2012 Tilted Forum Project


1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76