Results 1 to 2 of 2

Thread: Solvability, cancellation, identity, and inverse properties

  1. #1
    Junior Member
    Joined
    Mar 2009
    From
    Madison, WI
    Posts
    42

    Solvability, cancellation, identity, and inverse properties

    Prove that if G is a set with an associative operation which has the solvability and cancellation properties, then it has the identity and inverse properties.

    Solvability: for any elements $\displaystyle a$, $\displaystyle b$ of $\displaystyle G$, there is an element $\displaystyle c$ in $\displaystyle G$ with $\displaystyle a * c = b$, and an element $\displaystyle d$ in $\displaystyle G$ with $\displaystyle d * a = b$
    Cancellation: for any three elements $\displaystyle a, b, c$ of $\displaystyle G$, if $\displaystyle a * b = a * c$, then $\displaystyle b = c$
    Existence of Identity: there is an element $\displaystyle e$ of $\displaystyle G$ so that for all $\displaystyle a$ in $\displaystyle G$, $\displaystyle e * a = a * e = a$
    Existence of Inverse: for any $\displaystyle a$ in $\displaystyle G$, there is an element $\displaystyle b$ in $\displaystyle G$ so that $\displaystyle a * b = b * a = e$
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    22
    Quote Originally Posted by Zennie View Post
    Prove that if G is a set with an associative operation which has the solvability and cancellation properties, then it has the identity and inverse properties.

    Solvability: for any elements $\displaystyle a$, $\displaystyle b$ of $\displaystyle G$, there is an element $\displaystyle c$ in $\displaystyle G$ with $\displaystyle a * c = b$, and an element $\displaystyle d$ in $\displaystyle G$ with $\displaystyle d * a = b$
    Cancellation: for any three elements $\displaystyle a, b, c$ of $\displaystyle G$, if $\displaystyle a * b = a * c$, then $\displaystyle b = c$
    Existence of Identity: there is an element $\displaystyle e$ of $\displaystyle G$ so that for all $\displaystyle a$ in $\displaystyle G$, $\displaystyle e * a = a * e = a$
    Existence of Inverse: for any $\displaystyle a$ in $\displaystyle G$, there is an element $\displaystyle b$ in $\displaystyle G$ so that $\displaystyle a * b = b * a = e$
    What have you tried? What about solving the equation $\displaystyle dc=c$?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. identity and inverse
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: Jul 26th 2010, 12:29 AM
  2. Proving matrix inverse properties
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Jul 17th 2010, 09:01 PM
  3. Solvability by radicals
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: May 12th 2010, 12:05 AM
  4. Multiplicative inverse properties
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: Mar 19th 2010, 10:17 PM
  5. Inverse of an Identity Matrix
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Jul 3rd 2009, 09:23 AM

Search Tags


/mathhelpforum @mathhelpforum