0
$\begingroup$

Let $L$ be the ring of Lipschitz Integers and $a, b, c, d\in L$. Considere $L$ as a left $L$-module and let $(a), (b), (c), (d)$ be the left submodules generated by $a, b, c,$ and $d$, respectively. It is true that the factor modules

$$\frac{L}{(c)+(d)}\;\;and\;\;\frac{(a)+(b)}{(ca)+(db)},$$

are isomorphic?

Improve this question
$\endgroup$
5
  • 5
    $\begingroup$ For those who don't know: a Lipschitz integer is a quaternion with integer coefficients. $\endgroup$
    – André Henriques
    Commented Jun 10, 2012 at 20:23
  • $\begingroup$ Are b and c allowed to be units? $\endgroup$
    – Zack Wolske
    Commented Jun 10, 2012 at 20:43
  • $\begingroup$ It is easy to prove that $\frac{L}{(a)}\cong\frac{(c)}{(ac)}$, for $a, c\neq 0$, and the question is a generalization of this fact. If $a$ or $c$ are units this fact is trivial. So, assume, in the question, that $a, b, c, d$ are not units. $\endgroup$
    – zacarias
    Commented Jun 10, 2012 at 21:08
  • $\begingroup$ If both $b$ and $c$ are units, then you're asking if $L/L$ and $L/(a) + (d)$ are isomorphic. Or if you don't want to use units, take $a=d$, $b=c$, and $a, b$ coprime. $\endgroup$
    – Zack Wolske
    Commented Jun 10, 2012 at 21:16
  • $\begingroup$ Thank you Zack for your comments. The condiction $a$ and $b$ coprime is not well-defined in $L$ since $L$ is not a principal domain. But now I think the answer to the question is NO. Now I'm trying to prove that $$\frac{L}{(\bar{a})+(\bar{b})}\cong\frac{ (a) +(b)}{(\bar{a}a)+(\bar{b}b)}$$ $\endgroup$
    – zacarias
    Commented Jun 10, 2012 at 21:56

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .