Welcome to MathOverflow

Question

5

To what extent is the structure theorem for finitely generated modules over principal ideal domains true over non-commutative domains? I'm in particular interested in non-commutative euclidean domains especially the twisted polynomial ring $K\langle X \rangle$ over a field $K$ (i.e. such that $Xa = \sigma(a)X$ for some automorphism $\sigma$ of K).

edited Jan 16 at 14:46

asked Jan 14 at 13:47

pz
131●6

	Your starting point seems a bit naive, even for the infinite dihedral group and its group ring. – Charles Matthews Jan 14 at 14:10
	I guess you interpret the group ring of $D_\infty$ as a twisted polynomial ring? Is the theory of f.g. modules over this group ring complicated? – Yves Cornulier Jan 14 at 15:22
	@Charles, it would probably be more helpful to the OP if you explained your comment a little more. – MTS Jan 14 at 16:57
	OK, the representation theory of the infinite dihedral group over a field is a special case, in that the group ring is really twisted Laurent polynomials. You have to assume X acts invertibly, in other words. – Charles Matthews Jan 15 at 9:33

arsmath · Accepted Answer · 2013-01-16 16:53:38Z UTC

The question is thoroughly explored in Chapter 3 of Nathan Jacobson's Theory of Rings. I took a quick look, and it looks like the analogous results go through in the noncommutative case. For example, Theorem 19 in Chapter 3 states that a finitely-generated module over a noncommutative principal ideal domain is a direct sum of cyclic modules.

Structure of f.g. modules over a non-commutative ring

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Your Answer

Not the answer you're looking for? Browse other questions tagged ac.commutative-algebra or ask your own question.

Welcome to MathOverflow

How to write math

Structure of f.g. modules over a non-commutative ring

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.