February 5th, 2018, 01:52 PM  #1 
Member Joined: Jan 2015 From: usa Posts: 92 Thanks: 0  Artinian module
I want to prove the following result: Let $M$ be an artinian $ \mathbb{Z}$module. Show for every $x\in M$ there is some $n\ge 1$ such that $nx=0$ Thanks 
February 5th, 2018, 02:26 PM  #2 
Senior Member Joined: Aug 2017 From: United Kingdom Posts: 119 Thanks: 38 Math Focus: Algebraic Number Theory, Arithmetic Geometry 
Suppose for a contradiction that there is an $x \in M$ such that $nx \neq 0$ for all $n \geq 1$, and consider the following descending chain of subgroups of $M$: $\langle x \rangle \supseteq \langle 2x \rangle \supseteq \langle 4x \rangle \supseteq \langle 8x \rangle \supseteq \dots$ I'll leave it to you to prove that this chain doesn't terminate. To do this, you might like to show that every inclusion is strict. Last edited by cjem; February 5th, 2018 at 02:35 PM. 
February 5th, 2018, 02:36 PM  #3 
Member Joined: Jan 2015 From: usa Posts: 92 Thanks: 0 
That is exactly what I am blocked in. I started as you did, but I didn't get a contradiction.
Last edited by skipjack; February 5th, 2018 at 08:48 PM. 
February 5th, 2018, 02:46 PM  #4 
Senior Member Joined: Aug 2017 From: United Kingdom Posts: 119 Thanks: 38 Math Focus: Algebraic Number Theory, Arithmetic Geometry 
Well, suppose $\langle 2^m x \rangle = \langle 2^{m+1} x \rangle$ for some $m$. Then $2^m x \in \langle 2^{m+1} x \rangle$ so there is an integer $k$ such that $2^m x = k 2^{m+1} x$. Then we have $0 = (2^m  k 2^{m+1})x = 2^m(1  2k)x$. But since $nx \neq 0$ whenever $n$ is a nonzero integer, this implies $2^m (12k) = 0$ and so $2k = 1$. But this is impossible as $k$ is an integer. This shows that the inclusions of the chain are strict, so it's nonterminating. This contradicts $M$ being Artinian. 
February 5th, 2018, 02:57 PM  #5 
Member Joined: Jan 2015 From: usa Posts: 92 Thanks: 0 
thanks a lot cjem for your explanation!

February 6th, 2018, 08:27 AM  #6 
Senior Member Joined: Aug 2017 From: United Kingdom Posts: 119 Thanks: 38 Math Focus: Algebraic Number Theory, Arithmetic Geometry 
You're welcome.


Tags 
artinian, module 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
module inequation  bonildo  Elementary Math  2  January 11th, 2016 02:43 PM 
A module with no associated prime  Snoopy  Abstract Algebra  2  March 22nd, 2011 10:38 AM 
Tate module  ericj  Abstract Algebra  0  March 15th, 2010 10:01 AM 
Z[i]module Question  Erdos32212  Abstract Algebra  0  December 8th, 2008 07:07 PM 
Basis of a module  Mathworm  Abstract Algebra  3  February 28th, 2007 11:21 AM 