Math Is Fun Forum
  Discussion about math, puzzles, games and fun.   Useful symbols: √ ∞ ≠ ≤ ≥ ≈ ⇒ ∈ Δ θ ∴ ∑ ∫ π -

Login

Username

Password

Not registered yet?

Post a reply

Go back

Write your message and submit
:) :| :( :D :o ;) :/ :P :lol: :mad: :rolleyes: :cool: | :dizzy :eek :kiss :roflol :rolleyes :shame :down :up :touched :sleep :wave :swear :tongue :what :faint :dunno
Options

Go back

Topic review (newest first)

Ricky
2006-01-25 05:12:13

i * b = b, a * b = b

i * b = a * b

Let b- be the inverse of b, which must exist since it's a group.

(i * b) * b- = (a * b) * b-

The operation is associative so:

i * (b * b-) = a * (b * b-)

Definition of inverse, b * b- = i (identity must be unique).

i * i = a * i
i * i = i, and a * i = a
i = a

That look good?

Ricky
2006-01-25 04:17:27

In doing a proof, I am on the last step, but I can't quite seem to get it:

I have a group G and operation * (note: * is any operation, not just multiplying).  The definition of a group is at the bottom.

Let i ∈ G be the identity in G.  You can assume the identity is unique (I can prove that easily).   I know that i * b = b, and a * b = b.  It seems rather obvious that i = a, and thus, a is the identity.  However, I am not sure how to explicitly state that.  Anyone know?


Definition of a group: A group is a set G and an operation * which is:

Associative: For all a, b, c ∈ G, a * (b * c) = (a * b) * c
Has an identity: There exist an e ∈ G, such that for all a ∈ G, a * e = a and e * a = a
Has an inverse: For all a ∈ G, there exists b ∈ G, such that a * b = e and b * a = e

Board footer

Powered by FluxBB