Question on Closure Property of Rings

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












This is perhaps a very trivial question, but I just want to be sure.



Suppose that, by assumption, some element of a ring is invertible. Rings need not be closed under multiplicative inverses, surely, but is it reasonable or necessary to conclude that this inverse is also an element of the ring?



I've been trying to piece together an example wherein this is guaranteed by closure under multiplication or the fact that, if $y$ is the inverse of some $x in R$, then clearly $x$ is also the inverse of $y$, but this doesn't seem to guarantee anything, unless I'm missing something obvious.



Thanks in advance.







share|cite|improve this question















  • 3




    If an element of a ring is invertible, it means that it has an inverse in that ring surely?
    – Lord Shark the Unknown
    Jul 28 at 13:39






  • 1




    Sometimes, an element is a zero divisor. In this case, it is either zero or cannot be invertible in any super-ring.
    – AlgebraicsAnonymous
    Jul 28 at 13:40






  • 1




    I don't think you have to conclude anything that is already given by definition. . I don't follow the thought in the last paragraph either. The definition of invertibility is totally symmetric so that $x$ is an invertible element iff its inverse is an invertible element.
    – rschwieb
    Jul 30 at 13:37















up vote
1
down vote

favorite












This is perhaps a very trivial question, but I just want to be sure.



Suppose that, by assumption, some element of a ring is invertible. Rings need not be closed under multiplicative inverses, surely, but is it reasonable or necessary to conclude that this inverse is also an element of the ring?



I've been trying to piece together an example wherein this is guaranteed by closure under multiplication or the fact that, if $y$ is the inverse of some $x in R$, then clearly $x$ is also the inverse of $y$, but this doesn't seem to guarantee anything, unless I'm missing something obvious.



Thanks in advance.







share|cite|improve this question















  • 3




    If an element of a ring is invertible, it means that it has an inverse in that ring surely?
    – Lord Shark the Unknown
    Jul 28 at 13:39






  • 1




    Sometimes, an element is a zero divisor. In this case, it is either zero or cannot be invertible in any super-ring.
    – AlgebraicsAnonymous
    Jul 28 at 13:40






  • 1




    I don't think you have to conclude anything that is already given by definition. . I don't follow the thought in the last paragraph either. The definition of invertibility is totally symmetric so that $x$ is an invertible element iff its inverse is an invertible element.
    – rschwieb
    Jul 30 at 13:37













up vote
1
down vote

favorite









up vote
1
down vote

favorite











This is perhaps a very trivial question, but I just want to be sure.



Suppose that, by assumption, some element of a ring is invertible. Rings need not be closed under multiplicative inverses, surely, but is it reasonable or necessary to conclude that this inverse is also an element of the ring?



I've been trying to piece together an example wherein this is guaranteed by closure under multiplication or the fact that, if $y$ is the inverse of some $x in R$, then clearly $x$ is also the inverse of $y$, but this doesn't seem to guarantee anything, unless I'm missing something obvious.



Thanks in advance.







share|cite|improve this question











This is perhaps a very trivial question, but I just want to be sure.



Suppose that, by assumption, some element of a ring is invertible. Rings need not be closed under multiplicative inverses, surely, but is it reasonable or necessary to conclude that this inverse is also an element of the ring?



I've been trying to piece together an example wherein this is guaranteed by closure under multiplication or the fact that, if $y$ is the inverse of some $x in R$, then clearly $x$ is also the inverse of $y$, but this doesn't seem to guarantee anything, unless I'm missing something obvious.



Thanks in advance.









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 28 at 13:38









Matt.P

666313




666313







  • 3




    If an element of a ring is invertible, it means that it has an inverse in that ring surely?
    – Lord Shark the Unknown
    Jul 28 at 13:39






  • 1




    Sometimes, an element is a zero divisor. In this case, it is either zero or cannot be invertible in any super-ring.
    – AlgebraicsAnonymous
    Jul 28 at 13:40






  • 1




    I don't think you have to conclude anything that is already given by definition. . I don't follow the thought in the last paragraph either. The definition of invertibility is totally symmetric so that $x$ is an invertible element iff its inverse is an invertible element.
    – rschwieb
    Jul 30 at 13:37













  • 3




    If an element of a ring is invertible, it means that it has an inverse in that ring surely?
    – Lord Shark the Unknown
    Jul 28 at 13:39






  • 1




    Sometimes, an element is a zero divisor. In this case, it is either zero or cannot be invertible in any super-ring.
    – AlgebraicsAnonymous
    Jul 28 at 13:40






  • 1




    I don't think you have to conclude anything that is already given by definition. . I don't follow the thought in the last paragraph either. The definition of invertibility is totally symmetric so that $x$ is an invertible element iff its inverse is an invertible element.
    – rschwieb
    Jul 30 at 13:37








3




3




If an element of a ring is invertible, it means that it has an inverse in that ring surely?
– Lord Shark the Unknown
Jul 28 at 13:39




If an element of a ring is invertible, it means that it has an inverse in that ring surely?
– Lord Shark the Unknown
Jul 28 at 13:39




1




1




Sometimes, an element is a zero divisor. In this case, it is either zero or cannot be invertible in any super-ring.
– AlgebraicsAnonymous
Jul 28 at 13:40




Sometimes, an element is a zero divisor. In this case, it is either zero or cannot be invertible in any super-ring.
– AlgebraicsAnonymous
Jul 28 at 13:40




1




1




I don't think you have to conclude anything that is already given by definition. . I don't follow the thought in the last paragraph either. The definition of invertibility is totally symmetric so that $x$ is an invertible element iff its inverse is an invertible element.
– rschwieb
Jul 30 at 13:37





I don't think you have to conclude anything that is already given by definition. . I don't follow the thought in the last paragraph either. The definition of invertibility is totally symmetric so that $x$ is an invertible element iff its inverse is an invertible element.
– rschwieb
Jul 30 at 13:37
















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2865259%2fquestion-on-closure-property-of-rings%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2865259%2fquestion-on-closure-property-of-rings%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?