Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In this recent post the original question led people to look for rigid, noncommutative rings. (Rigid means that the only endomorphisms are zero and the identity). Several (somewhat complicated) examples were constructed, and Dejan Govc asked if the ring $R={\mathbb Z}\langle X,Y\rangle/(X^3-3,Y^3-5)$ is rigid.

Now we may look at the larger ring $R'={\mathbb Q}\langle X,Y\rangle /(X^3-3,Y^3-5)$. Let $U$ denote the multiplicative group of invertible elements in $R'$. Clearly ${\mathbb Q}^{*} \subseteq U$ and $X\in U$, $Y \in U$. Denote by $U'$ the multiplicative subgroup of $U$ generated by ${\mathbb Q}^{*},X$ and $Y$. Denote by $U''$ the set of elements of finite order in $U$.

I conjecture that $U''\subseteq U'$. It is easily seen that this implies that $R$ is indeed rigid.Are there general methods to compute $U$ and $U''$ ?

share|improve this question
    
$R'$ contains a number field $\mathbb{Q}[X] / (X^3 - 3)$, which has signature $(1,1)$ and no additional roots of unity, and thus (its subring of integers) has unit group $\mathbb{Z} \oplus \mathbb{Z}/2$. I would be surprised if a fundamental unit of this number field is in $U'$. –  Hurkyl Apr 27 '12 at 18:14
    
@Hurkyl : you're right, I updated my post accordingly. –  Ewan Delanoy Apr 27 '12 at 18:20
    
I'm not sure the tag "polynomials" is appropriate here, as noncommutative polynomials aren't what's usually meant by the word "polynomials". –  user23211 Apr 27 '12 at 18:39

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.