|
|
| Line 1: |
Line 1: |
| − | Disambiguation:
| + | {{disambig}} |
| | + | |
| | + | You may have been looking for: |
| | | | |
| | * [[Function/Introduction#The_Inverse_of_a_Function|Inverse of a function]] | | * [[Function/Introduction#The_Inverse_of_a_Function|Inverse of a function]] |
| Line 5: |
Line 7: |
| | * [[Logical inverse]] | | * [[Logical inverse]] |
| | | | |
| − | * Inverse with respect to an [[operation]], such as in a [[group]] (see also [[identity]]) (see below) | + | * [[Inverse with respect to an operation]], such as in a [[group]] (see also [[identity]]) (see below) |
| − | | |
| − | {{disambig}}
| |
| − | | |
| − | | |
| − | What should the page which the third item above links to be called? Here is some content for it, but I don't know what to call the page:
| |
| − | | |
| − | | |
| − | | |
| − | Suppose we have a [[binary operation]] G on a set S, <math>G:S\times S \to S</math>, and suppose this operation has an [[identity]] e, so that for every <math>g\in S</math> we have <math>G(e, g) = G(g, e) = g</math>. An '''inverse to g''' under this operation is an element <math>h \in S</math> such that <math>G(h, g) = G(g, h) = e</math>.
| |
| − | | |
| − | If our operation is not [[commutative]], we can talk separately about ''left inverses'' and ''right inverses''. A left inverse of g would be some h such that <math>G(h, g) = e</math> while a right inverse would be some h such that <math>G(g, h) = e</math>.
| |
| − | | |
| − | ==Uniqueness (under appropriate conditions)==
| |
| − | If the operation G is [[associative]] and an element has both a right and left inverse, these two inverses are equal.
| |
| − | ===Proof===
| |
| − | Let g be the element with left inverse h and right inverse h', so <math>G(h, g) = G(g, h') = e</math>. Then <math>G(G(h, g), h') = G(e, h') = h'</math>, by the properties of e. But by associativity, <math>\displaystyle G(G(h, g), h') = G(h, G(g, h')) = G(h, e) = h</math>, so we do indeed have <math>h = h'</math>.
| |
| − | | |
| − | ===Corollary===
| |
| − | If the operation G is associative, inverses are unique.
| |
This is a disambiguation page. The title you requested could refer to one of the articles listed on this page.
If you were referred to this page through an internal link and you believe that a direct link to a specific article would be more appropriate, feel free to help us out by changing the link on that page.
You may have been looking for:
