Skip to main content
added 86 characters in body
Source Link
Pace Nielsen
  • 18.7k
  • 4
  • 75
  • 137

The answer to this question is no in general. Let $K$ be a field, and let $R=F\{s,t\ :\ st=s+t \}$, the non-unital algebra generated by the non-commuting variables $s,t$ subject to the single relation $st=s+t$.

Let $A$ be any unital $K$-algebra containing $R$. In $A$ we have $(1-s)(1-t)=1-s-t+st=1$. However, $(1-t)(1-s)=1-t-s+ts\neq 1$ since $ts\neq s+t$. Thus $(1-s)$ is only right invertible, and hence $A\setminus R$ does not consist only of units.


Edited to add: An easier example, which has the added benefit of being commutative is taking $R$ to be the non-unital ring generated by commuting variables $x,y$ subject only to the additional relation $x^2=x$. The element $1-x\in A\setminus R$ is not unit, since it is a non-trivial idempotent.

The answer to this question is no in general. Let $K$ be a field, and let $R=F\{s,t\ :\ st=s+t \}$, the non-unital algebra generated by the non-commuting variables $s,t$ subject to the single relation $st=s+t$.

Let $A$ be any unital $K$-algebra containing $R$. In $A$ we have $(1-s)(1-t)=1-s-t+st=1$. However, $(1-t)(1-s)=1-t-s+ts\neq 1$ since $ts\neq s+t$. Thus $(1-s)$ is only right invertible, and hence $A\setminus R$ does not consist only of units.


Edited to add: An easier example, which has the added benefit of being commutative is taking $R$ to be the non-unital ring generated by commuting variables $x,y$ subject only to the additional relation $x^2=x$.

The answer to this question is no in general. Let $K$ be a field, and let $R=F\{s,t\ :\ st=s+t \}$, the non-unital algebra generated by the non-commuting variables $s,t$ subject to the single relation $st=s+t$.

Let $A$ be any unital $K$-algebra containing $R$. In $A$ we have $(1-s)(1-t)=1-s-t+st=1$. However, $(1-t)(1-s)=1-t-s+ts\neq 1$ since $ts\neq s+t$. Thus $(1-s)$ is only right invertible, and hence $A\setminus R$ does not consist only of units.


Edited to add: An easier example, which has the added benefit of being commutative is taking $R$ to be the non-unital ring generated by commuting variables $x,y$ subject only to the additional relation $x^2=x$. The element $1-x\in A\setminus R$ is not unit, since it is a non-trivial idempotent.

added 215 characters in body
Source Link
Pace Nielsen
  • 18.7k
  • 4
  • 75
  • 137

The answer to this question is no in general. Let $K$ be a field, and let $R=F\{s,t\ :\ st=s+t \}$, the non-unital algebra generated by the non-commuting variables $s,t$ subject to the single relation $st=s+t$.

Let $A$ be any unital $K$-algebra containing $R$. In $A$ we have $(1-s)(1-t)=1-s-t+st=1$. However, $(1-t)(1-s)=1-t-s+ts\neq 1$ since $ts\neq s+t$. Thus $(1-s)$ is only right invertible, and hence even if $R$ is an ideal$A\setminus R$ does not consist only of $A$ we know thatunits.


Edited to add: An easier example, which has the added benefit of being $A/R$commutative is not a divisiontaking $R$ to be the non-unital ring generated by commuting variables $x,y$ subject only to the additional relation $x^2=x$.

The answer to this question is no in general. Let $K$ be a field, and let $R=F\{s,t\ :\ st=s+t \}$, the non-unital algebra generated by the non-commuting variables $s,t$ subject to the single relation $st=s+t$.

Let $A$ be any unital $K$-algebra containing $R$. In $A$ we have $(1-s)(1-t)=1-s-t+st=1$. However, $(1-t)(1-s)=1-t-s+ts\neq 1$ since $ts\neq s+t$. Thus $(1-s)$ is only right invertible, and hence even if $R$ is an ideal of $A$ we know that $A/R$ is not a division ring.

The answer to this question is no in general. Let $K$ be a field, and let $R=F\{s,t\ :\ st=s+t \}$, the non-unital algebra generated by the non-commuting variables $s,t$ subject to the single relation $st=s+t$.

Let $A$ be any unital $K$-algebra containing $R$. In $A$ we have $(1-s)(1-t)=1-s-t+st=1$. However, $(1-t)(1-s)=1-t-s+ts\neq 1$ since $ts\neq s+t$. Thus $(1-s)$ is only right invertible, and hence $A\setminus R$ does not consist only of units.


Edited to add: An easier example, which has the added benefit of being commutative is taking $R$ to be the non-unital ring generated by commuting variables $x,y$ subject only to the additional relation $x^2=x$.

Source Link
Pace Nielsen
  • 18.7k
  • 4
  • 75
  • 137

The answer to this question is no in general. Let $K$ be a field, and let $R=F\{s,t\ :\ st=s+t \}$, the non-unital algebra generated by the non-commuting variables $s,t$ subject to the single relation $st=s+t$.

Let $A$ be any unital $K$-algebra containing $R$. In $A$ we have $(1-s)(1-t)=1-s-t+st=1$. However, $(1-t)(1-s)=1-t-s+ts\neq 1$ since $ts\neq s+t$. Thus $(1-s)$ is only right invertible, and hence even if $R$ is an ideal of $A$ we know that $A/R$ is not a division ring.