Specify if the operation is a group

Math help in Abstract Algebra: magmas, monoids, semigroups, groups (Lagrange Theorem, Sylow Theorems, etc ...), rings, fields, modules, isomorphism theorems, algebras, group representations, Lie Algebras, irreducible elements, prime elements, invertible elements, units; Field Theory: separable extensions, normal extensions, Galois extensions, Fundamental Theorem of Galois Theory, minimal polynomials, cyclotomic extensions, group of automorphisms, solvability of equations, solvable groups, splitting fields, algebraic closures, norms and traces on My Math Forum.
Math problems in Group Theory Field Theory Rings and Modules Polynomials

Specify if the operation is a group

Postby Spaghett » Fri Jan 20, 2012 9:55 pm

The symbol RxR represents the set of all ordered pairs (x,y) of real numbers. RxR may therefore be identified with the set of all the points in the plane. Which of the following subsets of RxR, with the indicated operation is a group? Which is an abelian group.

A group is a set G with an operation * which satisfies the axioms
1.) * is associative.
2.) There is an element e in G such that a*e=a and e*a=a for every element a in G.(identity)
3.) For every element a in G, there is an element a' in G such that a*a'=e and a'*a=e (inverse)


Question 1.)
(a,b)*(c,d)=(ac,bc+d) on the set {(x,y) in RxR: with x not equal to 0}

So to find out if this operation is a group, we must find out if it is associative, has an identity, and has an inverse.
I have found that it is associative, has an identity, and has an inverse.

NOW the real question is this:
Is (a,b)*(c,d)=(ac,bc+d) a group on the set RxR, including 0 ?

Does anything even change including 0? i don't think it does. Anybody have any suggestions or examples which proves it is not a group?
Spaghett
Newcomer
Newcomer
 
Posts: 21
Joined: Fri Jun 17, 2011 8:56 am

Return to Abstract Algebra: groups, rings, fields, Galois Theory, etc ...

Who is online

Users browsing this forum: No registered users and 2 guests