Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Set of units forming a group

  1. Oct 19, 2004 #1
    Hello out there! I'm a new guy here, so don't pick on me too much...I cry easy :wink:

    I want to show that a set of units in a ring forms a group under multiplication. What steps would I take to show this?

    Things that my feable brain knows:

    1) if [tex]a[/tex] is a unit, it is invertible and [tex]a^-^1[/tex] is also a unit.
    2) the product of units is a unit.
    3) and that [tex](ab)^-^1 = b^-^1 a^-^1[/tex]

    How should I proceed?

    Thanks in advance for any and all help.

  2. jcsd
  3. Oct 19, 2004 #2

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    what does it mean for something to be a unit? now, write out the definitions of a group and by some basic algebraic manipulations show they are satisfied.

    This is a reasonably elementary question, and I suspect that you've not thought long enough about it, that's all, especially as 1-2 above imply that it is a group directly.
  4. Oct 19, 2004 #3
    ah, the light bulb is now lit (just needed a little help finding that switch).

    Thanks for enlightening me (sorry for the bad pun).

    Take care.
  5. Oct 19, 2004 #4


    User Avatar
    Science Advisor
    Homework Helper

    basically just be sure you always read and understand the definition of what you are trying to prove. I.e. a group is a set closed under an associative (binary) operation with an identity, and where every element has an inverse.

    In a ring you have an associative multiplication with an identity, and the units are the elements that have multiplicative inverses, so this proof becomes easy once you know what the words mean.

    Moral: before trying to prove every A is a B, always review the definitions of A and B first, as Matt advised.

    Oh I guess you have to prove closure, i.e. the rpoduct of two units is a unit, which us your 3), so you had already done the only non trivial part of the proof.
    Last edited: Oct 19, 2004
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook