Loading [MathJax]/jax/output/SVG/jax.js
 
+0  
 
0
664
0
avatar+12 

Hi - I'm taking a linear algebra course and the first few chapters are on set theory. I'm having trouble with a very simple proof and I'd like some help on it.

 

Let S and T be groups. Given TS prove:

 

a) ST=T

b) ST=S

 

I know these are very simple proofs but please keep in mind (and I know it's ridiculous) I was never taught proofs in high school, so the concept of proving something quite obvious is new to me.

 

Here's my shot at it:

 

a) Let xT

  - And since TS, then xS

  - Which means xST

  - And of course, STS

  - And since S{x|{x}S}={x|{x}S}

  - It is implied that ST=T

 

b) Let xT and yS

  - Since ST={x,y | xT , yS} and it is given that TS

  - And we already know that xTxS

  - Then the previous statement can be rewritten as ST={x,y | xS,yS}

  - Which obviously implies that in fact ST={x | xS}

  - So ST=S

 

Can anyone tell me if these proofs are correct and if not, explain them in similar terms so I can improve my strategies?

 
 Sep 29, 2015

2 Online Users