id	sid	tid	token	lemma	pos
iajs-348	1	1	n−primary	n−primary	PROPN
iajs-348	1	2	submodules	submodules	PROPN
iajs-348	1	3	δ	δ	PROPN
iajs-348	1	4	-	-	ADJ
iajs-348	1	5	hollow	hollow	ADJ
iajs-348	1	6	modules	module	NOUN
iajs-348	1	7	inaam	inaam	PROPN
iajs-348	1	8	m.	m.	PROPN
iajs-348	1	9	a.	a.	PROPN
iajs-348	1	10	hadi	hadi	PROPN
iajs-348	1	11	sameeah	sameeah	PROPN
iajs-348	1	12	hasoon	hasoon	PROPN
iajs-348	1	13	aidi	aidi	PROPN
iajs-348	1	14	*	*	PUNCT
iajs-348	1	15	department	department	NOUN
iajs-348	1	16	of	of	ADP
iajs-348	1	17	mathematics/	mathematics/	PROPN
iajs-348	1	18	college	college	NOUN
iajs-348	1	19	of	of	ADP
iajs-348	1	20	education	education	NOUN
iajs-348	1	21	for	for	ADP
iajs-348	1	22	pure	pure	ADJ
iajs-348	1	23	science	science	NOUN
iajs-348	1	24	,	,	PUNCT
iajs-348	1	25	(	(	PUNCT
iajs-348	1	26	ibn	ibn	PROPN
iajs-348	1	27	al	al	PROPN
iajs-348	1	28	haitham)/	haitham)/	PROPN
iajs-348	1	29	university	university	PROPN
iajs-348	1	30	of	of	ADP
iajs-348	1	31	baghdad	baghdad	PROPN
iajs-348	1	32	received	receive	VERB
iajs-348	1	33	in	in	ADP
iajs-348	1	34	:	:	PUNCT
iajs-348	1	35	8	8	NUM
iajs-348	1	36	may	may	PROPN
iajs-348	1	37	2014	2014	NUM
iajs-348	1	38	,	,	PUNCT
iajs-348	1	39	accepted	accept	VERB
iajs-348	1	40	in	in	ADP
iajs-348	1	41	:	:	PUNCT
iajs-348	1	42	22	22	NUM
iajs-348	1	43	june	june	PROPN
iajs-348	1	44	2014	2014	NUM
iajs-348	1	45	abstract	abstract	ADV
iajs-348	1	46	let	let	VERB
iajs-348	1	47	r	r	PRON
iajs-348	1	48	be	be	AUX
iajs-348	1	49	a	a	DET
iajs-348	1	50	commutative	commutative	ADJ
iajs-348	1	51	ring	ring	NOUN
iajs-348	1	52	with	with	ADP
iajs-348	1	53	unity	unity	NOUN
iajs-348	1	54	and	and	CCONJ
iajs-348	1	55	m	m	AUX
iajs-348	1	56	be	be	AUX
iajs-348	1	57	a	a	DET
iajs-348	1	58	non	non	ADJ
iajs-348	1	59	zero	zero	NUM
iajs-348	1	60	unitary	unitary	ADJ
iajs-348	1	61	left	leave	VERB
iajs-348	1	62	r	r	NOUN
iajs-348	1	63	-	-	PUNCT
iajs-348	1	64	module	module	NOUN
iajs-348	1	65	.	.	PUNCT
iajs-348	2	1	m	m	PROPN
iajs-348	2	2	is	be	AUX
iajs-348	2	3	called	call	VERB
iajs-348	2	4	a	a	DET
iajs-348	2	5	hollow	hollow	ADJ
iajs-348	2	6	module	module	NOUN
iajs-348	2	7	if	if	SCONJ
iajs-348	2	8	every	every	DET
iajs-348	2	9	proper	proper	ADJ
iajs-348	2	10	submodule	submodule	NOUN
iajs-348	2	11	n	n	PROPN
iajs-348	2	12	of	of	ADP
iajs-348	2	13	m	m	PROPN
iajs-348	2	14	is	be	AUX
iajs-348	2	15	small	small	ADJ
iajs-348	2	16	(	(	PUNCT
iajs-348	2	17	n	n	CCONJ
iajs-348	2	18	≪	≪	ADJ
iajs-348	2	19	m	m	NOUN
iajs-348	2	20	)	)	PUNCT
iajs-348	2	21	,	,	PUNCT
iajs-348	3	1	i.e.	i.e.	X
iajs-348	3	2	n	n	CCONJ
iajs-348	3	3	+	+	CCONJ
iajs-348	3	4	w	w	PROPN
iajs-348	3	5	≠	≠	PROPN
iajs-348	3	6	m	m	VERB
iajs-348	3	7	for	for	ADP
iajs-348	3	8	every	every	DET
iajs-348	3	9	proper	proper	ADJ
iajs-348	3	10	submodule	submodule	NOUN
iajs-348	3	11	w	w	PROPN
iajs-348	3	12	in	in	ADP
iajs-348	3	13	m.	m.	PROPN
iajs-348	3	14	a	a	DET
iajs-348	3	15	δ	δ	NOUN
iajs-348	3	16	-	-	ADJ
iajs-348	3	17	hollow	hollow	ADJ
iajs-348	3	18	module	module	NOUN
iajs-348	3	19	is	be	AUX
iajs-348	3	20	a	a	DET
iajs-348	3	21	generalization	generalization	NOUN
iajs-348	3	22	of	of	ADP
iajs-348	3	23	hollow	hollow	ADJ
iajs-348	3	24	module	module	NOUN
iajs-348	3	25	,	,	PUNCT
iajs-348	3	26	where	where	SCONJ
iajs-348	3	27	an	an	DET
iajs-348	3	28	r	r	NOUN
iajs-348	3	29	-	-	PUNCT
iajs-348	3	30	module	module	NOUN
iajs-348	3	31	m	m	NOUN
iajs-348	3	32	is	be	AUX
iajs-348	3	33	called	call	VERB
iajs-348	3	34	δ	δ	NOUN
iajs-348	3	35	-	-	PUNCT
iajs-348	3	36	hollow	hollow	ADJ
iajs-348	3	37	module	module	NOUN
iajs-348	3	38	if	if	SCONJ
iajs-348	3	39	every	every	DET
iajs-348	3	40	proper	proper	ADJ
iajs-348	3	41	submodule	submodule	NOUN
iajs-348	3	42	n	n	PROPN
iajs-348	3	43	of	of	ADP
iajs-348	3	44	m	m	PROPN
iajs-348	3	45	is	be	AUX
iajs-348	3	46	δ	δ	NOUN
iajs-348	3	47	-	-	ADJ
iajs-348	3	48	small	small	ADJ
iajs-348	3	49	(	(	PUNCT
iajs-348	3	50	n	n	CCONJ
iajs-348	3	51	δ	δ	PROPN
iajs-348	3	52			PROPN
iajs-348	3	53	m	m	NOUN
iajs-348	3	54	)	)	PUNCT
iajs-348	3	55	,	,	PUNCT
iajs-348	3	56	i.e.	i.e.	X
iajs-348	3	57	n	n	CCONJ
iajs-348	3	58	+	+	CCONJ
iajs-348	3	59	w	w	PROPN
iajs-348	3	60	≠	≠	PROPN
iajs-348	3	61	m	m	VERB
iajs-348	3	62	for	for	SCONJ
iajs-348	3	63	every	every	DET
iajs-348	3	64	proper	proper	ADJ
iajs-348	3	65	submodule	submodule	NOUN
iajs-348	3	66	w	w	NOUN
iajs-348	3	67	in	in	ADP
iajs-348	3	68	m	m	PROPN
iajs-348	3	69	with	with	ADP
iajs-348	3	70	m	m	PROPN
iajs-348	3	71	w	w	PROPN
iajs-348	3	72	is	be	AUX
iajs-348	3	73	singular	singular	ADJ
iajs-348	3	74	.	.	PUNCT
iajs-348	4	1	in	in	ADP
iajs-348	4	2	this	this	DET
iajs-348	4	3	work	work	NOUN
iajs-348	4	4	we	we	PRON
iajs-348	4	5	study	study	VERB
iajs-348	4	6	this	this	DET
iajs-348	4	7	class	class	NOUN
iajs-348	4	8	of	of	ADP
iajs-348	4	9	modules	module	NOUN
iajs-348	4	10	and	and	CCONJ
iajs-348	4	11	give	give	VERB
iajs-348	4	12	several	several	ADJ
iajs-348	4	13	fundamental	fundamental	ADJ
iajs-348	4	14	properties	property	NOUN
iajs-348	4	15	related	relate	VERB
iajs-348	4	16	with	with	ADP
iajs-348	4	17	this	this	DET
iajs-348	4	18	concept	concept	NOUN
iajs-348	4	19	.	.	PUNCT
iajs-348	5	1	key	key	ADJ
iajs-348	5	2	words	word	NOUN
iajs-348	5	3	:	:	PUNCT
iajs-348	5	4	small	small	ADJ
iajs-348	5	5	submodule	submodule	NOUN
iajs-348	5	6	,	,	PUNCT
iajs-348	5	7	δ	δ	NOUN
iajs-348	5	8	-	-	ADJ
iajs-348	5	9	small	small	ADJ
iajs-348	5	10	submodule	submodule	NOUN
iajs-348	5	11	,	,	PUNCT
iajs-348	5	12	hollow	hollow	ADJ
iajs-348	5	13	module	module	NOUN
iajs-348	5	14	,	,	PUNCT
iajs-348	5	15	δ	δ	NOUN
iajs-348	5	16	-	-	PUNCT
iajs-348	5	17	hollow	hollow	ADJ
iajs-348	5	18	module	module	NOUN
iajs-348	5	19	,	,	PUNCT
iajs-348	5	20	singular	singular	NOUN
iajs-348	5	21	module	module	NOUN
iajs-348	5	22	,	,	PUNCT
iajs-348	5	23	nonsingular	nonsingular	ADJ
iajs-348	5	24	module	module	NOUN
iajs-348	5	25	.	.	PUNCT
iajs-348	6	1	*	*	PUNCT
iajs-348	6	2	this	this	DET
iajs-348	6	3	paper	paper	NOUN
iajs-348	6	4	is	be	AUX
iajs-348	6	5	a	a	DET
iajs-348	6	6	part	part	NOUN
iajs-348	6	7	of	of	ADP
iajs-348	6	8	the	the	DET
iajs-348	6	9	thesis	thesis	NOUN
iajs-348	6	10	submitted	submit	VERB
iajs-348	6	11	by	by	ADP
iajs-348	6	12	the	the	DET
iajs-348	6	13	second	second	ADJ
iajs-348	6	14	author	author	NOUN
iajs-348	6	15	.	.	PUNCT
iajs-348	7	1	241	241	NUM
iajs-348	8	1	|	|	ADV
iajs-348	8	2	mathematics	mathematics	PROPN
iajs-348	8	3	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	NUM
iajs-348	8	4	�	�	NOUN
iajs-348	8	5	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	NUM
iajs-348	8	6	:	:	PUNCT
iajs-348	8	7	a@âig@ú‹	a@âig@ú‹	PROPN
iajs-348	9	1	©	©	PROPN
iajs-348	9	2	@ü‹127@@öü»€a@i2@‚b«@h2014	@ü‹127@@öü»€a@i2@‚b«@h2014	PROPN
iajs-348	9	3	ibn	ibn	PROPN
iajs-348	9	4	al	al	PROPN
iajs-348	9	5	-	-	PUNCT
iajs-348	9	6	haitham	haitham	PROPN
iajs-348	9	7	jour	jour	X
iajs-348	9	8	.	.	PROPN
iajs-348	9	9	for	for	ADP
iajs-348	9	10	pure	pure	ADJ
iajs-348	9	11	&	&	CCONJ
iajs-348	9	12	appl	appl	PROPN
iajs-348	9	13	.	.	PUNCT
iajs-348	10	1	sci	sci	PROPN
iajs-348	10	2	.	.	PUNCT
iajs-348	10	3	vol	vol	NOUN
iajs-348	10	4	.	.	PROPN
iajs-348	11	1	27	27	NUM
iajs-348	11	2	(	(	PUNCT
iajs-348	11	3	2	2	NUM
iajs-348	11	4	)	)	PUNCT
iajs-348	11	5	2014	2014	NUM
iajs-348	11	6	introduction	introduction	NOUN
iajs-348	11	7	throughout	throughout	ADP
iajs-348	11	8	this	this	DET
iajs-348	11	9	article	article	NOUN
iajs-348	11	10	all	all	DET
iajs-348	11	11	rings	ring	NOUN
iajs-348	11	12	are	be	AUX
iajs-348	11	13	commutative	commutative	ADJ
iajs-348	11	14	rings	ring	NOUN
iajs-348	11	15	with	with	ADP
iajs-348	11	16	identity	identity	NOUN
iajs-348	11	17	,	,	PUNCT
iajs-348	11	18	and	and	CCONJ
iajs-348	11	19	all	all	DET
iajs-348	11	20	modules	module	NOUN
iajs-348	11	21	are	be	AUX
iajs-348	11	22	unitary	unitary	ADJ
iajs-348	11	23	left	left	ADJ
iajs-348	11	24	r	r	NOUN
iajs-348	11	25	-	-	PUNCT
iajs-348	11	26	module	module	NOUN
iajs-348	11	27	.	.	PUNCT
iajs-348	12	1	a	a	DET
iajs-348	12	2	proper	proper	ADJ
iajs-348	12	3	submodule	submodule	NOUN
iajs-348	12	4	l	l	NOUN
iajs-348	12	5	of	of	ADP
iajs-348	12	6	a	a	DET
iajs-348	12	7	module	module	NOUN
iajs-348	12	8	m	m	VERB
iajs-348	12	9	is	be	AUX
iajs-348	12	10	called	call	VERB
iajs-348	12	11	small	small	ADJ
iajs-348	12	12	(	(	PUNCT
iajs-348	12	13	denoted	denote	VERB
iajs-348	12	14	by	by	ADP
iajs-348	12	15	l	l	NOUN
iajs-348	12	16	≪	≪	PROPN
iajs-348	12	17	m	m	NOUN
iajs-348	12	18	)	)	PUNCT
iajs-348	12	19	,	,	PUNCT
iajs-348	12	20	if	if	SCONJ
iajs-348	12	21	for	for	ADP
iajs-348	12	22	every	every	DET
iajs-348	12	23	proper	proper	ADJ
iajs-348	12	24	submodule	submodule	NOUN
iajs-348	12	25	k	k	PROPN
iajs-348	12	26	of	of	ADP
iajs-348	12	27	m	m	PROPN
iajs-348	12	28	,	,	PUNCT
iajs-348	12	29	l	l	PROPN
iajs-348	13	1	+	+	CCONJ
iajs-348	13	2	k	k	PROPN
iajs-348	13	3	≠	≠	PROPN
iajs-348	13	4	m.	m.	NOUN
iajs-348	13	5	a	a	DET
iajs-348	13	6	module	module	NOUN
iajs-348	13	7	m	m	VERB
iajs-348	13	8	is	be	AUX
iajs-348	13	9	called	call	VERB
iajs-348	13	10	hollow	hollow	ADJ
iajs-348	13	11	if	if	SCONJ
iajs-348	13	12	every	every	DET
iajs-348	13	13	proper	proper	ADJ
iajs-348	13	14	submodule	submodule	NOUN
iajs-348	13	15	of	of	ADP
iajs-348	13	16	m	m	PROPN
iajs-348	13	17	is	be	AUX
iajs-348	13	18	called	call	VERB
iajs-348	13	19	small	small	ADJ
iajs-348	13	20	,	,	PUNCT
iajs-348	13	21	[	[	X
iajs-348	13	22	1	1	NUM
iajs-348	13	23	]	]	PUNCT
iajs-348	13	24	.	.	PUNCT
iajs-348	14	1	as	as	ADP
iajs-348	14	2	a	a	DET
iajs-348	14	3	generalization	generalization	NOUN
iajs-348	14	4	of	of	ADP
iajs-348	14	5	the	the	DET
iajs-348	14	6	concept	concept	NOUN
iajs-348	14	7	small	small	ADJ
iajs-348	14	8	submodule	submodule	NOUN
iajs-348	14	9	,	,	PUNCT
iajs-348	14	10	zhou	zhou	X
iajs-348	14	11	in	in	ADP
iajs-348	14	12	[	[	X
iajs-348	14	13	2	2	NUM
iajs-348	14	14	]	]	PUNCT
iajs-348	14	15	introduce	introduce	VERB
iajs-348	14	16	the	the	DET
iajs-348	14	17	concept	concept	NOUN
iajs-348	14	18	δ	δ	NOUN
iajs-348	14	19	-	-	ADJ
iajs-348	14	20	small	small	ADJ
iajs-348	14	21	submodule	submodule	NOUN
iajs-348	14	22	,	,	PUNCT
iajs-348	14	23	where	where	SCONJ
iajs-348	14	24	a	a	DET
iajs-348	14	25	submodule	submodule	NOUN
iajs-348	14	26	n	n	PROPN
iajs-348	14	27	of	of	ADP
iajs-348	14	28	an	an	DET
iajs-348	14	29	r	r	NOUN
iajs-348	14	30	-	-	PUNCT
iajs-348	14	31	module	module	NOUN
iajs-348	14	32	m	m	NOUN
iajs-348	14	33	is	be	AUX
iajs-348	14	34	called	call	VERB
iajs-348	14	35	δ	δ	NOUN
iajs-348	14	36	-	-	ADJ
iajs-348	14	37	small	small	ADJ
iajs-348	14	38	(	(	PUNCT
iajs-348	14	39	denoted	denote	VERB
iajs-348	14	40	by	by	ADP
iajs-348	14	41	n	n	PRON
iajs-348	14	42	δ	δ	PROPN
iajs-348	14	43			PROPN
iajs-348	14	44	m	m	VERB
iajs-348	14	45	)	)	PUNCT
iajs-348	14	46	if	if	SCONJ
iajs-348	14	47	whenever	whenever	SCONJ
iajs-348	14	48	n	n	PROPN
iajs-348	14	49	+	+	CCONJ
iajs-348	14	50	k	k	X
iajs-348	14	51	=	=	VERB
iajs-348	14	52	m	m	PROPN
iajs-348	14	53	and	and	CCONJ
iajs-348	14	54	m	m	PROPN
iajs-348	14	55	/	/	SYM
iajs-348	14	56	k	k	PROPN
iajs-348	14	57	is	be	AUX
iajs-348	14	58	singular	singular	ADJ
iajs-348	14	59	module	module	NOUN
iajs-348	14	60	,	,	PUNCT
iajs-348	14	61	then	then	ADV
iajs-348	14	62	k	k	PROPN
iajs-348	14	63	=	=	PUNCT
iajs-348	14	64	m.	m.	NOUN
iajs-348	14	65	in	in	ADP
iajs-348	14	66	fact	fact	NOUN
iajs-348	14	67	an	an	DET
iajs-348	14	68	r	r	NOUN
iajs-348	14	69	-	-	PUNCT
iajs-348	14	70	module	module	NOUN
iajs-348	14	71	m	m	NOUN
iajs-348	14	72	is	be	AUX
iajs-348	14	73	called	call	VERB
iajs-348	14	74	singular	singular	ADJ
iajs-348	14	75	(	(	PUNCT
iajs-348	14	76	non	non	X
iajs-348	14	77	singular	singular	PROPN
iajs-348	14	78	)	)	PUNCT
iajs-348	14	79	if	if	SCONJ
iajs-348	14	80	z(m	z(m	NOUN
iajs-348	14	81	)	)	PUNCT
iajs-348	14	82	=	=	PRON
iajs-348	14	83	{	{	PUNCT
iajs-348	14	84	m	m	VERB
iajs-348	14	85	∈	∈	NOUN
iajs-348	14	86	m	m	NOUN
iajs-348	14	87	:	:	PUNCT
iajs-348	14	88	r	r	NOUN
iajs-348	14	89	ann	ann	PROPN
iajs-348	14	90	(	(	PUNCT
iajs-348	14	91	m	m	PROPN
iajs-348	14	92	)	)	PUNCT
iajs-348	14	93	is	be	AUX
iajs-348	14	94	an	an	DET
iajs-348	14	95	essential	essential	ADJ
iajs-348	14	96	ideal	ideal	NOUN
iajs-348	14	97	of	of	ADP
iajs-348	14	98	r	r	NOUN
iajs-348	14	99	}	}	PUNCT
iajs-348	14	100	=	=	VERB
iajs-348	14	101	m	m	VERB
iajs-348	14	102	(	(	PUNCT
iajs-348	14	103	(	(	PUNCT
iajs-348	14	104	0	0	NUM
iajs-348	14	105	)	)	PUNCT
iajs-348	14	106	)	)	PUNCT
iajs-348	14	107	,	,	PUNCT
iajs-348	15	1	[	[	X
iajs-348	15	2	3	3	NUM
iajs-348	15	3	]	]	PUNCT
iajs-348	15	4	,	,	PUNCT
iajs-348	15	5	and	and	CCONJ
iajs-348	15	6	a	a	DET
iajs-348	15	7	submodule	submodule	NOUN
iajs-348	15	8	n	n	PROPN
iajs-348	15	9	of	of	ADP
iajs-348	15	10	an	an	DET
iajs-348	15	11	r	r	NOUN
iajs-348	15	12	-	-	PUNCT
iajs-348	15	13	module	module	NOUN
iajs-348	15	14	m	m	NOUN
iajs-348	15	15	is	be	AUX
iajs-348	15	16	called	call	VERB
iajs-348	15	17	essential	essential	ADJ
iajs-348	15	18	in	in	ADP
iajs-348	15	19	m	m	PROPN
iajs-348	15	20	(	(	PUNCT
iajs-348	15	21	denoted	denote	VERB
iajs-348	15	22	by	by	ADP
iajs-348	15	23	n	n	DET
iajs-348	15	24	e	e	NOUN
iajs-348	15	25	≤m	≤m	NOUN
iajs-348	15	26	or	or	CCONJ
iajs-348	15	27	n	n	CCONJ
iajs-348	15	28	∗→	∗→	NOUN
iajs-348	15	29	m	m	NOUN
iajs-348	15	30	)	)	PUNCT
iajs-348	15	31	if	if	SCONJ
iajs-348	15	32	n	n	NUM
iajs-348	15	33	∩	∩	NOUN
iajs-348	15	34	w	w	PROPN
iajs-348	15	35	≠	≠	PROPN
iajs-348	15	36	(	(	PUNCT
iajs-348	15	37	0	0	NUM
iajs-348	15	38	)	)	PUNCT
iajs-348	15	39	for	for	ADP
iajs-348	15	40	any	any	DET
iajs-348	15	41	non	non	ADJ
iajs-348	15	42	zero	zero	NUM
iajs-348	15	43	w	w	PROPN
iajs-348	15	44	≤	≤	NUM
iajs-348	15	45	m	m	VERB
iajs-348	15	46	,	,	PUNCT
iajs-348	15	47	[	[	X
iajs-348	15	48	4	4	NUM
iajs-348	15	49	]	]	PUNCT
iajs-348	15	50	.	.	PUNCT
iajs-348	16	1	the	the	DET
iajs-348	16	2	concept	concept	NOUN
iajs-348	16	3	of	of	ADP
iajs-348	16	4	δ	δ	NOUN
iajs-348	16	5	-	-	PUNCT
iajs-348	16	6	hollow	hollow	ADJ
iajs-348	16	7	module	module	NOUN
iajs-348	16	8	appeared	appear	VERB
iajs-348	16	9	in	in	ADP
iajs-348	16	10	[	[	X
iajs-348	16	11	5	5	NUM
iajs-348	16	12	]	]	PUNCT
iajs-348	16	13	,	,	PUNCT
iajs-348	16	14	where	where	SCONJ
iajs-348	16	15	an	an	DET
iajs-348	16	16	rmodule	rmodule	NOUN
iajs-348	16	17	m	m	VERB
iajs-348	16	18	is	be	AUX
iajs-348	16	19	called	call	VERB
iajs-348	16	20	δ	δ	NOUN
iajs-348	16	21	-	-	NOUN
iajs-348	16	22	hollow	hollow	ADJ
iajs-348	16	23	,	,	PUNCT
iajs-348	16	24	if	if	SCONJ
iajs-348	16	25	every	every	DET
iajs-348	16	26	proper	proper	ADJ
iajs-348	16	27	submodule	submodule	NOUN
iajs-348	16	28	of	of	ADP
iajs-348	16	29	m	m	PROPN
iajs-348	16	30	is	be	AUX
iajs-348	16	31	a	a	DET
iajs-348	16	32	δ	δ	NOUN
iajs-348	16	33	-	-	ADJ
iajs-348	16	34	small	small	ADJ
iajs-348	16	35	in	in	ADP
iajs-348	16	36	m.	m.	NOUN
iajs-348	16	37	hence	hence	ADV
iajs-348	16	38	hollow	hollow	ADJ
iajs-348	16	39	module	module	NOUN
iajs-348	16	40	is	be	AUX
iajs-348	16	41	δ	δ	NOUN
iajs-348	16	42	-	-	ADJ
iajs-348	16	43	hollow	hollow	NOUN
iajs-348	16	44	,	,	PUNCT
iajs-348	16	45	but	but	CCONJ
iajs-348	16	46	the	the	DET
iajs-348	16	47	converse	converse	NOUN
iajs-348	16	48	is	be	AUX
iajs-348	16	49	not	not	PART
iajs-348	16	50	true	true	ADJ
iajs-348	16	51	.	.	PUNCT
iajs-348	17	1	the	the	DET
iajs-348	17	2	aim	aim	NOUN
iajs-348	17	3	of	of	ADP
iajs-348	17	4	this	this	DET
iajs-348	17	5	work	work	NOUN
iajs-348	17	6	is	be	AUX
iajs-348	17	7	to	to	PART
iajs-348	17	8	give	give	VERB
iajs-348	17	9	a	a	DET
iajs-348	17	10	comprehensive	comprehensive	ADJ
iajs-348	17	11	study	study	NOUN
iajs-348	17	12	of	of	ADP
iajs-348	17	13	the	the	DET
iajs-348	17	14	class	class	NOUN
iajs-348	17	15	of	of	ADP
iajs-348	17	16	δ	δ	NOUN
iajs-348	17	17	-	-	PUNCT
iajs-348	17	18	hollow	hollow	ADJ
iajs-348	17	19	modules	module	NOUN
iajs-348	17	20	.	.	PUNCT
iajs-348	18	1	it	it	PRON
iajs-348	18	2	is	be	AUX
iajs-348	18	3	of	of	ADP
iajs-348	18	4	interest	interest	NOUN
iajs-348	18	5	to	to	PART
iajs-348	18	6	know	know	VERB
iajs-348	18	7	how	how	SCONJ
iajs-348	18	8	far	far	ADV
iajs-348	18	9	the	the	DET
iajs-348	18	10	old	old	ADJ
iajs-348	18	11	theories	theory	NOUN
iajs-348	18	12	of	of	ADP
iajs-348	18	13	hollow	hollow	ADJ
iajs-348	18	14	module	module	NOUN
iajs-348	18	15	extend	extend	NOUN
iajs-348	18	16	to	to	ADP
iajs-348	18	17	the	the	DET
iajs-348	18	18	new	new	ADJ
iajs-348	18	19	situation	situation	NOUN
iajs-348	18	20	.	.	PUNCT
iajs-348	19	1	1preliminary	1preliminary	NUM
iajs-348	19	2	in	in	ADP
iajs-348	19	3	this	this	DET
iajs-348	19	4	section	section	NOUN
iajs-348	19	5	,	,	PUNCT
iajs-348	19	6	we	we	PRON
iajs-348	19	7	give	give	VERB
iajs-348	19	8	some	some	DET
iajs-348	19	9	definitions	definition	NOUN
iajs-348	19	10	and	and	CCONJ
iajs-348	19	11	propositions	proposition	NOUN
iajs-348	19	12	which	which	PRON
iajs-348	19	13	are	be	AUX
iajs-348	19	14	useful	useful	ADJ
iajs-348	19	15	in	in	ADP
iajs-348	19	16	our	our	PRON
iajs-348	19	17	work	work	NOUN
iajs-348	19	18	.	.	PUNCT
iajs-348	20	1	definition	definition	NOUN
iajs-348	20	2	1.1	1.1	NUM
iajs-348	20	3	:	:	PUNCT
iajs-348	20	4	a	a	DET
iajs-348	20	5	non	non	ADJ
iajs-348	20	6	zero	zero	NUM
iajs-348	20	7	module	module	NOUN
iajs-348	20	8	m	m	VERB
iajs-348	20	9	is	be	AUX
iajs-348	20	10	called	call	VERB
iajs-348	20	11	a	a	DET
iajs-348	20	12	hollow	hollow	ADJ
iajs-348	20	13	module	module	NOUN
iajs-348	20	14	if	if	SCONJ
iajs-348	20	15	every	every	DET
iajs-348	20	16	proper	proper	ADJ
iajs-348	20	17	submodule	submodule	NOUN
iajs-348	20	18	n	n	PROPN
iajs-348	20	19	of	of	ADP
iajs-348	20	20	m	m	PROPN
iajs-348	20	21	is	be	AUX
iajs-348	20	22	a	a	DET
iajs-348	20	23	small	small	ADJ
iajs-348	20	24	submodule	submodule	NOUN
iajs-348	20	25	of	of	ADP
iajs-348	20	26	m	m	PROPN
iajs-348	20	27	(	(	PUNCT
iajs-348	20	28	n	n	CCONJ
iajs-348	20	29	≪	≪	ADJ
iajs-348	20	30	m	m	NOUN
iajs-348	20	31	)	)	PUNCT
iajs-348	20	32	that	that	PRON
iajs-348	20	33	is	be	AUX
iajs-348	20	34	n	n	PROPN
iajs-348	20	35	+	+	CCONJ
iajs-348	20	36	w	w	PROPN
iajs-348	20	37	≠	≠	PROPN
iajs-348	20	38	m	m	VERB
iajs-348	20	39	for	for	ADP
iajs-348	20	40	every	every	DET
iajs-348	20	41	w	w	NOUN
iajs-348	20	42	<	<	X
iajs-348	20	43	m	m	PRON
iajs-348	20	44	,	,	PUNCT
iajs-348	20	45	[	[	X
iajs-348	20	46	1	1	NUM
iajs-348	20	47	]	]	PUNCT
iajs-348	20	48	.	.	PUNCT
iajs-348	21	1	definition	definition	NOUN
iajs-348	21	2	1.2	1.2	NUM
iajs-348	21	3	:	:	PUNCT
iajs-348	21	4	let	let	VERB
iajs-348	21	5	m	m	PRON
iajs-348	21	6	be	be	AUX
iajs-348	21	7	an	an	DET
iajs-348	21	8	r	r	NOUN
iajs-348	21	9	-	-	PUNCT
iajs-348	21	10	module	module	NOUN
iajs-348	21	11	.	.	PUNCT
iajs-348	22	1	a	a	DET
iajs-348	22	2	submodule	submodule	NOUN
iajs-348	22	3	a	a	PRON
iajs-348	22	4	of	of	ADP
iajs-348	22	5	a	a	DET
iajs-348	22	6	module	module	NOUN
iajs-348	22	7	m	m	VERB
iajs-348	22	8	is	be	AUX
iajs-348	22	9	called	call	VERB
iajs-348	22	10	a	a	DET
iajs-348	22	11	δ	δ	NOUN
iajs-348	22	12	-	-	ADJ
iajs-348	22	13	small	small	ADJ
iajs-348	22	14	submodule	submodule	NOUN
iajs-348	22	15	of	of	ADP
iajs-348	22	16	m	m	PROPN
iajs-348	22	17	(	(	PUNCT
iajs-348	22	18	denoted	denote	VERB
iajs-348	22	19	by	by	ADP
iajs-348	22	20	a	a	DET
iajs-348	22	21	δ	δ	PROPN
iajs-348	22	22			PROPN
iajs-348	22	23	m	m	NOUN
iajs-348	22	24	)	)	PUNCT
iajs-348	22	25	if	if	SCONJ
iajs-348	22	26	m	m	VERB
iajs-348	22	27	≠	≠	VERB
iajs-348	22	28	a	a	DET
iajs-348	22	29	+	+	X
iajs-348	22	30	b	b	NOUN
iajs-348	22	31	for	for	ADP
iajs-348	22	32	any	any	DET
iajs-348	22	33	proper	proper	ADJ
iajs-348	22	34	c	c	NOUN
iajs-348	22	35	-	-	PUNCT
iajs-348	22	36	singular	singular	ADJ
iajs-348	22	37	b	b	PROPN
iajs-348	22	38	of	of	ADP
iajs-348	22	39	m	m	PRON
iajs-348	22	40	,	,	PUNCT
iajs-348	22	41	(	(	PUNCT
iajs-348	22	42	where	where	SCONJ
iajs-348	22	43	b	b	NOUN
iajs-348	22	44	is	be	AUX
iajs-348	22	45	c	c	NOUN
iajs-348	22	46	-	-	PUNCT
iajs-348	22	47	singular	singular	ADJ
iajs-348	22	48	if	if	SCONJ
iajs-348	22	49	m	m	PROPN
iajs-348	22	50	b	b	NOUN
iajs-348	22	51	is	be	AUX
iajs-348	22	52	singular	singular	ADJ
iajs-348	22	53	module	module	NOUN
iajs-348	22	54	)	)	PUNCT
iajs-348	22	55	,	,	PUNCT
iajs-348	22	56	see	see	VERB
iajs-348	22	57	[	[	X
iajs-348	22	58	2	2	NUM
iajs-348	22	59	]	]	PUNCT
iajs-348	22	60	..	..	PUNCT
iajs-348	22	61	an	an	DET
iajs-348	22	62	r	r	NOUN
iajs-348	22	63	-	-	PUNCT
iajs-348	22	64	module	module	NOUN
iajs-348	22	65	m	m	NOUN
iajs-348	22	66	is	be	AUX
iajs-348	22	67	called	call	VERB
iajs-348	22	68	δ	δ	NOUN
iajs-348	22	69	-	-	NOUN
iajs-348	22	70	hollow	hollow	ADJ
iajs-348	22	71	if	if	SCONJ
iajs-348	22	72	every	every	DET
iajs-348	22	73	proper	proper	ADJ
iajs-348	22	74	submodule	submodule	NOUN
iajs-348	22	75	is	be	AUX
iajs-348	22	76	δ	δ	NOUN
iajs-348	22	77	-	-	ADJ
iajs-348	22	78	small	small	ADJ
iajs-348	22	79	in	in	ADP
iajs-348	22	80	m	m	PROPN
iajs-348	22	81	,	,	PUNCT
iajs-348	22	82	[	[	X
iajs-348	22	83	5	5	NUM
iajs-348	22	84	]	]	PUNCT
iajs-348	22	85	.	.	PUNCT
iajs-348	23	1	an	an	DET
iajs-348	23	2	r	r	NOUN
iajs-348	23	3	-	-	PUNCT
iajs-348	23	4	module	module	NOUN
iajs-348	23	5	m	m	NOUN
iajs-348	23	6	is	be	AUX
iajs-348	23	7	called	call	VERB
iajs-348	23	8	semisimple	semisimple	NOUN
iajs-348	23	9	if	if	SCONJ
iajs-348	23	10	every	every	DET
iajs-348	23	11	submodule	submodule	NOUN
iajs-348	23	12	of	of	ADP
iajs-348	23	13	m	m	PROPN
iajs-348	23	14	is	be	AUX
iajs-348	23	15	a	a	DET
iajs-348	23	16	direct	direct	ADJ
iajs-348	23	17	summand	summand	NOUN
iajs-348	23	18	of	of	ADP
iajs-348	23	19	m	m	PROPN
iajs-348	23	20	[	[	X
iajs-348	23	21	3	3	NUM
iajs-348	23	22	]	]	PUNCT
iajs-348	23	23	,	,	PUNCT
iajs-348	23	24	[	[	X
iajs-348	23	25	4	4	NUM
iajs-348	23	26	]	]	PUNCT
iajs-348	23	27	.	.	PUNCT
iajs-348	24	1	proposition	proposition	NOUN
iajs-348	24	2	1.3	1.3	NUM
iajs-348	24	3	:	:	PUNCT
iajs-348	25	1	[	[	X
iajs-348	25	2	2	2	X
iajs-348	25	3	]	]	X
iajs-348	25	4	let	let	VERB
iajs-348	25	5	m	m	PRON
iajs-348	25	6	be	be	AUX
iajs-348	25	7	an	an	DET
iajs-348	25	8	r	r	NOUN
iajs-348	25	9	-	-	PUNCT
iajs-348	25	10	module	module	NOUN
iajs-348	25	11	and	and	CCONJ
iajs-348	25	12	a	a	DET
iajs-348	25	13	be	be	AUX
iajs-348	25	14	a	a	DET
iajs-348	25	15	submodule	submodule	NOUN
iajs-348	25	16	of	of	ADP
iajs-348	25	17	m.	m.	NOUN
iajs-348	25	18	then	then	ADV
iajs-348	25	19	the	the	DET
iajs-348	25	20	following	follow	VERB
iajs-348	25	21	are	be	AUX
iajs-348	25	22	equivalent	equivalent	ADJ
iajs-348	25	23	(	(	PUNCT
iajs-348	25	24	1	1	NUM
iajs-348	25	25	)	)	PUNCT
iajs-348	25	26	a	a	DET
iajs-348	25	27	δ	δ	PROPN
iajs-348	25	28			PROPN
iajs-348	25	29	m.	m.	NOUN
iajs-348	25	30	(	(	PUNCT
iajs-348	25	31	2	2	X
iajs-348	25	32	)	)	PUNCT
iajs-348	25	33	if	if	SCONJ
iajs-348	25	34	m	m	VERB
iajs-348	25	35	=	=	PUNCT
iajs-348	25	36	a	a	PRON
iajs-348	25	37	+	+	NUM
iajs-348	25	38	b	b	NOUN
iajs-348	25	39	,	,	PUNCT
iajs-348	25	40	then	then	ADV
iajs-348	25	41	m	m	VERB
iajs-348	25	42	=	=	SYM
iajs-348	25	43	y	y	PROPN
iajs-348	25	44	⊕	⊕	PROPN
iajs-348	25	45	b	b	PROPN
iajs-348	25	46	,	,	PUNCT
iajs-348	25	47	for	for	ADP
iajs-348	25	48	projective	projective	ADJ
iajs-348	25	49	semisimple	semisimple	PROPN
iajs-348	25	50	submodule	submodule	PROPN
iajs-348	25	51	y	y	PROPN
iajs-348	25	52	of	of	ADP
iajs-348	25	53	a.	a.	PROPN
iajs-348	25	54	(	(	PUNCT
iajs-348	25	55	3	3	X
iajs-348	25	56	)	)	PUNCT
iajs-348	25	57	if	if	SCONJ
iajs-348	25	58	m	m	VERB
iajs-348	25	59	=	=	PUNCT
iajs-348	25	60	a	a	PRON
iajs-348	25	61	+	+	X
iajs-348	25	62	b	b	NOUN
iajs-348	25	63	with	with	ADP
iajs-348	25	64	m	m	PROPN
iajs-348	25	65	b	b	PROPN
iajs-348	25	66	goldie	goldie	PROPN
iajs-348	25	67	torsion	torsion	PROPN
iajs-348	25	68	,	,	PUNCT
iajs-348	25	69	then	then	ADV
iajs-348	25	70	m	m	VERB
iajs-348	25	71	=	=	SYM
iajs-348	25	72	b	b	PROPN
iajs-348	25	73	,	,	PUNCT
iajs-348	25	74	where	where	SCONJ
iajs-348	25	75	r	r	NOUN
iajs-348	25	76	-	-	PUNCT
iajs-348	25	77	module	module	NOUN
iajs-348	25	78	m	m	NOUN
iajs-348	25	79	is	be	AUX
iajs-348	25	80	called	call	VERB
iajs-348	25	81	goldie	goldie	PROPN
iajs-348	25	82	torsion	torsion	PROPN
iajs-348	25	83	if	if	SCONJ
iajs-348	25	84	z2[m	z2[m	PROPN
iajs-348	25	85	]	]	X
iajs-348	26	1	=	=	PUNCT
iajs-348	26	2	m	m	PROPN
iajs-348	26	3	,	,	PUNCT
iajs-348	26	4	and	and	CCONJ
iajs-348	26	5	z2(m	z2(m	X
iajs-348	26	6	)	)	PUNCT
iajs-348	26	7	is	be	AUX
iajs-348	26	8	defined	define	VERB
iajs-348	26	9	by	by	ADP
iajs-348	26	10	2z	2z	NUM
iajs-348	26	11	(	(	PUNCT
iajs-348	26	12	m	m	NOUN
iajs-348	26	13	)	)	PUNCT
iajs-348	26	14	m	m	VERB
iajs-348	26	15	z(m	z(m	NOUN
iajs-348	26	16	)	)	PUNCT
iajs-348	26	17	z(m	z(m	PROPN
iajs-348	26	18	)	)	PUNCT
iajs-348	26	19	=	=	SYM
iajs-348	26	20	,	,	PUNCT
iajs-348	26	21	(	(	PUNCT
iajs-348	26	22	see	see	VERB
iajs-348	26	23	[	[	X
iajs-348	26	24	3	3	NUM
iajs-348	26	25	]	]	NUM
iajs-348	26	26	)	)	PUNCT
iajs-348	26	27	.	.	PUNCT
iajs-348	27	1	proposition	proposition	NOUN
iajs-348	27	2	1.4	1.4	NUM
iajs-348	27	3	:	:	PUNCT
iajs-348	28	1	[	[	X
iajs-348	28	2	2	2	NUM
iajs-348	28	3	]	]	PUNCT
iajs-348	28	4	(	(	PUNCT
iajs-348	28	5	1	1	X
iajs-348	28	6	)	)	PUNCT
iajs-348	28	7	let	let	VERB
iajs-348	28	8	a	a	PRON
iajs-348	28	9	and	and	CCONJ
iajs-348	28	10	b	b	NOUN
iajs-348	28	11	be	be	AUX
iajs-348	28	12	submodules	submodule	NOUN
iajs-348	28	13	of	of	ADP
iajs-348	28	14	an	an	DET
iajs-348	28	15	r	r	NOUN
iajs-348	28	16	-	-	PUNCT
iajs-348	28	17	module	module	NOUN
iajs-348	28	18	m	m	NOUN
iajs-348	28	19	such	such	ADJ
iajs-348	28	20	that	that	SCONJ
iajs-348	28	21	a	a	DET
iajs-348	28	22	≤	≤	PROPN
iajs-348	28	23	b.	b.	NOUN
iajs-348	29	1	if	if	SCONJ
iajs-348	29	2	a	a	DET
iajs-348	29	3	δ	δ	PROPN
iajs-348	29	4			PROPN
iajs-348	29	5	b	b	PROPN
iajs-348	29	6	then	then	ADV
iajs-348	29	7	a	a	DET
iajs-348	29	8	δ	δ	PROPN
iajs-348	29	9			PROPN
iajs-348	29	10	m.	m.	NOUN
iajs-348	29	11	242	242	NUM
iajs-348	29	12	|	|	ADV
iajs-348	29	13	mathematics	mathematics	PROPN
iajs-348	29	14	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	NUM
iajs-348	29	15	�	�	NOUN
iajs-348	29	16	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	NUM
iajs-348	29	17	:	:	PUNCT
iajs-348	29	18	a@âig@ú‹	a@âig@ú‹	PROPN
iajs-348	30	1	©	©	PROPN
iajs-348	30	2	@ü‹127@@öü»€a@i2@‚b«@h2014	@ü‹127@@öü»€a@i2@‚b«@h2014	PROPN
iajs-348	30	3	ibn	ibn	PROPN
iajs-348	30	4	al	al	PROPN
iajs-348	30	5	-	-	PUNCT
iajs-348	30	6	haitham	haitham	PROPN
iajs-348	30	7	jour	jour	X
iajs-348	30	8	.	.	PROPN
iajs-348	30	9	for	for	ADP
iajs-348	30	10	pure	pure	ADJ
iajs-348	30	11	&	&	CCONJ
iajs-348	30	12	appl	appl	PROPN
iajs-348	30	13	.	.	PUNCT
iajs-348	31	1	sci	sci	PROPN
iajs-348	31	2	.	.	PUNCT
iajs-348	31	3	vol	vol	NOUN
iajs-348	31	4	.	.	PROPN
iajs-348	32	1	27	27	NUM
iajs-348	32	2	(	(	PUNCT
iajs-348	32	3	2	2	NUM
iajs-348	32	4	)	)	PUNCT
iajs-348	32	5	2014	2014	NUM
iajs-348	32	6	(	(	PUNCT
iajs-348	32	7	2	2	X
iajs-348	32	8	)	)	PUNCT
iajs-348	32	9	let	let	VERB
iajs-348	32	10	a	a	PRON
iajs-348	32	11	and	and	CCONJ
iajs-348	32	12	b	b	NOUN
iajs-348	32	13	be	be	AUX
iajs-348	32	14	submodules	submodule	NOUN
iajs-348	32	15	of	of	ADP
iajs-348	32	16	an	an	DET
iajs-348	32	17	r	r	NOUN
iajs-348	32	18	-	-	PUNCT
iajs-348	32	19	module	module	NOUN
iajs-348	32	20	m	m	NOUN
iajs-348	32	21	such	such	ADJ
iajs-348	32	22	that	that	SCONJ
iajs-348	32	23	a	a	DET
iajs-348	32	24	≤	≤	PROPN
iajs-348	32	25	b.	b.	NOUN
iajs-348	33	1	if	if	SCONJ
iajs-348	33	2	b	b	PROPN
iajs-348	33	3	δ	δ	PROPN
iajs-348	33	4			VERB
iajs-348	33	5	m	m	VERB
iajs-348	33	6	then	then	ADV
iajs-348	33	7	a	a	DET
iajs-348	33	8	δ	δ	PROPN
iajs-348	33	9			PROPN
iajs-348	33	10	m.	m.	NOUN
iajs-348	33	11	(	(	PUNCT
iajs-348	33	12	3	3	X
iajs-348	33	13	)	)	PUNCT
iajs-348	33	14	let	let	VERB
iajs-348	33	15	a	a	PRON
iajs-348	33	16	and	and	CCONJ
iajs-348	33	17	b	b	NOUN
iajs-348	33	18	be	be	AUX
iajs-348	33	19	submodules	submodule	NOUN
iajs-348	33	20	of	of	ADP
iajs-348	33	21	an	an	DET
iajs-348	33	22	r	r	NOUN
iajs-348	33	23	-	-	PUNCT
iajs-348	33	24	module	module	NOUN
iajs-348	33	25	m	m	NOUN
iajs-348	33	26	such	such	ADJ
iajs-348	33	27	that	that	SCONJ
iajs-348	33	28	a	a	DET
iajs-348	33	29	≤	≤	PROPN
iajs-348	33	30	b	b	NOUN
iajs-348	33	31	,	,	PUNCT
iajs-348	33	32	then	then	ADV
iajs-348	33	33	b	b	PROPN
iajs-348	33	34	δ	δ	PROPN
iajs-348	33	35			NOUN
iajs-348	33	36	m	m	VERB
iajs-348	33	37	if	if	SCONJ
iajs-348	33	38	and	and	CCONJ
iajs-348	33	39	only	only	ADV
iajs-348	33	40	if	if	SCONJ
iajs-348	33	41	a	a	DET
iajs-348	33	42	δ	δ	PROPN
iajs-348	33	43			NOUN
iajs-348	33	44	m	m	ADJ
iajs-348	33	45	and	and	CCONJ
iajs-348	33	46	δ	δ	PROPN
iajs-348	33	47	b	b	PROPN
iajs-348	33	48	m	m	VERB
iajs-348	33	49	a	a	DET
iajs-348	33	50	a	a	DET
iajs-348	33	51			NOUN
iajs-348	33	52	.	.	PUNCT
iajs-348	34	1	(	(	PUNCT
iajs-348	34	2	4	4	X
iajs-348	34	3	)	)	PUNCT
iajs-348	34	4	let	let	VERB
iajs-348	34	5	m	m	PRON
iajs-348	34	6	and	and	CCONJ
iajs-348	34	7	n	n	CCONJ
iajs-348	34	8	be	be	AUX
iajs-348	34	9	an	an	DET
iajs-348	34	10	r	r	NOUN
iajs-348	34	11	-	-	PUNCT
iajs-348	34	12	modules	module	NOUN
iajs-348	34	13	and	and	CCONJ
iajs-348	34	14	let	let	VERB
iajs-348	34	15	f	f	NOUN
iajs-348	34	16	:	:	PUNCT
iajs-348	34	17	m	m	VERB
iajs-348	34	18	→	→	PROPN
iajs-348	34	19	n	n	ADV
iajs-348	34	20	be	be	AUX
iajs-348	34	21	a	a	DET
iajs-348	34	22	homeomorphism	homeomorphism	NOUN
iajs-348	34	23	.	.	PUNCT
iajs-348	35	1	if	if	SCONJ
iajs-348	35	2	a	a	PRON
iajs-348	35	3	is	be	AUX
iajs-348	35	4	a	a	DET
iajs-348	35	5	submodule	submodule	NOUN
iajs-348	35	6	of	of	ADP
iajs-348	35	7	m	m	PRON
iajs-348	35	8	such	such	ADJ
iajs-348	35	9	that	that	SCONJ
iajs-348	35	10	a	a	DET
iajs-348	35	11	δ	δ	PROPN
iajs-348	35	12			NOUN
iajs-348	35	13	m	m	PROPN
iajs-348	35	14	,	,	PUNCT
iajs-348	35	15	then	then	ADV
iajs-348	35	16	f	f	X
iajs-348	35	17	(	(	PUNCT
iajs-348	35	18	a	a	PROPN
iajs-348	35	19	)	)	PUNCT
iajs-348	35	20	δ	δ	PROPN
iajs-348	35	21			PROPN
iajs-348	35	22	n.	n.	NOUN
iajs-348	35	23	(	(	PUNCT
iajs-348	35	24	5	5	X
iajs-348	35	25	)	)	PUNCT
iajs-348	35	26	let	let	VERB
iajs-348	35	27	a	a	PRON
iajs-348	35	28	and	and	CCONJ
iajs-348	35	29	b	b	NOUN
iajs-348	35	30	be	be	AUX
iajs-348	35	31	submodules	submodule	NOUN
iajs-348	35	32	of	of	ADP
iajs-348	35	33	an	an	DET
iajs-348	35	34	r	r	NOUN
iajs-348	35	35	-	-	PUNCT
iajs-348	35	36	module	module	NOUN
iajs-348	35	37	m.	m.	NOUN
iajs-348	35	38	then	then	ADV
iajs-348	35	39	a	a	DET
iajs-348	35	40	+	+	PROPN
iajs-348	35	41	b	b	NOUN
iajs-348	35	42	δ	δ	NOUN
iajs-348	35	43			NOUN
iajs-348	35	44	m	m	VERB
iajs-348	35	45	if	if	SCONJ
iajs-348	36	1	and	and	CCONJ
iajs-348	36	2	only	only	ADV
iajs-348	36	3	if	if	SCONJ
iajs-348	36	4	a	a	DET
iajs-348	36	5	δ	δ	PROPN
iajs-348	36	6			NOUN
iajs-348	36	7	m	m	PROPN
iajs-348	36	8	and	and	CCONJ
iajs-348	36	9	b	b	PROPN
iajs-348	36	10	δ	δ	PROPN
iajs-348	36	11			PROPN
iajs-348	36	12	m.	m.	NOUN
iajs-348	36	13	(	(	PUNCT
iajs-348	36	14	6	6	X
iajs-348	36	15	)	)	PUNCT
iajs-348	36	16	let	let	VERB
iajs-348	36	17	m	m	NOUN
iajs-348	36	18	=	=	SYM
iajs-348	36	19	m1	m1	PROPN
iajs-348	36	20	⊕	⊕	PROPN
iajs-348	36	21	m2	m2	PROPN
iajs-348	36	22	be	be	VERB
iajs-348	36	23	an	an	DET
iajs-348	36	24	r	r	NOUN
iajs-348	36	25	-	-	PUNCT
iajs-348	36	26	module	module	NOUN
iajs-348	36	27	,	,	PUNCT
iajs-348	36	28	let	let	VERB
iajs-348	36	29	a1	a1	NOUN
iajs-348	36	30	≤	≤	ADJ
iajs-348	36	31	m1	m1	PROPN
iajs-348	36	32	and	and	CCONJ
iajs-348	36	33	a2	a2	PROPN
iajs-348	36	34	≤	≤	PROPN
iajs-348	36	35	m2	m2	PROPN
iajs-348	36	36	.	.	PUNCT
iajs-348	37	1	then	then	ADV
iajs-348	37	2	a1	a1	PROPN
iajs-348	37	3	⊕	⊕	PROPN
iajs-348	37	4	a2	a2	PROPN
iajs-348	37	5	δ	δ	PROPN
iajs-348	37	6			PROPN
iajs-348	37	7	m1	m1	PROPN
iajs-348	37	8	⊕	⊕	PROPN
iajs-348	37	9	m2	m2	PROPN
iajs-348	38	1	if	if	SCONJ
iajs-348	38	2	and	and	CCONJ
iajs-348	38	3	only	only	ADV
iajs-348	38	4	if	if	SCONJ
iajs-348	38	5	a1	a1	PROPN
iajs-348	38	6	δ	δ	PROPN
iajs-348	38	7			PROPN
iajs-348	38	8	m1	m1	PROPN
iajs-348	38	9	and	and	CCONJ
iajs-348	38	10	a2	a2	PROPN
iajs-348	38	11	δ	δ	PROPN
iajs-348	38	12			PROPN
iajs-348	38	13	m2	m2	PROPN
iajs-348	38	14	.	.	PUNCT
iajs-348	38	15	proposition	proposition	NOUN
iajs-348	38	16	1.5	1.5	NUM
iajs-348	38	17	:	:	PUNCT
iajs-348	38	18	[	[	X
iajs-348	38	19	6	6	NUM
iajs-348	38	20	]	]	PUNCT
iajs-348	38	21	let	let	VERB
iajs-348	38	22	a	a	PRON
iajs-348	38	23	and	and	CCONJ
iajs-348	38	24	b	b	NOUN
iajs-348	38	25	be	be	AUX
iajs-348	38	26	submodules	submodule	NOUN
iajs-348	38	27	of	of	ADP
iajs-348	38	28	an	an	DET
iajs-348	38	29	r	r	NOUN
iajs-348	38	30	-	-	PUNCT
iajs-348	38	31	module	module	NOUN
iajs-348	38	32	m	m	NOUN
iajs-348	38	33	such	such	ADJ
iajs-348	38	34	that	that	SCONJ
iajs-348	38	35	a	a	DET
iajs-348	38	36	≤	≤	PROPN
iajs-348	38	37	b.	b.	NOUN
iajs-348	39	1	if	if	SCONJ
iajs-348	39	2	b	b	PROPN
iajs-348	39	3	is	be	AUX
iajs-348	39	4	a	a	DET
iajs-348	39	5	direct	direct	ADJ
iajs-348	39	6	summand	summand	NOUN
iajs-348	39	7	of	of	ADP
iajs-348	39	8	m	m	PROPN
iajs-348	39	9	and	and	CCONJ
iajs-348	39	10	a	a	DET
iajs-348	39	11	δ	δ	NOUN
iajs-348	39	12			NOUN
iajs-348	40	1	m	m	VERB
iajs-348	40	2	then	then	ADV
iajs-348	40	3	a	a	DET
iajs-348	40	4	δ	δ	PROPN
iajs-348	40	5			PROPN
iajs-348	40	6	b.	b.	PROPN
iajs-348	40	7	recall	recall	VERB
iajs-348	40	8	that	that	SCONJ
iajs-348	40	9	an	an	DET
iajs-348	40	10	r	r	NOUN
iajs-348	40	11	-	-	PUNCT
iajs-348	40	12	module	module	NOUN
iajs-348	40	13	m	m	NOUN
iajs-348	40	14	is	be	AUX
iajs-348	40	15	called	call	VERB
iajs-348	40	16	indecomposable	indecomposable	ADJ
iajs-348	40	17	if	if	SCONJ
iajs-348	40	18	the	the	DET
iajs-348	40	19	only	only	ADJ
iajs-348	40	20	direct	direct	ADJ
iajs-348	40	21	summand	summand	NOUN
iajs-348	40	22	of	of	ADP
iajs-348	40	23	m	m	PROPN
iajs-348	40	24	are	be	AUX
iajs-348	40	25	(	(	PUNCT
iajs-348	40	26	0	0	NUM
iajs-348	40	27	)	)	PUNCT
iajs-348	40	28	,	,	PUNCT
iajs-348	40	29	m	m	PRON
iajs-348	40	30	,	,	PUNCT
iajs-348	40	31	[	[	X
iajs-348	40	32	4	4	NUM
iajs-348	40	33	]	]	PUNCT
iajs-348	40	34	.	.	PUNCT
iajs-348	41	1	an	an	DET
iajs-348	41	2	r	r	NOUN
iajs-348	41	3	-	-	PUNCT
iajs-348	41	4	module	module	NOUN
iajs-348	41	5	m	m	NOUN
iajs-348	41	6	is	be	AUX
iajs-348	41	7	called	call	VERB
iajs-348	41	8	a	a	DET
iajs-348	41	9	prime	prime	ADJ
iajs-348	41	10	module	module	NOUN
iajs-348	41	11	if	if	SCONJ
iajs-348	41	12	r	r	NOUN
iajs-348	41	13	ann	ann	PROPN
iajs-348	41	14	m	m	NOUN
iajs-348	41	15	=	=	SYM
iajs-348	41	16	r	r	NOUN
iajs-348	41	17	ann	ann	PROPN
iajs-348	41	18	n	n	CCONJ
iajs-348	41	19	,	,	PUNCT
iajs-348	41	20	for	for	ADP
iajs-348	41	21	each	each	DET
iajs-348	41	22	non	non	ADJ
iajs-348	41	23	zero	zero	NUM
iajs-348	41	24	submodule	submodule	NOUN
iajs-348	41	25	of	of	ADP
iajs-348	41	26	m	m	PRON
iajs-348	41	27	,	,	PUNCT
iajs-348	41	28	[	[	X
iajs-348	41	29	7	7	NUM
iajs-348	41	30	]	]	PUNCT
iajs-348	41	31	.	.	PUNCT
iajs-348	42	1	a	a	DET
iajs-348	42	2	non	non	ADJ
iajs-348	42	3	zero	zero	NUM
iajs-348	42	4	r	r	NOUN
iajs-348	42	5	-	-	PUNCT
iajs-348	42	6	module	module	NOUN
iajs-348	42	7	is	be	AUX
iajs-348	42	8	called	call	VERB
iajs-348	42	9	uniform	uniform	ADJ
iajs-348	42	10	module	module	NOUN
iajs-348	42	11	if	if	SCONJ
iajs-348	42	12	every	every	DET
iajs-348	42	13	non	non	PROPN
iajs-348	42	14	zero	zero	NUM
iajs-348	42	15	submodule	submodule	NOUN
iajs-348	42	16	of	of	ADP
iajs-348	42	17	m	m	PROPN
iajs-348	42	18	is	be	AUX
iajs-348	42	19	essential	essential	ADJ
iajs-348	42	20	in	in	ADP
iajs-348	42	21	m	m	PROPN
iajs-348	42	22	(	(	PUNCT
iajs-348	42	23	n	n	X
iajs-348	42	24	e	e	X
iajs-348	42	25	≤	≤	NUM
iajs-348	42	26	m	m	PROPN
iajs-348	42	27	)	)	PUNCT
iajs-348	42	28	,	,	PUNCT
iajs-348	43	1	[	[	X
iajs-348	43	2	4	4	NUM
iajs-348	43	3	]	]	PUNCT
iajs-348	43	4	.	.	PUNCT
iajs-348	44	1	proposition	proposition	NOUN
iajs-348	44	2	1.6	1.6	NUM
iajs-348	44	3	:	:	PUNCT
iajs-348	44	4	let	let	VERB
iajs-348	44	5	m	m	PRON
iajs-348	44	6	be	be	AUX
iajs-348	44	7	an	an	DET
iajs-348	44	8	r	r	NOUN
iajs-348	44	9	-	-	PUNCT
iajs-348	44	10	module	module	NOUN
iajs-348	44	11	,	,	PUNCT
iajs-348	44	12	then	then	ADV
iajs-348	44	13	:	:	PUNCT
iajs-348	44	14	(	(	PUNCT
iajs-348	44	15	1	1	X
iajs-348	44	16	)	)	PUNCT
iajs-348	44	17	let	let	VERB
iajs-348	44	18	a	a	PRON
iajs-348	44	19	be	be	AUX
iajs-348	44	20	a	a	DET
iajs-348	44	21	proper	proper	ADJ
iajs-348	44	22	submodule	submodule	NOUN
iajs-348	44	23	of	of	ADP
iajs-348	44	24	an	an	DET
iajs-348	44	25	indecomposable	indecomposable	ADJ
iajs-348	44	26	r	r	NOUN
iajs-348	44	27	-	-	PUNCT
iajs-348	44	28	module	module	NOUN
iajs-348	44	29	m.	m.	NOUN
iajs-348	44	30	then	then	ADV
iajs-348	44	31	a	a	DET
iajs-348	44	32	δ	δ	NOUN
iajs-348	44	33			NOUN
iajs-348	44	34	m	m	VERB
iajs-348	44	35	if	if	SCONJ
iajs-348	45	1	and	and	CCONJ
iajs-348	45	2	only	only	ADV
iajs-348	45	3	if	if	SCONJ
iajs-348	45	4	a	a	DET
iajs-348	45	5	≪	≪	NOUN
iajs-348	45	6	m	m	NOUN
iajs-348	45	7	,	,	PUNCT
iajs-348	45	8	[	[	X
iajs-348	45	9	6	6	NUM
iajs-348	45	10	,	,	PUNCT
iajs-348	45	11	proposition	proposition	NOUN
iajs-348	45	12	1.2.13	1.2.13	NUM
iajs-348	45	13	]	]	X
iajs-348	45	14	.	.	PUNCT
iajs-348	46	1	(	(	PUNCT
iajs-348	46	2	2	2	X
iajs-348	46	3	)	)	PUNCT
iajs-348	46	4	let	let	VERB
iajs-348	46	5	a	a	PRON
iajs-348	46	6	be	be	AUX
iajs-348	46	7	a	a	DET
iajs-348	46	8	submodule	submodule	NOUN
iajs-348	46	9	of	of	ADP
iajs-348	46	10	singular	singular	ADJ
iajs-348	46	11	r	r	NOUN
iajs-348	46	12	-	-	PUNCT
iajs-348	46	13	module	module	NOUN
iajs-348	46	14	m.	m.	NOUN
iajs-348	46	15	then	then	ADV
iajs-348	46	16	a	a	DET
iajs-348	46	17	δ	δ	NOUN
iajs-348	46	18			NOUN
iajs-348	46	19	m	m	VERB
iajs-348	46	20	if	if	SCONJ
iajs-348	46	21	and	and	CCONJ
iajs-348	46	22	only	only	ADV
iajs-348	46	23	if	if	SCONJ
iajs-348	46	24	a	a	DET
iajs-348	46	25	≪	≪	NOUN
iajs-348	46	26	m	m	NOUN
iajs-348	46	27	,	,	PUNCT
iajs-348	46	28	[	[	X
iajs-348	46	29	6	6	NUM
iajs-348	46	30	,	,	PUNCT
iajs-348	46	31	proposition	proposition	NOUN
iajs-348	46	32	1.2.14	1.2.14	NUM
iajs-348	46	33	]	]	PUNCT
iajs-348	46	34	.	.	PUNCT
iajs-348	47	1	(	(	PUNCT
iajs-348	47	2	3	3	X
iajs-348	47	3	)	)	PUNCT
iajs-348	47	4	let	let	VERB
iajs-348	47	5	m	m	PRON
iajs-348	47	6	be	be	AUX
iajs-348	47	7	torsion	torsion	NOUN
iajs-348	47	8	module	module	NOUN
iajs-348	47	9	over	over	ADP
iajs-348	47	10	an	an	DET
iajs-348	47	11	integral	integral	ADJ
iajs-348	47	12	domain	domain	NOUN
iajs-348	47	13	r	r	NOUN
iajs-348	47	14	and	and	CCONJ
iajs-348	47	15	a	a	DET
iajs-348	47	16	be	be	AUX
iajs-348	47	17	a	a	DET
iajs-348	47	18	submodule	submodule	NOUN
iajs-348	47	19	of	of	ADP
iajs-348	47	20	m.	m.	NOUN
iajs-348	47	21	then	then	ADV
iajs-348	47	22	a	a	DET
iajs-348	47	23	δ	δ	NOUN
iajs-348	48	1			NOUN
iajs-348	48	2	m	m	VERB
iajs-348	48	3	if	if	SCONJ
iajs-348	49	1	and	and	CCONJ
iajs-348	49	2	only	only	ADV
iajs-348	49	3	if	if	SCONJ
iajs-348	49	4	a	a	DET
iajs-348	49	5	≪	≪	NOUN
iajs-348	49	6	m	m	NOUN
iajs-348	49	7	,	,	PUNCT
iajs-348	49	8	[	[	X
iajs-348	49	9	6	6	NUM
iajs-348	49	10	,	,	PUNCT
iajs-348	49	11	corollary	corollary	ADJ
iajs-348	49	12	1.2.16	1.2.16	NUM
iajs-348	49	13	]	]	PUNCT
iajs-348	49	14	,	,	PUNCT
iajs-348	49	15	where	where	SCONJ
iajs-348	49	16	an	an	DET
iajs-348	49	17	r	r	NOUN
iajs-348	49	18	-	-	PUNCT
iajs-348	49	19	module	module	NOUN
iajs-348	49	20	over	over	ADP
iajs-348	49	21	integral	integral	ADJ
iajs-348	49	22	domain	domain	NOUN
iajs-348	49	23	r	r	NOUN
iajs-348	49	24	is	be	AUX
iajs-348	49	25	called	call	VERB
iajs-348	49	26	torsion	torsion	NOUN
iajs-348	49	27	if	if	SCONJ
iajs-348	49	28	t(m	t(m	PROPN
iajs-348	49	29	)	)	PUNCT
iajs-348	49	30	=	=	PRON
iajs-348	49	31	{	{	PUNCT
iajs-348	49	32	m	m	VERB
iajs-348	49	33	∈	∈	ADJ
iajs-348	49	34	m	m	VERB
iajs-348	49	35	:	:	PUNCT
iajs-348	50	1	∃	∃	PROPN
iajs-348	50	2	r	r	NOUN
iajs-348	50	3	∈	∈	NOUN
iajs-348	50	4	r/{0	r/{0	PROPN
iajs-348	50	5	}	}	PUNCT
iajs-348	50	6	,	,	PUNCT
iajs-348	50	7	rm	rm	NOUN
iajs-348	50	8	=	=	SYM
iajs-348	50	9	0	0	NUM
iajs-348	50	10	}	}	PUNCT
iajs-348	50	11	=	=	SYM
iajs-348	50	12	m	m	NOUN
iajs-348	50	13	,	,	PUNCT
iajs-348	50	14	[	[	X
iajs-348	50	15	4	4	NUM
iajs-348	50	16	]	]	PUNCT
iajs-348	50	17	.	.	PUNCT
iajs-348	51	1	(	(	PUNCT
iajs-348	51	2	4	4	X
iajs-348	51	3	)	)	PUNCT
iajs-348	51	4	let	let	VERB
iajs-348	51	5	m	m	PRON
iajs-348	51	6	be	be	AUX
iajs-348	51	7	a	a	DET
iajs-348	51	8	prime	prime	ADJ
iajs-348	51	9	r	r	NOUN
iajs-348	51	10	-	-	PUNCT
iajs-348	51	11	module	module	NOUN
iajs-348	51	12	with	with	ADP
iajs-348	51	13	z(m	z(m	PROPN
iajs-348	51	14	)	)	PUNCT
iajs-348	51	15	≠	≠	PROPN
iajs-348	51	16	0	0	NUM
iajs-348	51	17	and	and	CCONJ
iajs-348	51	18	a	a	PRON
iajs-348	51	19	be	be	AUX
iajs-348	51	20	a	a	DET
iajs-348	51	21	proper	proper	ADJ
iajs-348	51	22	submodule	submodule	NOUN
iajs-348	51	23	of	of	ADP
iajs-348	51	24	m.	m.	NOUN
iajs-348	51	25	then	then	ADV
iajs-348	51	26	a	a	DET
iajs-348	51	27	δ	δ	NOUN
iajs-348	52	1			NOUN
iajs-348	52	2	m	m	VERB
iajs-348	52	3	if	if	SCONJ
iajs-348	53	1	and	and	CCONJ
iajs-348	53	2	only	only	ADV
iajs-348	53	3	if	if	SCONJ
iajs-348	53	4	a	a	DET
iajs-348	53	5	≪	≪	NOUN
iajs-348	53	6	m	m	NOUN
iajs-348	53	7	,	,	PUNCT
iajs-348	53	8	[	[	X
iajs-348	53	9	6	6	NUM
iajs-348	53	10	,	,	PUNCT
iajs-348	53	11	proposition	proposition	NOUN
iajs-348	53	12	1.2.17	1.2.17	NUM
iajs-348	53	13	]	]	PUNCT
iajs-348	53	14	.	.	PUNCT
iajs-348	54	1	(	(	PUNCT
iajs-348	54	2	5	5	X
iajs-348	54	3	)	)	PUNCT
iajs-348	54	4	let	let	VERB
iajs-348	54	5	m	m	PRON
iajs-348	54	6	be	be	AUX
iajs-348	54	7	a	a	DET
iajs-348	54	8	uniform	uniform	ADJ
iajs-348	54	9	r	r	NOUN
iajs-348	54	10	-	-	PUNCT
iajs-348	54	11	module	module	NOUN
iajs-348	54	12	and	and	CCONJ
iajs-348	54	13	a	a	DET
iajs-348	54	14	be	be	AUX
iajs-348	54	15	a	a	DET
iajs-348	54	16	submodule	submodule	NOUN
iajs-348	54	17	of	of	ADP
iajs-348	54	18	m.	m.	NOUN
iajs-348	54	19	then	then	ADV
iajs-348	54	20	a	a	DET
iajs-348	54	21	δ	δ	NOUN
iajs-348	54	22			NOUN
iajs-348	54	23	m	m	VERB
iajs-348	54	24	if	if	SCONJ
iajs-348	54	25	and	and	CCONJ
iajs-348	54	26	only	only	ADV
iajs-348	54	27	if	if	SCONJ
iajs-348	54	28	a	a	DET
iajs-348	54	29	≪	≪	NOUN
iajs-348	54	30	m	m	NOUN
iajs-348	54	31	,	,	PUNCT
iajs-348	54	32	[	[	X
iajs-348	54	33	6	6	NUM
iajs-348	54	34	,	,	PUNCT
iajs-348	54	35	proposition	proposition	NOUN
iajs-348	54	36	1.2.18	1.2.18	NUM
iajs-348	54	37	]	]	PUNCT
iajs-348	54	38	.	.	PUNCT
iajs-348	55	1	(	(	PUNCT
iajs-348	55	2	6	6	X
iajs-348	55	3	)	)	PUNCT
iajs-348	55	4	let	let	VERB
iajs-348	55	5	m	m	PRON
iajs-348	55	6	be	be	AUX
iajs-348	55	7	an	an	DET
iajs-348	55	8	r	r	NOUN
iajs-348	55	9	-	-	PUNCT
iajs-348	55	10	module	module	NOUN
iajs-348	55	11	.	.	PUNCT
iajs-348	56	1	then	then	ADV
iajs-348	56	2	every	every	DET
iajs-348	56	3	non	non	ADJ
iajs-348	56	4	singular	singular	PROPN
iajs-348	56	5	semisimple	semisimple	NOUN
iajs-348	56	6	submodule	submodule	PROPN
iajs-348	56	7	a	a	PRON
iajs-348	56	8	of	of	ADP
iajs-348	56	9	m	m	PROPN
iajs-348	56	10	is	be	AUX
iajs-348	56	11	δ	δ	NOUN
iajs-348	56	12	-	-	ADJ
iajs-348	56	13	small	small	ADJ
iajs-348	56	14	in	in	ADP
iajs-348	56	15	m	m	PROPN
iajs-348	56	16	,	,	PUNCT
iajs-348	57	1	[	[	X
iajs-348	57	2	6	6	NUM
iajs-348	57	3	,	,	PUNCT
iajs-348	57	4	proposition	proposition	NOUN
iajs-348	57	5	1.2.3	1.2.3	NUM
iajs-348	57	6	]	]	PUNCT
iajs-348	57	7	.	.	PUNCT
iajs-348	58	1	243	243	NUM
iajs-348	58	2	|	|	ADV
iajs-348	58	3	mathematics	mathematics	PROPN
iajs-348	58	4	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	NUM
iajs-348	58	5	�	�	NOUN
iajs-348	58	6	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	NUM
iajs-348	58	7	:	:	PUNCT
iajs-348	58	8	a@âig@ú‹	a@âig@ú‹	PROPN
iajs-348	58	9	©	©	PROPN
iajs-348	58	10	@ü‹127@@öü»€a@i2@‚b«@h2014	@ü‹127@@öü»€a@i2@‚b«@h2014	PROPN
iajs-348	58	11	ibn	ibn	PROPN
iajs-348	58	12	al	al	PROPN
iajs-348	58	13	-	-	PUNCT
iajs-348	58	14	haitham	haitham	PROPN
iajs-348	58	15	jour	jour	X
iajs-348	58	16	.	.	PROPN
iajs-348	59	1	for	for	ADP
iajs-348	59	2	pure	pure	ADJ
iajs-348	59	3	&	&	CCONJ
iajs-348	59	4	appl	appl	PROPN
iajs-348	59	5	.	.	PUNCT
iajs-348	60	1	sci	sci	PROPN
iajs-348	60	2	.	.	PUNCT
iajs-348	60	3	vol	vol	NOUN
iajs-348	60	4	.	.	PROPN
iajs-348	61	1	27	27	NUM
iajs-348	61	2	(	(	PUNCT
iajs-348	61	3	2	2	NUM
iajs-348	61	4	)	)	PUNCT
iajs-348	61	5	2014	2014	NUM
iajs-348	62	1	2basic	2basic	NUM
iajs-348	62	2	properties	property	NOUN
iajs-348	62	3	of	of	ADP
iajs-348	62	4	δ	δ	NOUN
iajs-348	62	5	-	-	ADJ
iajs-348	62	6	hollow	hollow	ADJ
iajs-348	62	7	modules	module	NOUN
iajs-348	62	8	in	in	ADP
iajs-348	62	9	this	this	DET
iajs-348	62	10	section	section	NOUN
iajs-348	62	11	,	,	PUNCT
iajs-348	62	12	we	we	PRON
iajs-348	62	13	give	give	VERB
iajs-348	62	14	the	the	DET
iajs-348	62	15	basic	basic	ADJ
iajs-348	62	16	properties	property	NOUN
iajs-348	62	17	about	about	ADP
iajs-348	62	18	δ	δ	NOUN
iajs-348	62	19	-	-	PUNCT
iajs-348	62	20	hollow	hollow	ADJ
iajs-348	62	21	modules	module	NOUN
iajs-348	62	22	.	.	PUNCT
iajs-348	63	1	we	we	PRON
iajs-348	63	2	see	see	VERB
iajs-348	63	3	that	that	SCONJ
iajs-348	63	4	under	under	ADP
iajs-348	63	5	certain	certain	ADJ
iajs-348	63	6	conditions	condition	NOUN
iajs-348	63	7	hollow	hollow	ADJ
iajs-348	63	8	modules	module	NOUN
iajs-348	63	9	and	and	CCONJ
iajs-348	63	10	δ	δ	NOUN
iajs-348	63	11	-	-	ADJ
iajs-348	63	12	hollow	hollow	ADJ
iajs-348	63	13	modules	module	NOUN
iajs-348	63	14	are	be	AUX
iajs-348	63	15	equivalent	equivalent	ADJ
iajs-348	63	16	.	.	PUNCT
iajs-348	64	1	also	also	ADV
iajs-348	64	2	we	we	PRON
iajs-348	64	3	noticed	notice	VERB
iajs-348	64	4	that	that	SCONJ
iajs-348	64	5	some	some	DET
iajs-348	64	6	properties	property	NOUN
iajs-348	64	7	of	of	ADP
iajs-348	64	8	hollow	hollow	ADJ
iajs-348	64	9	modules	module	NOUN
iajs-348	64	10	can	can	AUX
iajs-348	64	11	be	be	AUX
iajs-348	64	12	generalized	generalize	VERB
iajs-348	64	13	to	to	ADP
iajs-348	64	14	δ	δ	NOUN
iajs-348	64	15	-	-	PUNCT
iajs-348	64	16	hollow	hollow	ADJ
iajs-348	64	17	modules	module	NOUN
iajs-348	64	18	.	.	PUNCT
iajs-348	65	1	remarks	remark	NOUN
iajs-348	65	2	and	and	CCONJ
iajs-348	65	3	examples	example	NOUN
iajs-348	65	4	2.1	2.1	NUM
iajs-348	65	5	:	:	PUNCT
iajs-348	65	6	(	(	PUNCT
iajs-348	65	7	1	1	X
iajs-348	65	8	)	)	PUNCT
iajs-348	65	9	it	it	PRON
iajs-348	65	10	is	be	AUX
iajs-348	65	11	clear	clear	ADJ
iajs-348	65	12	that	that	SCONJ
iajs-348	65	13	z6	z6	PROPN
iajs-348	65	14	is	be	AUX
iajs-348	65	15	non	non	ADJ
iajs-348	65	16	singular	singular	ADJ
iajs-348	65	17	semisimple	semisimple	NOUN
iajs-348	65	18	,	,	PUNCT
iajs-348	65	19	so	so	ADV
iajs-348	65	20	every	every	DET
iajs-348	65	21	submodule	submodule	NOUN
iajs-348	65	22	of	of	ADP
iajs-348	65	23	z6	z6	PROPN
iajs-348	65	24	is	be	AUX
iajs-348	65	25	non	non	ADJ
iajs-348	65	26	singular	singular	ADJ
iajs-348	65	27	semisimple	semisimple	NOUN
iajs-348	65	28	,	,	PUNCT
iajs-348	65	29	hence	hence	ADV
iajs-348	65	30	every	every	DET
iajs-348	65	31	submodule	submodule	NOUN
iajs-348	65	32	is	be	AUX
iajs-348	65	33	small	small	ADJ
iajs-348	65	34	by	by	ADP
iajs-348	65	35	proposition	proposition	NOUN
iajs-348	65	36	(	(	PUNCT
iajs-348	65	37	1.6	1.6	NUM
iajs-348	65	38	(	(	PUNCT
iajs-348	65	39	6	6	NUM
iajs-348	65	40	)	)	PUNCT
iajs-348	65	41	)	)	PUNCT
iajs-348	65	42	.	.	PUNCT
iajs-348	66	1	thus	thus	ADV
iajs-348	66	2	z6	z6	PROPN
iajs-348	66	3	is	be	AUX
iajs-348	66	4	a	a	DET
iajs-348	66	5	δ	δ	NOUN
iajs-348	66	6	-	-	PUNCT
iajs-348	66	7	hollow	hollow	ADJ
iajs-348	66	8	module	module	NOUN
iajs-348	66	9	.	.	PUNCT
iajs-348	67	1	but	but	CCONJ
iajs-348	67	2	z6	z6	PROPN
iajs-348	67	3	is	be	AUX
iajs-348	67	4	not	not	PART
iajs-348	67	5	hollow	hollow	ADJ
iajs-348	67	6	.	.	PUNCT
iajs-348	68	1	also	also	ADV
iajs-348	68	2	notice	notice	VERB
iajs-348	68	3	that	that	SCONJ
iajs-348	68	4	z6	z6	PROPN
iajs-348	68	5	is	be	AUX
iajs-348	68	6	decomposable	decomposable	ADJ
iajs-348	68	7	.	.	PUNCT
iajs-348	69	1	(	(	PUNCT
iajs-348	69	2	2	2	X
iajs-348	69	3	)	)	PUNCT
iajs-348	69	4	it	it	PRON
iajs-348	69	5	is	be	AUX
iajs-348	69	6	clear	clear	ADJ
iajs-348	69	7	that	that	SCONJ
iajs-348	69	8	every	every	DET
iajs-348	69	9	hollow	hollow	ADJ
iajs-348	69	10	module	module	NOUN
iajs-348	69	11	is	be	AUX
iajs-348	69	12	a	a	DET
iajs-348	69	13	δ	δ	NOUN
iajs-348	69	14	-	-	PUNCT
iajs-348	69	15	hollow	hollow	ADJ
iajs-348	69	16	module	module	NOUN
iajs-348	69	17	.	.	PUNCT
iajs-348	70	1	hence	hence	ADV
iajs-348	70	2	each	each	PRON
iajs-348	70	3	of	of	ADP
iajs-348	70	4	the	the	DET
iajs-348	70	5	z	z	NOUN
iajs-348	70	6	-	-	PUNCT
iajs-348	70	7	module	module	NOUN
iajs-348	70	8	z4	z4	NOUN
iajs-348	70	9	,	,	PUNCT
iajs-348	70	10	z8	z8	NOUN
iajs-348	70	11	and	and	CCONJ
iajs-348	70	12	p	p	PROPN
iajs-348	70	13	z	z	PROPN
iajs-348	70	14	∞	∞	PROPN
iajs-348	70	15	are	be	AUX
iajs-348	70	16	δ	δ	NOUN
iajs-348	70	17	-	-	PUNCT
iajs-348	70	18	hollow	hollow	NOUN
iajs-348	70	19	.	.	PUNCT
iajs-348	71	1	(	(	PUNCT
iajs-348	71	2	3	3	X
iajs-348	71	3	)	)	PUNCT
iajs-348	71	4	z12	z12	NOUN
iajs-348	71	5	as	as	SCONJ
iajs-348	71	6	z	z	NOUN
iajs-348	71	7	-	-	PUNCT
iajs-348	71	8	module	module	NOUN
iajs-348	71	9	is	be	AUX
iajs-348	71	10	not	not	PART
iajs-348	71	11	a	a	DET
iajs-348	71	12	δ	δ	NOUN
iajs-348	71	13	-	-	ADJ
iajs-348	71	14	hollow	hollow	ADJ
iajs-348	71	15	module	module	NOUN
iajs-348	71	16	since	since	SCONJ
iajs-348	71	17	3	3	NUM
iajs-348	71	18	4	4	NUM
iajs-348	71	19	<	<	X
iajs-348	71	20	>	>	X
iajs-348	71	21	⊕	⊕	PROPN
iajs-348	71	22	<	<	X
iajs-348	71	23	>	>	X
iajs-348	71	24	=	=	PUNCT
iajs-348	71	25	z12	z12	NUM
iajs-348	71	26	and	and	CCONJ
iajs-348	71	27	12	12	NUM
iajs-348	71	28	4	4	NUM
iajs-348	71	29	z	z	NOUN
iajs-348	71	30	z	z	NOUN
iajs-348	71	31	4	4	NUM
iajs-348	71	32	<	<	X
iajs-348	71	33	>	>	X
iajs-348	71	34			PROPN
iajs-348	71	35	and	and	CCONJ
iajs-348	71	36	z4	z4	PROPN
iajs-348	71	37	is	be	AUX
iajs-348	71	38	a	a	DET
iajs-348	71	39	singular	singular	ADJ
iajs-348	71	40	z	z	NOUN
iajs-348	71	41	-	-	PUNCT
iajs-348	71	42	module	module	NOUN
iajs-348	71	43	.	.	PUNCT
iajs-348	72	1	however	however	ADV
iajs-348	72	2	4	4	NUM
iajs-348	72	3	<	<	X
iajs-348	72	4	>	>	X
iajs-348	72	5	≠	≠	PROPN
iajs-348	72	6	z12	z12	PROPN
iajs-348	72	7	.	.	PUNCT
iajs-348	73	1	by	by	ADP
iajs-348	73	2	using	use	VERB
iajs-348	73	3	proposition	proposition	NOUN
iajs-348	73	4	(	(	PUNCT
iajs-348	73	5	1.6	1.6	NUM
iajs-348	73	6	)	)	PUNCT
iajs-348	73	7	hollow	hollow	ADJ
iajs-348	73	8	modules	module	NOUN
iajs-348	73	9	and	and	CCONJ
iajs-348	73	10	δ	δ	NOUN
iajs-348	73	11	-	-	ADJ
iajs-348	73	12	hollow	hollow	ADJ
iajs-348	73	13	modules	module	NOUN
iajs-348	73	14	are	be	AUX
iajs-348	73	15	coincident	coincident	ADJ
iajs-348	73	16	under	under	ADP
iajs-348	73	17	certain	certain	ADJ
iajs-348	73	18	class	class	NOUN
iajs-348	73	19	of	of	ADP
iajs-348	73	20	modules	module	NOUN
iajs-348	73	21	.	.	PUNCT
iajs-348	74	1	theorem	theorem	VERB
iajs-348	74	2	2.2	2.2	NUM
iajs-348	74	3	:	:	PUNCT
iajs-348	74	4	let	let	VERB
iajs-348	74	5	m	m	PRON
iajs-348	74	6	be	be	AUX
iajs-348	74	7	an	an	DET
iajs-348	74	8	r	r	NOUN
iajs-348	74	9	-	-	PUNCT
iajs-348	74	10	module	module	NOUN
iajs-348	74	11	.	.	PUNCT
iajs-348	75	1	then	then	ADV
iajs-348	75	2	:	:	PUNCT
iajs-348	75	3	(	(	PUNCT
iajs-348	75	4	1	1	X
iajs-348	75	5	)	)	PUNCT
iajs-348	75	6	if	if	SCONJ
iajs-348	75	7	m	m	NOUN
iajs-348	75	8	is	be	AUX
iajs-348	75	9	an	an	DET
iajs-348	75	10	indecomposable	indecomposable	ADJ
iajs-348	75	11	module	module	NOUN
iajs-348	75	12	,	,	PUNCT
iajs-348	75	13	then	then	ADV
iajs-348	75	14	m	m	VERB
iajs-348	75	15	is	be	AUX
iajs-348	75	16	a	a	DET
iajs-348	75	17	hollow	hollow	ADJ
iajs-348	75	18	module	module	NOUN
iajs-348	75	19	if	if	SCONJ
iajs-348	75	20	and	and	CCONJ
iajs-348	75	21	only	only	ADV
iajs-348	75	22	if	if	SCONJ
iajs-348	75	23	m	m	NOUN
iajs-348	75	24	is	be	AUX
iajs-348	75	25	a	a	DET
iajs-348	75	26	δhollow	δhollow	NOUN
iajs-348	75	27	module	module	NOUN
iajs-348	75	28	.	.	PUNCT
iajs-348	76	1	(	(	PUNCT
iajs-348	76	2	2	2	X
iajs-348	76	3	)	)	PUNCT
iajs-348	76	4	if	if	SCONJ
iajs-348	76	5	m	m	NOUN
iajs-348	76	6	is	be	AUX
iajs-348	76	7	a	a	DET
iajs-348	76	8	singular	singular	ADJ
iajs-348	76	9	module	module	NOUN
iajs-348	76	10	,	,	PUNCT
iajs-348	76	11	then	then	ADV
iajs-348	76	12	m	m	VERB
iajs-348	76	13	is	be	AUX
iajs-348	76	14	a	a	DET
iajs-348	76	15	hollow	hollow	ADJ
iajs-348	76	16	module	module	NOUN
iajs-348	76	17	if	if	SCONJ
iajs-348	76	18	and	and	CCONJ
iajs-348	76	19	only	only	ADV
iajs-348	76	20	if	if	SCONJ
iajs-348	76	21	m	m	NOUN
iajs-348	76	22	is	be	AUX
iajs-348	76	23	a	a	DET
iajs-348	76	24	δ	δ	NOUN
iajs-348	76	25	-	-	PUNCT
iajs-348	76	26	hollow	hollow	ADJ
iajs-348	76	27	module	module	NOUN
iajs-348	76	28	.	.	PUNCT
iajs-348	77	1	(	(	PUNCT
iajs-348	77	2	3	3	X
iajs-348	77	3	)	)	PUNCT
iajs-348	77	4	if	if	SCONJ
iajs-348	77	5	m	m	NOUN
iajs-348	77	6	is	be	AUX
iajs-348	77	7	a	a	DET
iajs-348	77	8	prime	prime	ADJ
iajs-348	77	9	module	module	NOUN
iajs-348	77	10	with	with	ADP
iajs-348	77	11	z(m	z(m	PROPN
iajs-348	77	12	)	)	PUNCT
iajs-348	77	13	≠	≠	PROPN
iajs-348	77	14	0	0	NUM
iajs-348	77	15	,	,	PUNCT
iajs-348	77	16	then	then	ADV
iajs-348	77	17	m	m	VERB
iajs-348	77	18	is	be	AUX
iajs-348	77	19	a	a	DET
iajs-348	77	20	hollow	hollow	ADJ
iajs-348	77	21	module	module	NOUN
iajs-348	77	22	if	if	SCONJ
iajs-348	77	23	and	and	CCONJ
iajs-348	77	24	only	only	ADV
iajs-348	77	25	if	if	SCONJ
iajs-348	77	26	m	m	NOUN
iajs-348	77	27	is	be	AUX
iajs-348	77	28	a	a	DET
iajs-348	77	29	δhollow	δhollow	NOUN
iajs-348	77	30	module	module	NOUN
iajs-348	77	31	.	.	PUNCT
iajs-348	78	1	(	(	PUNCT
iajs-348	78	2	4	4	X
iajs-348	78	3	)	)	PUNCT
iajs-348	78	4	if	if	SCONJ
iajs-348	78	5	m	m	NOUN
iajs-348	78	6	is	be	AUX
iajs-348	78	7	a	a	DET
iajs-348	78	8	uniform	uniform	ADJ
iajs-348	78	9	r	r	NOUN
iajs-348	78	10	-	-	PUNCT
iajs-348	78	11	module	module	NOUN
iajs-348	78	12	then	then	ADV
iajs-348	78	13	m	m	VERB
iajs-348	78	14	is	be	AUX
iajs-348	78	15	a	a	DET
iajs-348	78	16	hollow	hollow	ADJ
iajs-348	78	17	module	module	NOUN
iajs-348	78	18	if	if	SCONJ
iajs-348	78	19	and	and	CCONJ
iajs-348	78	20	only	only	ADV
iajs-348	78	21	if	if	SCONJ
iajs-348	78	22	m	m	NOUN
iajs-348	78	23	is	be	AUX
iajs-348	78	24	a	a	DET
iajs-348	78	25	δ	δ	NOUN
iajs-348	78	26	-	-	PUNCT
iajs-348	78	27	hollow	hollow	ADJ
iajs-348	78	28	module	module	NOUN
iajs-348	78	29	.	.	PUNCT
iajs-348	79	1	(	(	PUNCT
iajs-348	79	2	5	5	X
iajs-348	79	3	)	)	PUNCT
iajs-348	79	4	if	if	SCONJ
iajs-348	79	5	m	m	NOUN
iajs-348	79	6	is	be	AUX
iajs-348	79	7	a	a	DET
iajs-348	79	8	torsion	torsion	NOUN
iajs-348	79	9	module	module	NOUN
iajs-348	79	10	over	over	ADP
iajs-348	79	11	a	a	DET
iajs-348	79	12	commutative	commutative	ADJ
iajs-348	79	13	integral	integral	ADJ
iajs-348	79	14	domain	domain	NOUN
iajs-348	79	15	r	r	NOUN
iajs-348	79	16	then	then	ADV
iajs-348	79	17	m	m	VERB
iajs-348	79	18	is	be	AUX
iajs-348	79	19	a	a	DET
iajs-348	79	20	hollow	hollow	ADJ
iajs-348	79	21	module	module	NOUN
iajs-348	79	22	if	if	SCONJ
iajs-348	79	23	and	and	CCONJ
iajs-348	79	24	only	only	ADV
iajs-348	79	25	if	if	SCONJ
iajs-348	79	26	m	m	NOUN
iajs-348	79	27	is	be	AUX
iajs-348	79	28	a	a	DET
iajs-348	79	29	δ	δ	NOUN
iajs-348	79	30	-	-	PUNCT
iajs-348	79	31	hollow	hollow	ADJ
iajs-348	79	32	module	module	NOUN
iajs-348	79	33	.	.	PUNCT
iajs-348	80	1	proposition	proposition	NOUN
iajs-348	80	2	2.3	2.3	NUM
iajs-348	80	3	:	:	PUNCT
iajs-348	80	4	epimorphic	epimorphic	ADJ
iajs-348	80	5	image	image	NOUN
iajs-348	80	6	of	of	ADP
iajs-348	80	7	δ	δ	NOUN
iajs-348	80	8	-	-	PUNCT
iajs-348	80	9	hollow	hollow	ADJ
iajs-348	80	10	module	module	NOUN
iajs-348	80	11	is	be	AUX
iajs-348	80	12	δ	δ	NOUN
iajs-348	80	13	-	-	PUNCT
iajs-348	80	14	hollow	hollow	ADJ
iajs-348	80	15	.	.	PUNCT
iajs-348	81	1	proof	proof	NOUN
iajs-348	81	2	:	:	PUNCT
iajs-348	81	3	let	let	VERB
iajs-348	81	4	m	m	PRON
iajs-348	81	5	be	be	AUX
iajs-348	81	6	a	a	DET
iajs-348	81	7	δ	δ	NOUN
iajs-348	81	8	-	-	PUNCT
iajs-348	81	9	hollow	hollow	ADJ
iajs-348	81	10	module	module	NOUN
iajs-348	81	11	,	,	PUNCT
iajs-348	81	12	let	let	VERB
iajs-348	81	13	m	m	PRON
iajs-348	81	14	'	'	PUNCT
iajs-348	81	15	be	be	AUX
iajs-348	81	16	a	a	DET
iajs-348	81	17	module	module	NOUN
iajs-348	81	18	and	and	CCONJ
iajs-348	81	19	let	let	VERB
iajs-348	81	20	f	f	NOUN
iajs-348	81	21	:	:	PUNCT
iajs-348	81	22	m	m	VERB
iajs-348	81	23	→	→	VERB
iajs-348	81	24	m	m	PRON
iajs-348	81	25	'	'	PUNCT
iajs-348	81	26	be	be	VERB
iajs-348	81	27	an	an	DET
iajs-348	81	28	epimorphism	epimorphism	NOUN
iajs-348	81	29	.	.	PUNCT
iajs-348	82	1	suppose	suppose	VERB
iajs-348	82	2	n	n	PRON
iajs-348	82	3	'	'	PUNCT
iajs-348	82	4	is	be	AUX
iajs-348	82	5	a	a	DET
iajs-348	82	6	proper	proper	ADJ
iajs-348	82	7	submodule	submodule	NOUN
iajs-348	82	8	of	of	ADP
iajs-348	82	9	m	m	NOUN
iajs-348	82	10	'	'	PUNCT
iajs-348	82	11	with	with	ADP
iajs-348	82	12	n	n	CCONJ
iajs-348	82	13	'	'	CCONJ
iajs-348	82	14	+	+	CCONJ
iajs-348	82	15	k	k	X
iajs-348	82	16	'	'	PUNCT
iajs-348	82	17	=	=	NUM
iajs-348	82	18	m	m	NOUN
iajs-348	82	19	'	'	PUNCT
iajs-348	82	20	and	and	CCONJ
iajs-348	82	21	m	m	PROPN
iajs-348	82	22	'	'	PUNCT
iajs-348	82	23	k	k	X
iajs-348	82	24	'	'	PUNCT
iajs-348	82	25	is	be	AUX
iajs-348	82	26	singular	singular	ADJ
iajs-348	82	27	.	.	PUNCT
iajs-348	83	1	this	this	PRON
iajs-348	83	2	implies	imply	VERB
iajs-348	83	3	f	f	PROPN
iajs-348	83	4	–	–	PUNCT
iajs-348	83	5	1(n	1(n	NUM
iajs-348	83	6	)	)	PUNCT
iajs-348	83	7	≨	≨	PROPN
iajs-348	83	8	m	m	VERB
iajs-348	83	9	because	because	SCONJ
iajs-348	83	10	if	if	SCONJ
iajs-348	83	11	f	f	PROPN
iajs-348	83	12	–	–	PUNCT
iajs-348	83	13	1(n	1(n	NUM
iajs-348	83	14	)	)	PUNCT
iajs-348	83	15	=	=	NOUN
iajs-348	84	1	m	m	VERB
iajs-348	84	2	then	then	ADV
iajs-348	84	3	f	f	PROPN
iajs-348	84	4	f	f	PROPN
iajs-348	84	5	–	–	PUNCT
iajs-348	84	6	1(n	1(n	NUM
iajs-348	84	7	'	'	NUM
iajs-348	84	8	)	)	PUNCT
iajs-348	85	1	=	=	SYM
iajs-348	85	2	f	f	X
iajs-348	85	3	(	(	PUNCT
iajs-348	85	4	m	m	NOUN
iajs-348	85	5	)	)	PUNCT
iajs-348	85	6	=	=	SYM
iajs-348	85	7	m	m	NOUN
iajs-348	85	8	'	'	PUNCT
iajs-348	85	9	and	and	CCONJ
iajs-348	85	10	n	n	CCONJ
iajs-348	85	11	'	'	CCONJ
iajs-348	85	12	=	=	NUM
iajs-348	85	13	m	m	NOUN
iajs-348	85	14	'	'	PUNCT
iajs-348	85	15	which	which	PRON
iajs-348	85	16	is	be	AUX
iajs-348	85	17	a	a	DET
iajs-348	85	18	contradiction	contradiction	NOUN
iajs-348	85	19	.	.	PUNCT
iajs-348	86	1	thus	thus	ADV
iajs-348	86	2	f	f	X
iajs-348	86	3	–	–	PUNCT
iajs-348	86	4	1(n	1(n	NUM
iajs-348	86	5	'	'	NUM
iajs-348	86	6	)	)	PUNCT
iajs-348	86	7	δ	δ	PROPN
iajs-348	86	8			PROPN
iajs-348	86	9	m.	m.	NOUN
iajs-348	86	10	also	also	ADV
iajs-348	86	11	n'+k'=	n'+k'=	VERB
iajs-348	86	12	m	m	NOUN
iajs-348	86	13	'	'	PUNCT
iajs-348	86	14	implies	imply	VERB
iajs-348	86	15	that	that	SCONJ
iajs-348	86	16	f	f	PROPN
iajs-348	86	17	–	–	PUNCT
iajs-348	86	18	1(n')+	1(n')+	NUM
iajs-348	86	19	f	f	PROPN
iajs-348	86	20	–	–	PUNCT
iajs-348	86	21	1(k')=m	1(k')=m	NUM
iajs-348	86	22	.	.	PUNCT
iajs-348	86	23	to	to	PART
iajs-348	86	24	check	check	VERB
iajs-348	86	25	1	1	NUM
iajs-348	86	26	m	m	NOUN
iajs-348	86	27	(	(	PUNCT
iajs-348	86	28	k)f	k)f	PROPN
iajs-348	86	29	−	−	PROPN
iajs-348	86	30	is	be	AUX
iajs-348	86	31	a	a	DET
iajs-348	86	32	singular	singular	ADJ
iajs-348	86	33	r	r	NOUN
iajs-348	86	34	-	-	NOUN
iajs-348	86	35	module	module	NOUN
iajs-348	86	36	.	.	PUNCT
iajs-348	87	1	we	we	PRON
iajs-348	87	2	show	show	VERB
iajs-348	87	3	that	that	SCONJ
iajs-348	87	4	1	1	NUM
iajs-348	87	5	1	1	NUM
iajs-348	87	6	m	m	NOUN
iajs-348	87	7	mz	mz	PROPN
iajs-348	87	8	(	(	PUNCT
iajs-348	87	9	)	)	PUNCT
iajs-348	87	10	(	(	PUNCT
iajs-348	87	11	k	k	NOUN
iajs-348	87	12	)	)	PUNCT
iajs-348	87	13	(	(	PUNCT
iajs-348	87	14	k)f	k)f	PROPN
iajs-348	87	15	f−	f−	PROPN
iajs-348	87	16	−=	−=	NOUN
iajs-348	87	17	.	.	PUNCT
iajs-348	88	1	244	244	NUM
iajs-348	89	1	|	|	ADV
iajs-348	89	2	mathematics	mathematics	PROPN
iajs-348	89	3	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	NUM
iajs-348	89	4	�	�	NOUN
iajs-348	89	5	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	NUM
iajs-348	89	6	:	:	PUNCT
iajs-348	89	7	a@âig@ú‹	a@âig@ú‹	PROPN
iajs-348	90	1	©	©	PROPN
iajs-348	90	2	@ü‹127@@öü»€a@i2@‚b«@h2014	@ü‹127@@öü»€a@i2@‚b«@h2014	PROPN
iajs-348	90	3	ibn	ibn	PROPN
iajs-348	90	4	al	al	PROPN
iajs-348	90	5	-	-	PUNCT
iajs-348	90	6	haitham	haitham	PROPN
iajs-348	90	7	jour	jour	X
iajs-348	90	8	.	.	PROPN
iajs-348	90	9	for	for	ADP
iajs-348	90	10	pure	pure	ADJ
iajs-348	90	11	&	&	CCONJ
iajs-348	90	12	appl	appl	PROPN
iajs-348	90	13	.	.	PUNCT
iajs-348	91	1	sci	sci	PROPN
iajs-348	91	2	.	.	PUNCT
iajs-348	91	3	vol	vol	NOUN
iajs-348	91	4	.	.	PROPN
iajs-348	92	1	27	27	NUM
iajs-348	92	2	(	(	PUNCT
iajs-348	92	3	2	2	NUM
iajs-348	92	4	)	)	PUNCT
iajs-348	92	5	2014	2014	NUM
iajs-348	92	6	let	let	VERB
iajs-348	92	7	m	m	PROPN
iajs-348	92	8	+	+	NUM
iajs-348	92	9	f	f	X
iajs-348	92	10	–	–	PUNCT
iajs-348	93	1	1(k	1(k	NUM
iajs-348	93	2	'	'	SYM
iajs-348	93	3	)	)	PUNCT
iajs-348	93	4	∈	∈	PROPN
iajs-348	93	5	1	1	NUM
iajs-348	93	6	m	m	NOUN
iajs-348	93	7	(	(	PUNCT
iajs-348	93	8	k)f	k)f	PROPN
iajs-348	93	9	−	−	PROPN
iajs-348	93	10	.	.	PUNCT
iajs-348	94	1	we	we	PRON
iajs-348	94	2	must	must	AUX
iajs-348	94	3	prove	prove	VERB
iajs-348	94	4	r	r	NOUN
iajs-348	94	5	ann	ann	PROPN
iajs-348	94	6	(	(	PUNCT
iajs-348	94	7	m	m	PROPN
iajs-348	94	8	+	+	NUM
iajs-348	94	9	f	f	X
iajs-348	94	10	–	–	PUNCT
iajs-348	94	11	1(k	1(k	NUM
iajs-348	94	12	'	'	NUM
iajs-348	94	13	)	)	PUNCT
iajs-348	94	14	)	)	PUNCT
iajs-348	95	1	e	e	X
iajs-348	95	2	≤r	≤r	PROPN
iajs-348	95	3	.	.	PUNCT
iajs-348	96	1	since	since	SCONJ
iajs-348	96	2	f	f	PROPN
iajs-348	96	3	(	(	PUNCT
iajs-348	96	4	m	m	PROPN
iajs-348	96	5	)	)	PUNCT
iajs-348	96	6	+	+	CCONJ
iajs-348	96	7	k'∈	k'∈	PROPN
iajs-348	96	8	m	m	NOUN
iajs-348	96	9	'	'	PUNCT
iajs-348	96	10	k	k	X
iajs-348	96	11	'	'	PUNCT
iajs-348	96	12	(	(	PUNCT
iajs-348	96	13	which	which	PRON
iajs-348	96	14	is	be	AUX
iajs-348	96	15	singular	singular	ADJ
iajs-348	96	16	)	)	PUNCT
iajs-348	96	17	.	.	PUNCT
iajs-348	97	1	thus	thus	ADV
iajs-348	97	2	f	f	X
iajs-348	97	3	(	(	PUNCT
iajs-348	97	4	m	m	PROPN
iajs-348	97	5	)	)	PUNCT
iajs-348	98	1	+	+	CCONJ
iajs-348	98	2	k	k	X
iajs-348	98	3	'	'	PUNCT
iajs-348	98	4	∈z	∈z	PROPN
iajs-348	98	5	(	(	PUNCT
iajs-348	98	6	m	m	PROPN
iajs-348	98	7	'	'	PUNCT
iajs-348	98	8	k	k	NOUN
iajs-348	98	9	'	'	PUNCT
iajs-348	98	10	)	)	PUNCT
iajs-348	98	11	.	.	PUNCT
iajs-348	99	1	so	so	ADV
iajs-348	99	2	r	r	NOUN
iajs-348	99	3	ann	ann	PROPN
iajs-348	99	4	(	(	PUNCT
iajs-348	99	5	f	f	PROPN
iajs-348	99	6	(	(	PUNCT
iajs-348	99	7	m	m	PROPN
iajs-348	99	8	)	)	PUNCT
iajs-348	99	9	+	+	CCONJ
iajs-348	99	10	k	k	X
iajs-348	99	11	'	'	PUNCT
iajs-348	99	12	)	)	PUNCT
iajs-348	100	1	e	e	NOUN
iajs-348	100	2	≤	≤	PROPN
iajs-348	100	3	r.	r.	PROPN
iajs-348	100	4	let	let	VERB
iajs-348	100	5	j	j	PROPN
iajs-348	100	6	be	be	AUX
iajs-348	100	7	any	any	DET
iajs-348	100	8	ideal	ideal	NOUN
iajs-348	100	9	of	of	ADP
iajs-348	100	10	r	r	NOUN
iajs-348	100	11	,	,	PUNCT
iajs-348	100	12	j	j	PROPN
iajs-348	100	13	≠	≠	PROPN
iajs-348	100	14	0	0	NUM
iajs-348	101	1	so	so	ADV
iajs-348	101	2	r	r	NOUN
iajs-348	101	3	ann	ann	PROPN
iajs-348	101	4	(	(	PUNCT
iajs-348	101	5	f	f	PROPN
iajs-348	101	6	(	(	PUNCT
iajs-348	101	7	m)+	m)+	NOUN
iajs-348	101	8	k	k	NOUN
iajs-348	101	9	'	'	PUNCT
iajs-348	101	10	)	)	PUNCT
iajs-348	101	11	∩	∩	PROPN
iajs-348	101	12	j	j	PROPN
iajs-348	101	13	≠	≠	PROPN
iajs-348	101	14	0	0	NUM
iajs-348	101	15	.	.	PUNCT
iajs-348	102	1	thus	thus	ADV
iajs-348	102	2	there	there	PRON
iajs-348	102	3	exists	exist	VERB
iajs-348	102	4	j	j	PROPN
iajs-348	102	5	∈	∈	PROPN
iajs-348	102	6	j	j	PROPN
iajs-348	102	7	,	,	PUNCT
iajs-348	102	8	j	j	PROPN
iajs-348	102	9	≠	≠	PROPN
iajs-348	102	10	0	0	NUM
iajs-348	102	11	and	and	CCONJ
iajs-348	102	12	j	j	PROPN
iajs-348	102	13	(	(	PUNCT
iajs-348	102	14	f	f	PROPN
iajs-348	102	15	(	(	PUNCT
iajs-348	102	16	m	m	PROPN
iajs-348	102	17	)	)	PUNCT
iajs-348	103	1	+	+	CCONJ
iajs-348	103	2	k	k	X
iajs-348	103	3	'	'	PUNCT
iajs-348	103	4	)	)	PUNCT
iajs-348	104	1	=	=	PUNCT
iajs-348	105	1	m	m	VERB
iajs-348	105	2	k	k	X
iajs-348	105	3	'	'	PUNCT
iajs-348	105	4	0	0	NUM
iajs-348	105	5	,	,	PUNCT
iajs-348	105	6	then	then	ADV
iajs-348	105	7	j	j	PROPN
iajs-348	105	8	f	f	PROPN
iajs-348	105	9	(	(	PUNCT
iajs-348	105	10	m	m	PROPN
iajs-348	105	11	)	)	PUNCT
iajs-348	106	1	+	+	CCONJ
iajs-348	106	2	k	k	X
iajs-348	106	3	'	'	PUNCT
iajs-348	106	4	=	=	SYM
iajs-348	106	5	k	k	NOUN
iajs-348	106	6	'	'	PUNCT
iajs-348	106	7	.	.	PUNCT
iajs-348	107	1	thus	thus	ADV
iajs-348	107	2	j	j	PROPN
iajs-348	107	3	f	f	PROPN
iajs-348	107	4	(	(	PUNCT
iajs-348	107	5	m	m	PROPN
iajs-348	107	6	)	)	PUNCT
iajs-348	107	7	∈	∈	PROPN
iajs-348	108	1	k	k	X
iajs-348	108	2	'	'	X
iajs-348	108	3	,	,	PUNCT
iajs-348	108	4	which	which	PRON
iajs-348	108	5	implies	imply	VERB
iajs-348	108	6	f	f	PROPN
iajs-348	108	7	(	(	PUNCT
iajs-348	108	8	jm	jm	PROPN
iajs-348	108	9	)	)	PUNCT
iajs-348	108	10	∈	∈	PROPN
iajs-348	109	1	k	k	NOUN
iajs-348	109	2	'	'	X
iajs-348	109	3	,	,	PUNCT
iajs-348	109	4	hence	hence	ADV
iajs-348	109	5	jm	jm	PROPN
iajs-348	109	6	∈	∈	PROPN
iajs-348	109	7	f	f	PROPN
iajs-348	109	8	–	–	PUNCT
iajs-348	109	9	1(k	1(k	NUM
iajs-348	109	10	'	'	NUM
iajs-348	109	11	)	)	PUNCT
iajs-348	109	12	.	.	PUNCT
iajs-348	110	1	thus	thus	ADV
iajs-348	110	2	j(m	j(m	PROPN
iajs-348	110	3	+	+	CCONJ
iajs-348	110	4	f	f	PROPN
iajs-348	110	5	–	–	PUNCT
iajs-348	110	6	1(k	1(k	NUM
iajs-348	110	7	'	'	NUM
iajs-348	110	8	)	)	PUNCT
iajs-348	110	9	)	)	PUNCT
iajs-348	111	1	=	=	SYM
iajs-348	111	2	f	f	X
iajs-348	111	3	–	–	PUNCT
iajs-348	111	4	1(k	1(k	NUM
iajs-348	111	5	'	'	NUM
iajs-348	111	6	)	)	PUNCT
iajs-348	111	7	=	=	SYM
iajs-348	112	1	1	1	NUM
iajs-348	112	2	m	m	VERB
iajs-348	112	3	(	(	PUNCT
iajs-348	112	4	k	k	NOUN
iajs-348	112	5	'	'	PUNCT
iajs-348	112	6	)	)	PUNCT
iajs-348	112	7	0	0	NUM
iajs-348	113	1	f	f	PROPN
iajs-348	114	1	−	−	NOUN
iajs-348	114	2	,	,	PUNCT
iajs-348	114	3	that	that	PRON
iajs-348	114	4	is	be	AUX
iajs-348	114	5	j	j	PROPN
iajs-348	114	6	∈	∈	PROPN
iajs-348	114	7	r	r	PROPN
iajs-348	114	8	ann	ann	PROPN
iajs-348	114	9	(	(	PUNCT
iajs-348	114	10	m	m	PROPN
iajs-348	114	11	+	+	NUM
iajs-348	114	12	f	f	X
iajs-348	114	13	–	–	PUNCT
iajs-348	114	14	1(k	1(k	NUM
iajs-348	114	15	'	'	NUM
iajs-348	114	16	)	)	PUNCT
iajs-348	114	17	)	)	PUNCT
iajs-348	115	1	∩	∩	PROPN
iajs-348	115	2	j	j	PROPN
iajs-348	115	3	,	,	PUNCT
iajs-348	115	4	and	and	CCONJ
iajs-348	115	5	hence	hence	ADV
iajs-348	115	6	r	r	PROPN
iajs-348	115	7	ann	ann	PROPN
iajs-348	115	8	(	(	PUNCT
iajs-348	115	9	m	m	PROPN
iajs-348	115	10	+	+	NUM
iajs-348	115	11	f	f	X
iajs-348	115	12	–	–	PUNCT
iajs-348	115	13	1(k	1(k	NUM
iajs-348	115	14	'	'	NUM
iajs-348	115	15	)	)	PUNCT
iajs-348	115	16	)	)	PUNCT
iajs-348	116	1	e	e	X
iajs-348	116	2	≤	≤	PROPN
iajs-348	116	3	r.	r.	PROPN
iajs-348	116	4	thus	thus	ADV
iajs-348	116	5	m	m	VERB
iajs-348	116	6	+	+	NUM
iajs-348	116	7	f	f	X
iajs-348	116	8	–	–	PUNCT
iajs-348	117	1	1(k	1(k	NUM
iajs-348	117	2	'	'	SYM
iajs-348	117	3	)	)	PUNCT
iajs-348	117	4	∈	∈	PROPN
iajs-348	117	5	z	z	X
iajs-348	117	6	(	(	PUNCT
iajs-348	117	7	1	1	NUM
iajs-348	117	8	m	m	PROPN
iajs-348	117	9	(	(	PUNCT
iajs-348	117	10	k	k	PROPN
iajs-348	117	11	)	)	PUNCT
iajs-348	117	12	f	f	PROPN
iajs-348	118	1	−	−	NOUN
iajs-348	118	2	′	′	NUM
iajs-348	118	3	)	)	PUNCT
iajs-348	118	4	,	,	PUNCT
iajs-348	118	5	that	that	PRON
iajs-348	118	6	is	be	AUX
iajs-348	118	7	1	1	NUM
iajs-348	118	8	m	m	NOUN
iajs-348	118	9	(	(	PUNCT
iajs-348	118	10	k	k	PROPN
iajs-348	118	11	)	)	PUNCT
iajs-348	118	12	f	f	PROPN
iajs-348	119	1	−	−	PROPN
iajs-348	119	2	′	′	NUM
iajs-348	119	3	is	be	AUX
iajs-348	119	4	singular	singular	ADJ
iajs-348	119	5	.	.	PUNCT
iajs-348	120	1	since	since	SCONJ
iajs-348	120	2	f	f	PROPN
iajs-348	120	3	–	–	PUNCT
iajs-348	120	4	1(n	1(n	NUM
iajs-348	120	5	'	'	NUM
iajs-348	120	6	)	)	PUNCT
iajs-348	120	7	δ	δ	PROPN
iajs-348	121	1			NOUN
iajs-348	121	2	m	m	VERB
iajs-348	121	3	and	and	CCONJ
iajs-348	121	4	1	1	NUM
iajs-348	121	5	m	m	NOUN
iajs-348	121	6	(	(	PUNCT
iajs-348	121	7	k	k	PROPN
iajs-348	121	8	)	)	PUNCT
iajs-348	121	9	f	f	PROPN
iajs-348	122	1	−	−	PROPN
iajs-348	122	2	′	′	NUM
iajs-348	122	3	is	be	AUX
iajs-348	122	4	singular	singular	ADJ
iajs-348	122	5	,	,	PUNCT
iajs-348	122	6	we	we	PRON
iajs-348	122	7	get	get	VERB
iajs-348	122	8	f	f	PROPN
iajs-348	122	9	–	–	PUNCT
iajs-348	122	10	1(k	1(k	NUM
iajs-348	122	11	'	'	NUM
iajs-348	122	12	)	)	PUNCT
iajs-348	123	1	=	=	SYM
iajs-348	123	2	m	m	PROPN
iajs-348	123	3	(	(	PUNCT
iajs-348	123	4	since	since	SCONJ
iajs-348	123	5	m	m	PROPN
iajs-348	123	6	is	be	AUX
iajs-348	123	7	δ	δ	NOUN
iajs-348	123	8	-	-	NOUN
iajs-348	123	9	hollow	hollow	NOUN
iajs-348	123	10	)	)	PUNCT
iajs-348	123	11	.	.	PUNCT
iajs-348	124	1	it	it	PRON
iajs-348	124	2	follows	follow	VERB
iajs-348	124	3	that	that	SCONJ
iajs-348	125	1	f	f	PROPN
iajs-348	125	2	(	(	PUNCT
iajs-348	125	3	f	f	PROPN
iajs-348	125	4	–	–	PUNCT
iajs-348	125	5	1(k	1(k	NUM
iajs-348	125	6	'	'	NUM
iajs-348	125	7	)	)	PUNCT
iajs-348	125	8	)	)	PUNCT
iajs-348	126	1	=	=	SYM
iajs-348	126	2	f	f	X
iajs-348	126	3	(	(	PUNCT
iajs-348	126	4	m	m	PROPN
iajs-348	126	5	)	)	PUNCT
iajs-348	126	6	=	=	PUNCT
iajs-348	127	1	m	m	VERB
iajs-348	127	2	'	'	PRON
iajs-348	127	3	,	,	PUNCT
iajs-348	127	4	hence	hence	ADV
iajs-348	127	5	k	k	X
iajs-348	127	6	'	'	PUNCT
iajs-348	127	7	=	=	NUM
iajs-348	127	8	m	m	NOUN
iajs-348	127	9	'	'	NUM
iajs-348	127	10	.	.	PUNCT
iajs-348	128	1	thus	thus	ADV
iajs-348	128	2	m	m	X
iajs-348	128	3	'	'	PUNCT
iajs-348	128	4	is	be	AUX
iajs-348	128	5	a	a	DET
iajs-348	128	6	δ	δ	NOUN
iajs-348	128	7	-	-	PUNCT
iajs-348	128	8	hollow	hollow	ADJ
iajs-348	128	9	module	module	NOUN
iajs-348	128	10	.	.	PUNCT
iajs-348	129	1	corollary	corollary	ADJ
iajs-348	129	2	2.4	2.4	NUM
iajs-348	129	3	:	:	PUNCT
iajs-348	129	4	let	let	VERB
iajs-348	129	5	m	m	PRON
iajs-348	129	6	be	be	AUX
iajs-348	129	7	an	an	DET
iajs-348	129	8	r	r	NOUN
iajs-348	129	9	-	-	PUNCT
iajs-348	129	10	module	module	NOUN
iajs-348	129	11	.	.	PUNCT
iajs-348	130	1	if	if	SCONJ
iajs-348	130	2	m	m	NOUN
iajs-348	130	3	is	be	AUX
iajs-348	130	4	a	a	DET
iajs-348	130	5	δ	δ	NOUN
iajs-348	130	6	-	-	ADJ
iajs-348	130	7	hollow	hollow	ADJ
iajs-348	130	8	module	module	NOUN
iajs-348	130	9	then	then	ADV
iajs-348	130	10	m	m	VERB
iajs-348	130	11	n	n	PRON
iajs-348	130	12	is	be	AUX
iajs-348	130	13	a	a	DET
iajs-348	130	14	δ	δ	NOUN
iajs-348	130	15	-	-	ADJ
iajs-348	130	16	hollow	hollow	ADJ
iajs-348	130	17	module	module	NOUN
iajs-348	130	18	for	for	ADP
iajs-348	130	19	every	every	DET
iajs-348	130	20	proper	proper	ADJ
iajs-348	130	21	submodule	submodule	NOUN
iajs-348	130	22	n	n	PROPN
iajs-348	130	23	of	of	ADP
iajs-348	130	24	m.	m.	NOUN
iajs-348	130	25	proof	proof	NOUN
iajs-348	130	26	:	:	PUNCT
iajs-348	130	27	let	let	VERB
iajs-348	130	28	n	n	PRON
iajs-348	130	29	be	be	AUX
iajs-348	130	30	a	a	DET
iajs-348	130	31	proper	proper	ADJ
iajs-348	130	32	submodule	submodule	NOUN
iajs-348	130	33	of	of	ADP
iajs-348	130	34	a	a	DET
iajs-348	130	35	δ	δ	NOUN
iajs-348	130	36	-	-	ADJ
iajs-348	130	37	hollow	hollow	ADJ
iajs-348	130	38	m.	m.	NOUN
iajs-348	130	39	let	let	VERB
iajs-348	130	40	π	π	PRON
iajs-348	130	41	:	:	PUNCT
iajs-348	130	42	m	m	VERB
iajs-348	130	43	→	→	VERB
iajs-348	130	44	m	m	VERB
iajs-348	130	45	n	n	PRON
iajs-348	130	46	be	be	AUX
iajs-348	130	47	the	the	DET
iajs-348	130	48	natural	natural	ADJ
iajs-348	130	49	epimorphism	epimorphism	NOUN
iajs-348	130	50	,	,	PUNCT
iajs-348	130	51	then	then	ADV
iajs-348	130	52	m	m	VERB
iajs-348	130	53	n	n	PRON
iajs-348	130	54	is	be	AUX
iajs-348	130	55	a	a	DET
iajs-348	130	56	δ	δ	NOUN
iajs-348	130	57	-	-	ADJ
iajs-348	130	58	hollow	hollow	ADJ
iajs-348	130	59	module	module	NOUN
iajs-348	130	60	by	by	ADP
iajs-348	130	61	proposition	proposition	NOUN
iajs-348	130	62	(	(	PUNCT
iajs-348	130	63	2.3	2.3	NUM
iajs-348	130	64	)	)	PUNCT
iajs-348	130	65	.	.	PUNCT
iajs-348	131	1	corollary	corollary	ADJ
iajs-348	131	2	2.5	2.5	NUM
iajs-348	131	3	:	:	PUNCT
iajs-348	131	4	a	a	DET
iajs-348	131	5	direct	direct	ADJ
iajs-348	131	6	summand	summand	NOUN
iajs-348	131	7	of	of	ADP
iajs-348	131	8	a	a	DET
iajs-348	131	9	δ	δ	NOUN
iajs-348	131	10	-	-	ADJ
iajs-348	131	11	hollow	hollow	ADJ
iajs-348	131	12	module	module	NOUN
iajs-348	131	13	is	be	AUX
iajs-348	131	14	a	a	DET
iajs-348	131	15	δ	δ	NOUN
iajs-348	131	16	-	-	PUNCT
iajs-348	131	17	hollow	hollow	ADJ
iajs-348	131	18	module	module	NOUN
iajs-348	131	19	.	.	PUNCT
iajs-348	132	1	proof	proof	NOUN
iajs-348	132	2	:	:	PUNCT
iajs-348	132	3	let	let	VERB
iajs-348	132	4	m	m	PRON
iajs-348	132	5	be	be	AUX
iajs-348	132	6	a	a	DET
iajs-348	132	7	δ	δ	NOUN
iajs-348	132	8	-	-	ADJ
iajs-348	132	9	hollow	hollow	ADJ
iajs-348	132	10	r	r	NOUN
iajs-348	132	11	-	-	PUNCT
iajs-348	132	12	module	module	NOUN
iajs-348	132	13	and	and	CCONJ
iajs-348	132	14	n	n	CCONJ
iajs-348	132	15	be	be	AUX
iajs-348	132	16	a	a	DET
iajs-348	132	17	direct	direct	ADJ
iajs-348	132	18	summand	summand	NOUN
iajs-348	132	19	of	of	ADP
iajs-348	132	20	m.	m.	NOUN
iajs-348	132	21	hence	hence	ADV
iajs-348	132	22	m	m	VERB
iajs-348	132	23	=	=	SYM
iajs-348	132	24	n	n	PROPN
iajs-348	132	25	⊕	⊕	PROPN
iajs-348	132	26	k	k	PROPN
iajs-348	132	27	for	for	ADP
iajs-348	132	28	some	some	DET
iajs-348	132	29	submodule	submodule	NOUN
iajs-348	132	30	k	k	PROPN
iajs-348	132	31	of	of	ADP
iajs-348	132	32	m.	m.	NOUN
iajs-348	132	33	by	by	ADP
iajs-348	132	34	second	second	ADJ
iajs-348	132	35	isomorphism	isomorphism	NOUN
iajs-348	132	36	theorem	theorem	VERB
iajs-348	132	37	m	m	VERB
iajs-348	132	38	k	k	NOUN
iajs-348	132	39	≃	≃	PROPN
iajs-348	132	40	n.	n.	PROPN
iajs-348	132	41	but	but	CCONJ
iajs-348	132	42	m	m	AUX
iajs-348	132	43	k	k	PROPN
iajs-348	132	44	is	be	AUX
iajs-348	132	45	δ	δ	NOUN
iajs-348	132	46	-	-	ADJ
iajs-348	132	47	hollow	hollow	ADJ
iajs-348	132	48	by	by	ADP
iajs-348	132	49	corollary	corollary	ADJ
iajs-348	132	50	(	(	PUNCT
iajs-348	132	51	2.4	2.4	NUM
iajs-348	132	52	)	)	PUNCT
iajs-348	132	53	.	.	PUNCT
iajs-348	133	1	thus	thus	ADV
iajs-348	133	2	n	n	PRON
iajs-348	133	3	is	be	AUX
iajs-348	133	4	δ	δ	NOUN
iajs-348	133	5	-	-	PUNCT
iajs-348	133	6	hollow	hollow	ADJ
iajs-348	133	7	.	.	PUNCT
iajs-348	134	1	proposition	proposition	NOUN
iajs-348	134	2	2.6	2.6	NUM
iajs-348	134	3	:	:	PUNCT
iajs-348	134	4	let	let	VERB
iajs-348	134	5	m	m	PRON
iajs-348	134	6	be	be	AUX
iajs-348	134	7	an	an	DET
iajs-348	134	8	r	r	NOUN
iajs-348	134	9	-	-	PUNCT
iajs-348	134	10	module	module	NOUN
iajs-348	134	11	and	and	CCONJ
iajs-348	134	12	k	k	PROPN
iajs-348	134	13	δ	δ	PROPN
iajs-348	134	14			PROPN
iajs-348	134	15	m.	m.	NOUN
iajs-348	134	16	if	if	SCONJ
iajs-348	134	17	m	m	VERB
iajs-348	134	18	k	k	PROPN
iajs-348	134	19	is	be	AUX
iajs-348	134	20	a	a	DET
iajs-348	134	21	δ	δ	NOUN
iajs-348	134	22	-	-	ADJ
iajs-348	134	23	hollow	hollow	ADJ
iajs-348	134	24	module	module	NOUN
iajs-348	134	25	then	then	ADV
iajs-348	134	26	m	m	VERB
iajs-348	134	27	is	be	AUX
iajs-348	134	28	a	a	DET
iajs-348	134	29	δ	δ	NOUN
iajs-348	134	30	-	-	PUNCT
iajs-348	134	31	hollow	hollow	ADJ
iajs-348	134	32	module	module	NOUN
iajs-348	134	33	.	.	PUNCT
iajs-348	135	1	proof	proof	NOUN
iajs-348	135	2	:	:	PUNCT
iajs-348	135	3	let	let	VERB
iajs-348	135	4	n	n	PRON
iajs-348	135	5	<	<	X
iajs-348	135	6	m	m	VERB
iajs-348	135	7	with	with	ADP
iajs-348	135	8	m	m	PROPN
iajs-348	135	9	=	=	SYM
iajs-348	135	10	n	n	PROPN
iajs-348	135	11	+	+	CCONJ
iajs-348	135	12	l	l	NOUN
iajs-348	135	13	,	,	PUNCT
iajs-348	135	14	where	where	SCONJ
iajs-348	135	15	l	l	NOUN
iajs-348	135	16	is	be	AUX
iajs-348	135	17	a	a	DET
iajs-348	135	18	submodule	submodule	NOUN
iajs-348	135	19	of	of	ADP
iajs-348	135	20	m	m	PROPN
iajs-348	135	21	and	and	CCONJ
iajs-348	135	22	m	m	PROPN
iajs-348	135	23	l	l	NOUN
iajs-348	135	24	is	be	AUX
iajs-348	135	25	singular	singular	ADJ
iajs-348	135	26	r	r	NOUN
iajs-348	135	27	-	-	PUNCT
iajs-348	135	28	module	module	NOUN
iajs-348	135	29	then	then	ADV
iajs-348	135	30	m	m	VERB
iajs-348	135	31	n	n	ADP
iajs-348	135	32	l	l	NOUN
iajs-348	136	1	n	n	CCONJ
iajs-348	136	2	k	k	NOUN
iajs-348	136	3	l	l	NOUN
iajs-348	137	1	k	k	PROPN
iajs-348	138	1	k	k	PROPN
iajs-348	138	2	k	k	PROPN
iajs-348	139	1	k	k	PROPN
iajs-348	139	2	k	k	PROPN
iajs-348	140	1	+	+	PUNCT
iajs-348	140	2	+	+	PUNCT
iajs-348	140	3	+	+	X
iajs-348	140	4	=	=	SYM
iajs-348	140	5	=	=	SYM
iajs-348	141	1	+	+	CCONJ
iajs-348	141	2	.	.	PUNCT
iajs-348	142	1	but	but	CCONJ
iajs-348	142	2	m	m	PRON
iajs-348	142	3	(	(	PUNCT
iajs-348	142	4	l	l	PROPN
iajs-348	142	5	k	k	NOUN
iajs-348	142	6	)	)	PUNCT
iajs-348	142	7	m/	m/	NOUN
iajs-348	142	8	k	k	PROPN
iajs-348	143	1	k	k	PROPN
iajs-348	143	2	l	l	PUNCT
iajs-348	144	1	k	k	PUNCT
iajs-348	145	1	+	+	CCONJ
iajs-348	145	2	+	+	CCONJ
iajs-348	145	3			NUM
iajs-348	145	4	by	by	ADP
iajs-348	145	5	third	third	ADJ
iajs-348	145	6	fundamental	fundamental	ADJ
iajs-348	145	7	theorem	theorem	NOUN
iajs-348	145	8	.	.	PUNCT
iajs-348	146	1	we	we	PRON
iajs-348	146	2	shall	shall	AUX
iajs-348	146	3	prove	prove	VERB
iajs-348	146	4	m	m	VERB
iajs-348	146	5	l	l	NOUN
iajs-348	146	6	k+	k+	NOUN
iajs-348	146	7	is	be	AUX
iajs-348	146	8	singular	singular	ADJ
iajs-348	146	9	.	.	PUNCT
iajs-348	147	1	245	245	NUM
iajs-348	147	2	|	|	ADV
iajs-348	147	3	mathematics	mathematics	PROPN
iajs-348	147	4	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	NUM
iajs-348	147	5	�	�	NOUN
iajs-348	147	6	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	NUM
iajs-348	147	7	:	:	PUNCT
iajs-348	147	8	a@âig@ú‹	a@âig@ú‹	PROPN
iajs-348	147	9	©	©	PROPN
iajs-348	147	10	@ü‹127@@öü»€a@i2@‚b«@h2014	@ü‹127@@öü»€a@i2@‚b«@h2014	PROPN
iajs-348	147	11	ibn	ibn	PROPN
iajs-348	147	12	al	al	PROPN
iajs-348	147	13	-	-	PUNCT
iajs-348	147	14	haitham	haitham	PROPN
iajs-348	147	15	jour	jour	X
iajs-348	147	16	.	.	PROPN
iajs-348	148	1	for	for	ADP
iajs-348	148	2	pure	pure	ADJ
iajs-348	148	3	&	&	CCONJ
iajs-348	148	4	appl	appl	PROPN
iajs-348	148	5	.	.	PUNCT
iajs-348	149	1	sci	sci	PROPN
iajs-348	149	2	.	.	PUNCT
iajs-348	149	3	vol	vol	NOUN
iajs-348	149	4	.	.	PROPN
iajs-348	150	1	27	27	NUM
iajs-348	150	2	(	(	PUNCT
iajs-348	150	3	2	2	NUM
iajs-348	150	4	)	)	PUNCT
iajs-348	150	5	2014	2014	NUM
iajs-348	150	6	let	let	VERB
iajs-348	150	7	mm	mm	NOUN
iajs-348	150	8	l	l	NOUN
iajs-348	150	9	k	k	PROPN
iajs-348	150	10	∈	∈	PROPN
iajs-348	151	1	+	+	CCONJ
iajs-348	151	2	,	,	PUNCT
iajs-348	151	3	so	so	ADV
iajs-348	151	4	m	m	VERB
iajs-348	151	5	=	=	ADJ
iajs-348	151	6	m	m	VERB
iajs-348	151	7	+	+	PUNCT
iajs-348	151	8	(	(	PUNCT
iajs-348	151	9	l	l	NOUN
iajs-348	151	10	+	+	X
iajs-348	151	11	k	k	NOUN
iajs-348	151	12	)	)	PUNCT
iajs-348	151	13	.	.	PUNCT
iajs-348	152	1	but	but	CCONJ
iajs-348	152	2	r	r	NOUN
iajs-348	152	3	ann	ann	PROPN
iajs-348	152	4	(	(	PUNCT
iajs-348	152	5	m	m	PROPN
iajs-348	152	6	+	+	NUM
iajs-348	152	7	l	l	NOUN
iajs-348	152	8	)	)	PUNCT
iajs-348	152	9	≤	≤	NUM
iajs-348	152	10	r	r	NOUN
iajs-348	152	11	ann	ann	PROPN
iajs-348	152	12	(	(	PUNCT
iajs-348	152	13	m	m	PROPN
iajs-348	152	14	+	+	X
iajs-348	152	15	(	(	PUNCT
iajs-348	152	16	l	l	NOUN
iajs-348	152	17	+	+	X
iajs-348	152	18	k	k	NOUN
iajs-348	152	19	)	)	PUNCT
iajs-348	152	20	)	)	PUNCT
iajs-348	152	21	,	,	PUNCT
iajs-348	152	22	since	since	SCONJ
iajs-348	152	23	if	if	SCONJ
iajs-348	152	24	r	r	NOUN
iajs-348	152	25	∈	∈	PROPN
iajs-348	152	26	r	r	NOUN
iajs-348	152	27	ann	ann	PROPN
iajs-348	152	28	(	(	PUNCT
iajs-348	152	29	m	m	PROPN
iajs-348	152	30	+	+	X
iajs-348	152	31	l	l	NOUN
iajs-348	152	32	)	)	PUNCT
iajs-348	152	33	,	,	PUNCT
iajs-348	152	34	then	then	ADV
iajs-348	152	35	rm	rm	NOUN
iajs-348	152	36	+	+	CCONJ
iajs-348	152	37	l	l	NOUN
iajs-348	152	38	=	=	PUNCT
iajs-348	153	1	m	m	VERB
iajs-348	153	2	l	l	NOUN
iajs-348	153	3	0	0	NUM
iajs-348	154	1	=	=	SYM
iajs-348	154	2	l	l	NOUN
iajs-348	154	3	implies	imply	VERB
iajs-348	154	4	that	that	SCONJ
iajs-348	154	5	rm	rm	PROPN
iajs-348	154	6	∈	∈	PROPN
iajs-348	154	7	l	l	NOUN
iajs-348	154	8	≤	≤	NUM
iajs-348	155	1	l	l	NOUN
iajs-348	156	1	+	+	CCONJ
iajs-348	156	2	k.	k.	PROPN
iajs-348	156	3	therefore	therefore	ADV
iajs-348	156	4	rm	rm	PROPN
iajs-348	156	5	+	+	CCONJ
iajs-348	156	6	(	(	PUNCT
iajs-348	156	7	l	l	PROPN
iajs-348	156	8	+	+	CCONJ
iajs-348	156	9	k	k	NOUN
iajs-348	156	10	)	)	PUNCT
iajs-348	156	11	=	=	SYM
iajs-348	157	1	l	l	NOUN
iajs-348	158	1	+	+	X
iajs-348	158	2	k	k	X
iajs-348	158	3	=	=	PUNCT
iajs-348	159	1	m	m	PROPN
iajs-348	159	2	l	l	NOUN
iajs-348	160	1	k	k	NOUN
iajs-348	160	2	0	0	PUNCT
iajs-348	161	1	+	+	CCONJ
iajs-348	161	2	,	,	PUNCT
iajs-348	162	1	which	which	PRON
iajs-348	162	2	implies	imply	VERB
iajs-348	162	3	that	that	SCONJ
iajs-348	162	4	r	r	NOUN
iajs-348	162	5	∈	∈	PROPN
iajs-348	162	6	r	r	NOUN
iajs-348	162	7	ann	ann	PROPN
iajs-348	162	8	(	(	PUNCT
iajs-348	162	9	m	m	VERB
iajs-348	162	10	+	+	X
iajs-348	162	11	(	(	PUNCT
iajs-348	162	12	l	l	NOUN
iajs-348	162	13	+	+	X
iajs-348	162	14	k	k	NOUN
iajs-348	162	15	)	)	PUNCT
iajs-348	162	16	)	)	PUNCT
iajs-348	162	17	.	.	PUNCT
iajs-348	163	1	but	but	CCONJ
iajs-348	163	2	m	m	PROPN
iajs-348	163	3	l	l	NOUN
iajs-348	163	4	singular	singular	PROPN
iajs-348	163	5	implies	imply	VERB
iajs-348	163	6	r	r	PROPN
iajs-348	163	7	ann	ann	PROPN
iajs-348	163	8	(	(	PUNCT
iajs-348	163	9	m	m	PROPN
iajs-348	163	10	+	+	NUM
iajs-348	163	11	l	l	NOUN
iajs-348	163	12	)	)	PUNCT
iajs-348	163	13	e	e	NOUN
iajs-348	163	14	≤	≤	NOUN
iajs-348	163	15	r	r	NOUN
iajs-348	163	16	,	,	PUNCT
iajs-348	163	17	hence	hence	ADV
iajs-348	163	18	r	r	PROPN
iajs-348	163	19	ann	ann	PROPN
iajs-348	163	20	(	(	PUNCT
iajs-348	163	21	m	m	VERB
iajs-348	163	22	+	+	X
iajs-348	163	23	(	(	PUNCT
iajs-348	163	24	l	l	NOUN
iajs-348	163	25	+	+	X
iajs-348	163	26	k	k	NOUN
iajs-348	163	27	)	)	PUNCT
iajs-348	163	28	)	)	PUNCT
iajs-348	164	1	e	e	X
iajs-348	164	2	≤	≤	PROPN
iajs-348	164	3	r.	r.	PROPN
iajs-348	164	4	thus	thus	ADV
iajs-348	164	5	m	m	VERB
iajs-348	164	6	+	+	ADJ
iajs-348	164	7	(	(	PUNCT
iajs-348	165	1	l	l	NOUN
iajs-348	165	2	+	+	CCONJ
iajs-348	165	3	k	k	X
iajs-348	165	4	)	)	PUNCT
iajs-348	165	5	∈	∈	PROPN
iajs-348	165	6	mz	mz	PROPN
iajs-348	165	7	(	(	PUNCT
iajs-348	165	8	)	)	PUNCT
iajs-348	165	9	l	l	NOUN
iajs-348	165	10	k+	k+	NOUN
iajs-348	165	11	,	,	PUNCT
iajs-348	165	12	so	so	ADV
iajs-348	165	13	m	m	VERB
iajs-348	165	14	l	l	NOUN
iajs-348	165	15	k+	k+	NOUN
iajs-348	165	16	is	be	AUX
iajs-348	165	17	singular	singular	ADJ
iajs-348	165	18	.	.	PUNCT
iajs-348	166	1	hence	hence	ADV
iajs-348	166	2	l	l	PROPN
iajs-348	167	1	k	k	NOUN
iajs-348	168	1	m	m	VERB
iajs-348	168	2	k	k	PROPN
iajs-348	168	3	k	k	PROPN
iajs-348	169	1	+	+	CCONJ
iajs-348	169	2	=	=	PUNCT
iajs-348	169	3	since	since	SCONJ
iajs-348	169	4	m	m	PROPN
iajs-348	169	5	k	k	PROPN
iajs-348	169	6	is	be	AUX
iajs-348	169	7	δ	δ	NOUN
iajs-348	169	8	-	-	PUNCT
iajs-348	169	9	hollow	hollow	NOUN
iajs-348	169	10	.	.	PUNCT
iajs-348	170	1	it	it	PRON
iajs-348	170	2	follows	follow	VERB
iajs-348	170	3	that	that	SCONJ
iajs-348	170	4	l	l	PROPN
iajs-348	171	1	+	+	CCONJ
iajs-348	171	2	k	k	X
iajs-348	171	3	=	=	PUNCT
iajs-348	171	4	m.	m.	NOUN
iajs-348	171	5	but	but	CCONJ
iajs-348	171	6	k	k	PROPN
iajs-348	171	7	δ	δ	PROPN
iajs-348	171	8			PROPN
iajs-348	171	9	m	m	PROPN
iajs-348	171	10	,	,	PUNCT
iajs-348	171	11	implies	imply	VERB
iajs-348	171	12	l	l	NOUN
iajs-348	171	13	=	=	PUNCT
iajs-348	171	14	m.	m.	NOUN
iajs-348	171	15	therefore	therefore	ADV
iajs-348	171	16	m	m	PROPN
iajs-348	171	17	is	be	AUX
iajs-348	171	18	δ	δ	NOUN
iajs-348	171	19	-	-	PUNCT
iajs-348	171	20	hollow	hollow	NOUN
iajs-348	171	21	.	.	PUNCT
iajs-348	172	1	3δ	3δ	NOUN
iajs-348	172	2	-	-	PUNCT
iajs-348	172	3	hollow	hollow	ADJ
iajs-348	172	4	modules	module	NOUN
iajs-348	172	5	and	and	CCONJ
iajs-348	172	6	other	other	ADJ
iajs-348	172	7	related	related	ADJ
iajs-348	172	8	modules	module	NOUN
iajs-348	172	9	in	in	ADP
iajs-348	172	10	this	this	DET
iajs-348	172	11	section	section	NOUN
iajs-348	173	1	,	,	PUNCT
iajs-348	173	2	we	we	PRON
iajs-348	173	3	give	give	VERB
iajs-348	173	4	some	some	DET
iajs-348	173	5	relationships	relationship	NOUN
iajs-348	173	6	between	between	ADP
iajs-348	173	7	δ	δ	NOUN
iajs-348	173	8	-	-	PUNCT
iajs-348	173	9	hollow	hollow	ADJ
iajs-348	173	10	modules	module	NOUN
iajs-348	173	11	and	and	CCONJ
iajs-348	173	12	other	other	ADJ
iajs-348	173	13	related	related	ADJ
iajs-348	173	14	modules	module	NOUN
iajs-348	173	15	.	.	PUNCT
iajs-348	174	1	let	let	VERB
iajs-348	174	2	m	m	PRON
iajs-348	174	3	be	be	AUX
iajs-348	174	4	a	a	DET
iajs-348	174	5	module	module	NOUN
iajs-348	174	6	,	,	PUNCT
iajs-348	174	7	then	then	ADV
iajs-348	174	8	:	:	PUNCT
iajs-348	174	9	m	m	VERB
iajs-348	174	10	is	be	AUX
iajs-348	174	11	called	call	VERB
iajs-348	174	12	amply	amply	ADV
iajs-348	174	13	supplemented	supplement	VERB
iajs-348	174	14	module	module	NOUN
iajs-348	174	15	if	if	SCONJ
iajs-348	174	16	for	for	ADP
iajs-348	174	17	any	any	DET
iajs-348	174	18	two	two	NUM
iajs-348	174	19	submodules	submodule	NOUN
iajs-348	174	20	u	u	NOUN
iajs-348	174	21	and	and	CCONJ
iajs-348	174	22	v	v	NOUN
iajs-348	174	23	of	of	ADP
iajs-348	174	24	m	m	PROPN
iajs-348	174	25	with	with	ADP
iajs-348	174	26	u	u	PROPN
iajs-348	174	27	+	+	X
iajs-348	174	28	v	v	NOUN
iajs-348	174	29	=	=	SYM
iajs-348	174	30	m	m	PROPN
iajs-348	174	31	,	,	PUNCT
iajs-348	174	32	v	v	NOUN
iajs-348	174	33	contains	contain	VERB
iajs-348	174	34	a	a	DET
iajs-348	174	35	supplement	supplement	NOUN
iajs-348	174	36	of	of	ADP
iajs-348	174	37	u	u	NOUN
iajs-348	174	38	in	in	ADP
iajs-348	174	39	m	m	PROPN
iajs-348	174	40	,	,	PUNCT
iajs-348	174	41	where	where	SCONJ
iajs-348	174	42	a	a	DET
iajs-348	174	43	submodule	submodule	NOUN
iajs-348	174	44	a	a	PRON
iajs-348	174	45	of	of	ADP
iajs-348	174	46	m	m	PROPN
iajs-348	174	47	is	be	AUX
iajs-348	174	48	called	call	VERB
iajs-348	174	49	a	a	DET
iajs-348	174	50	supplement	supplement	NOUN
iajs-348	174	51	of	of	ADP
iajs-348	174	52	b	b	PROPN
iajs-348	174	53	(	(	PUNCT
iajs-348	174	54	b	b	PROPN
iajs-348	174	55	≤	≤	NUM
iajs-348	174	56	m	m	NOUN
iajs-348	174	57	)	)	PUNCT
iajs-348	174	58	if	if	SCONJ
iajs-348	174	59	m	m	VERB
iajs-348	174	60	=	=	VERB
iajs-348	174	61	a	a	DET
iajs-348	174	62	+	+	NUM
iajs-348	174	63	b	b	NOUN
iajs-348	174	64	and	and	CCONJ
iajs-348	174	65	a	a	DET
iajs-348	174	66	∩	∩	ADJ
iajs-348	174	67	b	b	NOUN
iajs-348	174	68	≪	≪	VERB
iajs-348	174	69	a.	a.	NOUN
iajs-348	174	70	equivalently	equivalently	ADV
iajs-348	174	71	a	a	PRON
iajs-348	174	72	is	be	AUX
iajs-348	174	73	a	a	DET
iajs-348	174	74	supplement	supplement	NOUN
iajs-348	174	75	of	of	ADP
iajs-348	174	76	b	b	NOUN
iajs-348	174	77	if	if	SCONJ
iajs-348	174	78	a	a	DET
iajs-348	174	79	+	+	X
iajs-348	174	80	b	b	NOUN
iajs-348	174	81	=	=	SYM
iajs-348	174	82	m	m	PROPN
iajs-348	174	83	and	and	CCONJ
iajs-348	174	84	b	b	PROPN
iajs-348	174	85	is	be	AUX
iajs-348	174	86	a	a	DET
iajs-348	174	87	minimal	minimal	ADJ
iajs-348	174	88	element	element	NOUN
iajs-348	174	89	in	in	ADP
iajs-348	174	90	the	the	DET
iajs-348	174	91	set	set	NOUN
iajs-348	174	92	of	of	ADP
iajs-348	174	93	submodules	submodule	NOUN
iajs-348	174	94	l	l	PROPN
iajs-348	174	95	≤	≤	NUM
iajs-348	174	96	m	m	VERB
iajs-348	174	97	with	with	ADP
iajs-348	174	98	b	b	PROPN
iajs-348	174	99	+	+	CCONJ
iajs-348	174	100	l	l	NOUN
iajs-348	174	101	=	=	SYM
iajs-348	174	102	m	m	NOUN
iajs-348	174	103	,	,	PUNCT
iajs-348	174	104	[	[	X
iajs-348	174	105	8	8	NUM
iajs-348	174	106	]	]	PUNCT
iajs-348	174	107	.	.	PUNCT
iajs-348	175	1	recall	recall	VERB
iajs-348	175	2	that	that	SCONJ
iajs-348	175	3	every	every	DET
iajs-348	175	4	hollow	hollow	ADJ
iajs-348	175	5	module	module	NOUN
iajs-348	175	6	is	be	AUX
iajs-348	175	7	amply	amply	ADV
iajs-348	175	8	supplemented	supplement	VERB
iajs-348	175	9	,	,	PUNCT
iajs-348	175	10	see	see	VERB
iajs-348	175	11	[	[	X
iajs-348	175	12	11,proposition	11,proposition	NUM
iajs-348	175	13	(	(	PUNCT
iajs-348	175	14	1.3.5	1.3.5	NUM
iajs-348	175	15	)	)	PUNCT
iajs-348	175	16	]	]	PUNCT
iajs-348	175	17	.	.	PUNCT
iajs-348	176	1	we	we	PRON
iajs-348	176	2	shall	shall	AUX
iajs-348	176	3	give	give	VERB
iajs-348	176	4	analogus	analogus	ADJ
iajs-348	176	5	statement	statement	NOUN
iajs-348	176	6	for	for	ADP
iajs-348	176	7	δ	δ	NOUN
iajs-348	176	8	-	-	NOUN
iajs-348	176	9	hollow	hollow	ADJ
iajs-348	176	10	,	,	PUNCT
iajs-348	176	11	but	but	CCONJ
iajs-348	176	12	first	first	ADV
iajs-348	176	13	recall	recall	VERB
iajs-348	176	14	that	that	SCONJ
iajs-348	176	15	an	an	DET
iajs-348	176	16	r	r	NOUN
iajs-348	176	17	-	-	PUNCT
iajs-348	176	18	module	module	NOUN
iajs-348	176	19	is	be	AUX
iajs-348	176	20	called	call	VERB
iajs-348	176	21	δ	δ	NOUN
iajs-348	176	22	-	-	PUNCT
iajs-348	176	23	amply	amply	ADV
iajs-348	176	24	supplemented	supplement	VERB
iajs-348	176	25	if	if	SCONJ
iajs-348	176	26	for	for	ADP
iajs-348	176	27	any	any	DET
iajs-348	176	28	two	two	NUM
iajs-348	176	29	submodules	submodule	NOUN
iajs-348	176	30	u	u	NOUN
iajs-348	176	31	and	and	CCONJ
iajs-348	176	32	v	v	NOUN
iajs-348	176	33	of	of	ADP
iajs-348	176	34	m	m	PROPN
iajs-348	176	35	with	with	ADP
iajs-348	176	36	u	u	PROPN
iajs-348	176	37	+	+	X
iajs-348	176	38	v	v	NOUN
iajs-348	176	39	=	=	SYM
iajs-348	176	40	m	m	PROPN
iajs-348	176	41	,	,	PUNCT
iajs-348	176	42	v	v	NOUN
iajs-348	176	43	contains	contain	VERB
iajs-348	176	44	a	a	DET
iajs-348	176	45	δ	δ	NOUN
iajs-348	176	46	-	-	PUNCT
iajs-348	176	47	supplemented	supplement	VERB
iajs-348	176	48	of	of	ADP
iajs-348	176	49	u	u	NOUN
iajs-348	176	50	in	in	ADP
iajs-348	176	51	m	m	PROPN
iajs-348	176	52	,	,	PUNCT
iajs-348	176	53	where	where	SCONJ
iajs-348	176	54	a	a	DET
iajs-348	176	55	submodule	submodule	NOUN
iajs-348	176	56	n	n	PROPN
iajs-348	176	57	of	of	ADP
iajs-348	176	58	m	m	PROPN
iajs-348	176	59	is	be	AUX
iajs-348	176	60	called	call	VERB
iajs-348	176	61	δ	δ	NOUN
iajs-348	176	62	-	-	PUNCT
iajs-348	176	63	supplement	supplement	NOUN
iajs-348	176	64	of	of	ADP
iajs-348	176	65	a	a	DET
iajs-348	176	66	submodule	submodule	NOUN
iajs-348	176	67	w	w	PROPN
iajs-348	176	68	of	of	ADP
iajs-348	176	69	m	m	PROPN
iajs-348	176	70	if	if	SCONJ
iajs-348	176	71	n	n	PROPN
iajs-348	176	72	+	+	CCONJ
iajs-348	176	73	w	w	PROPN
iajs-348	176	74	=	=	PROPN
iajs-348	176	75	m	m	PROPN
iajs-348	176	76	,	,	PUNCT
iajs-348	176	77	n	n	PRON
iajs-348	176	78	∩	∩	NOUN
iajs-348	176	79	w	w	PROPN
iajs-348	176	80	δ	δ	PROPN
iajs-348	176	81			NUM
iajs-348	176	82	n	n	CCONJ
iajs-348	176	83	,	,	PUNCT
iajs-348	177	1	[	[	X
iajs-348	177	2	9	9	NUM
iajs-348	177	3	]	]	PUNCT
iajs-348	177	4	,	,	PUNCT
iajs-348	177	5	[	[	X
iajs-348	177	6	10	10	NUM
iajs-348	177	7	]	]	PUNCT
iajs-348	177	8	.	.	PUNCT
iajs-348	178	1	proposition	proposition	NOUN
iajs-348	178	2	3.1	3.1	NUM
iajs-348	178	3	:	:	PUNCT
iajs-348	178	4	every	every	DET
iajs-348	178	5	δ	δ	PROPN
iajs-348	178	6	-	-	ADJ
iajs-348	178	7	hollow	hollow	ADJ
iajs-348	178	8	module	module	NOUN
iajs-348	178	9	is	be	AUX
iajs-348	178	10	a	a	DET
iajs-348	178	11	δ	δ	NOUN
iajs-348	178	12	-	-	PUNCT
iajs-348	178	13	amply	amply	ADV
iajs-348	178	14	supplemented	supplement	VERB
iajs-348	178	15	.	.	PUNCT
iajs-348	179	1	proof	proof	NOUN
iajs-348	179	2	:	:	PUNCT
iajs-348	179	3	let	let	VERB
iajs-348	179	4	u	u	PRON
iajs-348	179	5	proper	proper	ADJ
iajs-348	179	6	submodule	submodule	NOUN
iajs-348	179	7	of	of	ADP
iajs-348	179	8	m	m	PROPN
iajs-348	179	9	and	and	CCONJ
iajs-348	179	10	u	u	PROPN
iajs-348	179	11	+	+	NOUN
iajs-348	179	12	m	m	NOUN
iajs-348	179	13	=	=	VERB
iajs-348	179	14	m.	m.	NOUN
iajs-348	179	15	since	since	SCONJ
iajs-348	179	16	u	u	PROPN
iajs-348	179	17	+	+	NOUN
iajs-348	179	18	m	m	VERB
iajs-348	179	19	=	=	VERB
iajs-348	179	20	m	m	PROPN
iajs-348	179	21	and	and	CCONJ
iajs-348	179	22	m	m	PRON
iajs-348	179	23	(	(	PUNCT
iajs-348	179	24	0	0	NUM
iajs-348	179	25	)	)	PUNCT
iajs-348	179	26	m	m	NOUN
iajs-348	179	27	=	=	NOUN
iajs-348	179	28	singular	singular	ADJ
iajs-348	179	29	and	and	CCONJ
iajs-348	179	30	u	u	NOUN
iajs-348	179	31	∩	∩	NOUN
iajs-348	179	32	m	m	VERB
iajs-348	179	33	=	=	PUNCT
iajs-348	179	34	u.	u.	NOUN
iajs-348	180	1	but	but	CCONJ
iajs-348	180	2	u	u	NOUN
iajs-348	180	3	δ	δ	PROPN
iajs-348	180	4			NOUN
iajs-348	180	5	m	m	VERB
iajs-348	180	6	,	,	PUNCT
iajs-348	180	7	since	since	SCONJ
iajs-348	180	8	m	m	PROPN
iajs-348	180	9	is	be	AUX
iajs-348	180	10	δ	δ	NOUN
iajs-348	180	11	-	-	PUNCT
iajs-348	180	12	hollow	hollow	ADJ
iajs-348	180	13	.	.	PUNCT
iajs-348	181	1	recall	recall	VERB
iajs-348	181	2	that	that	SCONJ
iajs-348	181	3	a	a	DET
iajs-348	181	4	submodule	submodule	NOUN
iajs-348	181	5	n	n	PROPN
iajs-348	181	6	of	of	ADP
iajs-348	181	7	a	a	DET
iajs-348	181	8	module	module	NOUN
iajs-348	181	9	m	m	VERB
iajs-348	181	10	is	be	AUX
iajs-348	181	11	called	call	VERB
iajs-348	181	12	δ	δ	PROPN
iajs-348	181	13	-	-	PUNCT
iajs-348	181	14	coclosed	coclose	VERB
iajs-348	181	15	in	in	ADP
iajs-348	181	16	m	m	PROPN
iajs-348	181	17	(	(	PUNCT
iajs-348	181	18	briefly	briefly	NOUN
iajs-348	181	19	n	n	CCONJ
iajs-348	181	20	scc	scc	PROPN
iajs-348	181	21	≤	≤	PROPN
iajs-348	181	22	m	m	PROPN
iajs-348	181	23	)	)	PUNCT
iajs-348	181	24	if	if	SCONJ
iajs-348	181	25	n	n	PRON
iajs-348	181	26	k	k	PROPN
iajs-348	181	27	is	be	AUX
iajs-348	181	28	singular	singular	ADJ
iajs-348	181	29	and	and	CCONJ
iajs-348	181	30	δ	δ	PROPN
iajs-348	182	1	n	n	PRON
iajs-348	183	1	m	m	VERB
iajs-348	183	2	k	k	NOUN
iajs-348	184	1	k	k	PROPN
iajs-348	184	2			PROPN
iajs-348	184	3	implies	imply	VERB
iajs-348	184	4	n	n	NOUN
iajs-348	184	5	=	=	SYM
iajs-348	184	6	k	k	PROPN
iajs-348	184	7	for	for	ADP
iajs-348	184	8	any	any	DET
iajs-348	184	9	submodule	submodule	NOUN
iajs-348	184	10	k	k	PROPN
iajs-348	184	11	of	of	ADP
iajs-348	184	12	m	m	AUX
iajs-348	184	13	contained	contain	VERB
iajs-348	184	14	in	in	ADP
iajs-348	184	15	n	n	CCONJ
iajs-348	184	16	,	,	PUNCT
iajs-348	184	17	[	[	X
iajs-348	184	18	12	12	NUM
iajs-348	184	19	]	]	PUNCT
iajs-348	184	20	.	.	PUNCT
iajs-348	185	1	proposition	proposition	NOUN
iajs-348	185	2	3.2	3.2	NUM
iajs-348	185	3	:	:	PUNCT
iajs-348	185	4	let	let	VERB
iajs-348	185	5	m	m	PRON
iajs-348	185	6	be	be	AUX
iajs-348	185	7	a	a	DET
iajs-348	185	8	module	module	NOUN
iajs-348	185	9	and	and	CCONJ
iajs-348	185	10	l	l	NOUN
iajs-348	185	11	be	be	AUX
iajs-348	185	12	a	a	DET
iajs-348	185	13	non	non	ADJ
iajs-348	185	14	zero	zero	NUM
iajs-348	185	15	submodule	submodule	NOUN
iajs-348	185	16	of	of	ADP
iajs-348	185	17	m	m	PRON
iajs-348	185	18	which	which	PRON
iajs-348	185	19	is	be	AUX
iajs-348	185	20	δ	δ	NOUN
iajs-348	185	21	-	-	NOUN
iajs-348	185	22	hollow	hollow	ADJ
iajs-348	185	23	,	,	PUNCT
iajs-348	185	24	then	then	ADV
iajs-348	185	25	either	either	CCONJ
iajs-348	185	26	l	l	NOUN
iajs-348	185	27	is	be	AUX
iajs-348	185	28	δ	δ	NOUN
iajs-348	185	29	-	-	ADJ
iajs-348	185	30	small	small	ADJ
iajs-348	185	31	submodule	submodule	NOUN
iajs-348	185	32	of	of	ADP
iajs-348	185	33	m	m	PROPN
iajs-348	185	34	or	or	CCONJ
iajs-348	185	35	a	a	DET
iajs-348	185	36	δ	δ	NOUN
iajs-348	185	37	-	-	PUNCT
iajs-348	185	38	coclosed	coclose	VERB
iajs-348	185	39	submodule	submodule	NOUN
iajs-348	185	40	of	of	ADP
iajs-348	185	41	m	m	PROPN
iajs-348	185	42	,	,	PUNCT
iajs-348	185	43	but	but	CCONJ
iajs-348	185	44	not	not	PART
iajs-348	185	45	both	both	PRON
iajs-348	185	46	.	.	PUNCT
iajs-348	186	1	proof	proof	NOUN
iajs-348	186	2	:	:	PUNCT
iajs-348	186	3	suppose	suppose	VERB
iajs-348	186	4	l	l	NOUN
iajs-348	186	5	is	be	AUX
iajs-348	186	6	not	not	PART
iajs-348	186	7	δ	δ	NOUN
iajs-348	186	8	-	-	PUNCT
iajs-348	186	9	coclosed	coclose	VERB
iajs-348	186	10	submodule	submodule	NOUN
iajs-348	186	11	of	of	ADP
iajs-348	186	12	m	m	PROPN
iajs-348	186	13	,	,	PUNCT
iajs-348	186	14	so	so	SCONJ
iajs-348	186	15	there	there	PRON
iajs-348	186	16	exists	exist	VERB
iajs-348	186	17	k	k	X
iajs-348	186	18	<	<	X
iajs-348	186	19	l	l	NOUN
iajs-348	186	20	such	such	ADJ
iajs-348	186	21	that	that	SCONJ
iajs-348	186	22	δ	δ	PROPN
iajs-348	186	23	l	l	NOUN
iajs-348	186	24	m	m	VERB
iajs-348	186	25	k	k	X
iajs-348	187	1	k	k	PROPN
iajs-348	188	1			PROPN
iajs-348	188	2	and	and	CCONJ
iajs-348	188	3	l	l	PROPN
iajs-348	188	4	k	k	PROPN
iajs-348	188	5	is	be	AUX
iajs-348	188	6	singular	singular	ADJ
iajs-348	188	7	.	.	PUNCT
iajs-348	189	1	but	but	CCONJ
iajs-348	189	2	l	l	NOUN
iajs-348	189	3	is	be	AUX
iajs-348	189	4	δ	δ	NOUN
iajs-348	189	5	-	-	ADJ
iajs-348	189	6	hollow	hollow	ADJ
iajs-348	189	7	and	and	CCONJ
iajs-348	189	8	k	k	X
iajs-348	189	9	<	<	X
iajs-348	189	10	l	l	NOUN
iajs-348	189	11	,	,	PUNCT
iajs-348	190	1	hence	hence	ADV
iajs-348	190	2	k	k	PROPN
iajs-348	190	3	δ	δ	PROPN
iajs-348	190	4			PROPN
iajs-348	190	5	l	l	PROPN
iajs-348	190	6	and	and	CCONJ
iajs-348	190	7	δ	δ	PROPN
iajs-348	190	8	l	l	NOUN
iajs-348	190	9	m	m	VERB
iajs-348	190	10	k	k	X
iajs-348	191	1	k	k	PROPN
iajs-348	192	1			PROPN
iajs-348	192	2	.	.	PUNCT
iajs-348	193	1	hence	hence	ADV
iajs-348	193	2	246	246	NUM
iajs-348	193	3	|	|	ADV
iajs-348	193	4	mathematics	mathematics	PROPN
iajs-348	193	5	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	NUM
iajs-348	193	6	�	�	NOUN
iajs-348	193	7	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	NUM
iajs-348	193	8	:	:	PUNCT
iajs-348	193	9	a@âig@ú‹	a@âig@ú‹	PROPN
iajs-348	194	1	©	©	PROPN
iajs-348	194	2	@ü‹127@@öü»€a@i2@‚b«@h2014	@ü‹127@@öü»€a@i2@‚b«@h2014	PROPN
iajs-348	194	3	ibn	ibn	PROPN
iajs-348	194	4	al	al	PROPN
iajs-348	194	5	-	-	PUNCT
iajs-348	194	6	haitham	haitham	PROPN
iajs-348	194	7	jour	jour	X
iajs-348	194	8	.	.	PROPN
iajs-348	194	9	for	for	ADP
iajs-348	194	10	pure	pure	ADJ
iajs-348	194	11	&	&	CCONJ
iajs-348	194	12	appl	appl	PROPN
iajs-348	194	13	.	.	PUNCT
iajs-348	195	1	sci	sci	PROPN
iajs-348	195	2	.	.	PUNCT
iajs-348	195	3	vol	vol	NOUN
iajs-348	195	4	.	.	PROPN
iajs-348	196	1	27	27	NUM
iajs-348	196	2	(	(	PUNCT
iajs-348	196	3	2	2	NUM
iajs-348	196	4	)	)	PUNCT
iajs-348	196	5	2014	2014	NUM
iajs-348	197	1	l	l	NOUN
iajs-348	197	2	δ	δ	PROPN
iajs-348	197	3			PROPN
iajs-348	197	4	m.	m.	NOUN
iajs-348	197	5	if	if	SCONJ
iajs-348	197	6	l	l	PROPN
iajs-348	197	7	δ	δ	PROPN
iajs-348	197	8	-	-	PUNCT
iajs-348	197	9	coclosed	coclose	VERB
iajs-348	197	10	submodule	submodule	NOUN
iajs-348	197	11	of	of	ADP
iajs-348	197	12	m	m	PROPN
iajs-348	197	13	,	,	PUNCT
iajs-348	197	14	and	and	CCONJ
iajs-348	197	15	suppose	suppose	VERB
iajs-348	197	16	that	that	SCONJ
iajs-348	197	17	l	l	PROPN
iajs-348	197	18	δ	δ	PROPN
iajs-348	197	19			NOUN
iajs-348	197	20	m	m	VERB
iajs-348	197	21	then	then	ADV
iajs-348	197	22	δ	δ	X
iajs-348	197	23	l	l	NOUN
iajs-348	197	24	m	m	VERB
iajs-348	197	25	m	m	VERB
iajs-348	197	26	(	(	PUNCT
iajs-348	197	27	0	0	NUM
iajs-348	197	28	)	)	PUNCT
iajs-348	197	29	(	(	PUNCT
iajs-348	197	30	0	0	NUM
iajs-348	197	31	)	)	PUNCT
iajs-348	198	1	=	=	NOUN
iajs-348	198	2			NOUN
iajs-348	198	3	,	,	PUNCT
iajs-348	198	4	and	and	CCONJ
iajs-348	198	5	hence	hence	ADV
iajs-348	198	6	l	l	NOUN
iajs-348	198	7	=	=	SYM
iajs-348	198	8	0	0	NUM
iajs-348	198	9	,	,	PUNCT
iajs-348	198	10	which	which	PRON
iajs-348	198	11	is	be	AUX
iajs-348	198	12	a	a	DET
iajs-348	198	13	contradiction	contradiction	NOUN
iajs-348	198	14	.	.	PUNCT
iajs-348	199	1	proposition	proposition	NOUN
iajs-348	199	2	3.3	3.3	NUM
iajs-348	199	3	:	:	PUNCT
iajs-348	199	4	every	every	DET
iajs-348	199	5	non	non	PROPN
iajs-348	199	6	zero	zero	NUM
iajs-348	199	7	δ	δ	PROPN
iajs-348	199	8	-	-	PUNCT
iajs-348	199	9	coclosed	coclose	VERB
iajs-348	199	10	submodule	submodule	NOUN
iajs-348	199	11	of	of	ADP
iajs-348	199	12	a	a	DET
iajs-348	199	13	δ	δ	NOUN
iajs-348	199	14	-	-	ADJ
iajs-348	199	15	hollow	hollow	ADJ
iajs-348	199	16	module	module	NOUN
iajs-348	199	17	is	be	AUX
iajs-348	199	18	δ	δ	NOUN
iajs-348	199	19	-	-	PUNCT
iajs-348	199	20	hollow	hollow	ADJ
iajs-348	199	21	.	.	PUNCT
iajs-348	200	1	proof	proof	NOUN
iajs-348	200	2	:	:	PUNCT
iajs-348	200	3	let	let	VERB
iajs-348	200	4	m	m	PRON
iajs-348	200	5	be	be	AUX
iajs-348	200	6	a	a	DET
iajs-348	200	7	δ	δ	NOUN
iajs-348	200	8	-	-	ADJ
iajs-348	200	9	hollow	hollow	ADJ
iajs-348	200	10	module	module	NOUN
iajs-348	200	11	and	and	CCONJ
iajs-348	200	12	let	let	VERB
iajs-348	200	13	n	n	PRON
iajs-348	200	14	be	be	AUX
iajs-348	200	15	a	a	DET
iajs-348	200	16	non	non	ADJ
iajs-348	200	17	zero	zero	NUM
iajs-348	200	18	submodule	submodule	NOUN
iajs-348	200	19	of	of	ADP
iajs-348	200	20	m	m	PRON
iajs-348	200	21	such	such	ADJ
iajs-348	200	22	that	that	SCONJ
iajs-348	200	23	n	n	NUM
iajs-348	200	24	δcc	δcc	NOUN
iajs-348	200	25	≤	≤	ADV
iajs-348	200	26	m	m	VERB
iajs-348	200	27	.	.	PUNCT
iajs-348	201	1	to	to	PART
iajs-348	201	2	show	show	VERB
iajs-348	201	3	that	that	SCONJ
iajs-348	201	4	n	n	PRON
iajs-348	201	5	is	be	AUX
iajs-348	201	6	δ	δ	NOUN
iajs-348	201	7	-	-	PUNCT
iajs-348	201	8	hollow	hollow	NOUN
iajs-348	201	9	.	.	PUNCT
iajs-348	202	1	let	let	VERB
iajs-348	202	2	l	l	NOUN
iajs-348	202	3	<	<	X
iajs-348	202	4	n	n	X
iajs-348	202	5	≤	≤	NOUN
iajs-348	202	6	m	m	VERB
iajs-348	202	7	then	then	ADV
iajs-348	202	8	l	l	NOUN
iajs-348	202	9	<	<	X
iajs-348	202	10	m	m	VERB
iajs-348	202	11	and	and	CCONJ
iajs-348	202	12	so	so	ADV
iajs-348	202	13	l	l	PROPN
iajs-348	202	14	δ	δ	PROPN
iajs-348	202	15			PROPN
iajs-348	202	16	m.	m.	NOUN
iajs-348	203	1	but	but	CCONJ
iajs-348	203	2	l	l	NOUN
iajs-348	203	3	<	<	X
iajs-348	203	4	n	n	PROPN
iajs-348	203	5	and	and	CCONJ
iajs-348	203	6	n	n	PROPN
iajs-348	203	7	is	be	AUX
iajs-348	203	8	δ	δ	PROPN
iajs-348	203	9	-	-	PUNCT
iajs-348	203	10	coclosed	coclose	VERB
iajs-348	203	11	implies	imply	VERB
iajs-348	203	12	that	that	SCONJ
iajs-348	203	13	l	l	PROPN
iajs-348	203	14	δ	δ	PROPN
iajs-348	203	15			NOUN
iajs-348	203	16	n	n	INTJ
iajs-348	203	17	by	by	ADP
iajs-348	203	18	[	[	X
iajs-348	203	19	12	12	NUM
iajs-348	203	20	,	,	PUNCT
iajs-348	203	21	corollary	corollary	ADJ
iajs-348	203	22	(	(	PUNCT
iajs-348	203	23	2.6	2.6	NUM
iajs-348	203	24	)	)	PUNCT
iajs-348	203	25	]	]	PUNCT
iajs-348	203	26	.	.	PUNCT
iajs-348	204	1	thus	thus	ADV
iajs-348	204	2	n	n	PRON
iajs-348	204	3	is	be	AUX
iajs-348	204	4	a	a	DET
iajs-348	204	5	δ	δ	NOUN
iajs-348	204	6	-	-	PUNCT
iajs-348	204	7	hollow	hollow	ADJ
iajs-348	204	8	module	module	NOUN
iajs-348	204	9	.	.	PUNCT
iajs-348	205	1	proposition	proposition	NOUN
iajs-348	205	2	3.4	3.4	NUM
iajs-348	205	3	:	:	PUNCT
iajs-348	205	4	let	let	VERB
iajs-348	205	5	m	m	PRON
iajs-348	205	6	be	be	AUX
iajs-348	205	7	a	a	DET
iajs-348	205	8	δ	δ	NOUN
iajs-348	205	9	-	-	ADJ
iajs-348	205	10	hollow	hollow	ADJ
iajs-348	205	11	module	module	NOUN
iajs-348	205	12	and	and	CCONJ
iajs-348	205	13	let	let	VERB
iajs-348	205	14	n	n	PRON
iajs-348	205	15	be	be	AUX
iajs-348	205	16	a	a	DET
iajs-348	205	17	direct	direct	ADJ
iajs-348	205	18	summand	summand	NOUN
iajs-348	205	19	of	of	ADP
iajs-348	205	20	m.	m.	NOUN
iajs-348	205	21	then	then	ADV
iajs-348	205	22	n	n	AUX
iajs-348	205	23	is	be	AUX
iajs-348	205	24	δ	δ	NOUN
iajs-348	205	25	-	-	PUNCT
iajs-348	205	26	hollow	hollow	ADJ
iajs-348	205	27	.	.	PUNCT
iajs-348	206	1	proof	proof	NOUN
iajs-348	206	2	:	:	PUNCT
iajs-348	206	3	let	let	VERB
iajs-348	206	4	a	a	PRON
iajs-348	206	5	be	be	AUX
iajs-348	206	6	a	a	DET
iajs-348	206	7	proper	proper	ADJ
iajs-348	206	8	submodule	submodule	NOUN
iajs-348	206	9	of	of	ADP
iajs-348	206	10	n.	n.	PROPN
iajs-348	206	11	since	since	SCONJ
iajs-348	206	12	m	m	PROPN
iajs-348	206	13	is	be	AUX
iajs-348	206	14	δ	δ	NOUN
iajs-348	206	15	-	-	ADJ
iajs-348	206	16	hollow	hollow	ADJ
iajs-348	206	17	,	,	PUNCT
iajs-348	206	18	a	a	DET
iajs-348	206	19	δ	δ	NOUN
iajs-348	206	20			NOUN
iajs-348	206	21	m	m	ADJ
iajs-348	206	22	and	and	CCONJ
iajs-348	206	23	by	by	ADP
iajs-348	206	24	proposition	proposition	NOUN
iajs-348	206	25	(	(	PUNCT
iajs-348	206	26	1.5	1.5	NUM
iajs-348	206	27	)	)	PUNCT
iajs-348	206	28	a	a	DET
iajs-348	206	29	δ	δ	PROPN
iajs-348	206	30			PROPN
iajs-348	206	31	n.	n.	NOUN
iajs-348	207	1	therefore	therefore	ADV
iajs-348	207	2	n	n	ADV
iajs-348	207	3	is	be	AUX
iajs-348	207	4	δ	δ	NOUN
iajs-348	207	5	-	-	PUNCT
iajs-348	207	6	hollow	hollow	ADJ
iajs-348	207	7	.	.	PUNCT
iajs-348	208	1	proposition	proposition	NOUN
iajs-348	208	2	3.5	3.5	NUM
iajs-348	208	3	:	:	PUNCT
iajs-348	208	4	let	let	VERB
iajs-348	208	5	m	m	PRON
iajs-348	208	6	be	be	AUX
iajs-348	208	7	a	a	DET
iajs-348	208	8	singular	singular	ADJ
iajs-348	208	9	r	r	NOUN
iajs-348	208	10	-	-	PUNCT
iajs-348	208	11	module	module	NOUN
iajs-348	208	12	,	,	PUNCT
iajs-348	208	13	let	let	VERB
iajs-348	208	14	n	n	PRON
iajs-348	208	15	δ	δ	PROPN
iajs-348	208	16			PROPN
iajs-348	208	17	m.	m.	NOUN
iajs-348	208	18	if	if	SCONJ
iajs-348	208	19	m	m	VERB
iajs-348	208	20	n	n	VERB
iajs-348	208	21	is	be	AUX
iajs-348	208	22	a	a	DET
iajs-348	208	23	finitely	finitely	ADV
iajs-348	208	24	generated	generate	VERB
iajs-348	208	25	r	r	NOUN
iajs-348	208	26	-	-	PUNCT
iajs-348	208	27	module	module	NOUN
iajs-348	208	28	,	,	PUNCT
iajs-348	208	29	then	then	ADV
iajs-348	208	30	m	m	NOUN
iajs-348	208	31	is	be	AUX
iajs-348	208	32	finitely	finitely	ADV
iajs-348	208	33	generated	generate	VERB
iajs-348	208	34	.	.	PUNCT
iajs-348	209	1	proof	proof	NOUN
iajs-348	209	2	:	:	PUNCT
iajs-348	209	3	as	as	SCONJ
iajs-348	209	4	m	m	PROPN
iajs-348	209	5	n	n	VERB
iajs-348	209	6	is	be	AUX
iajs-348	209	7	finitely	finitely	ADV
iajs-348	209	8	generated	generate	VERB
iajs-348	209	9	,	,	PUNCT
iajs-348	209	10	m	m	VERB
iajs-348	209	11	n	n	NOUN
iajs-348	209	12	=	=	SYM
iajs-348	209	13	r(x1	r(x1	ADJ
iajs-348	209	14	+	+	CCONJ
iajs-348	209	15	n	n	CCONJ
iajs-348	209	16	)	)	PUNCT
iajs-348	209	17	+	+	CCONJ
iajs-348	209	18	…	…	PUNCT
iajs-348	210	1	+	+	NUM
iajs-348	210	2	r(xn	r(xn	X
iajs-348	210	3	+	+	NOUN
iajs-348	210	4	n	n	CCONJ
iajs-348	210	5	)	)	PUNCT
iajs-348	210	6	for	for	ADP
iajs-348	210	7	some	some	DET
iajs-348	210	8	x1	x1	PROPN
iajs-348	210	9	,	,	PUNCT
iajs-348	210	10	…	…	PUNCT
iajs-348	210	11	,	,	PUNCT
iajs-348	210	12	xn	xn	PROPN
iajs-348	210	13	∈	∈	PROPN
iajs-348	210	14	m.	m.	NOUN
iajs-348	210	15	we	we	PRON
iajs-348	210	16	claim	claim	VERB
iajs-348	210	17	that	that	SCONJ
iajs-348	210	18	m	m	VERB
iajs-348	210	19	=	=	VERB
iajs-348	210	20	rx1	rx1	PROPN
iajs-348	210	21	+	+	CCONJ
iajs-348	210	22	…	…	PUNCT
iajs-348	211	1	+	+	NUM
iajs-348	211	2	rxn	rxn	NOUN
iajs-348	211	3	.	.	PUNCT
iajs-348	212	1	let	let	VERB
iajs-348	212	2	m	m	PRON
iajs-348	212	3	∈	∈	VERB
iajs-348	212	4	m	m	VERB
iajs-348	212	5	then	then	ADV
iajs-348	212	6	m	m	VERB
iajs-348	212	7	+	+	SYM
iajs-348	213	1	n	n	CCONJ
iajs-348	213	2	=	=	SYM
iajs-348	213	3	r1(x1	r1(x1	NOUN
iajs-348	213	4	+	+	NOUN
iajs-348	213	5	n	n	CCONJ
iajs-348	213	6	)	)	PUNCT
iajs-348	214	1	+	+	CCONJ
iajs-348	214	2	…	…	PUNCT
iajs-348	214	3	+	+	NUM
iajs-348	214	4	rn(xn	rn(xn	NOUN
iajs-348	214	5	+	+	CCONJ
iajs-348	214	6	n	n	CCONJ
iajs-348	214	7	)	)	PUNCT
iajs-348	214	8	,	,	PUNCT
iajs-348	214	9	so	so	SCONJ
iajs-348	214	10	that	that	SCONJ
iajs-348	214	11	m	m	VERB
iajs-348	214	12	–	–	PUNCT
iajs-348	214	13	r1x1	r1x1	X
iajs-348	214	14	–	–	PUNCT
iajs-348	214	15	…	…	PUNCT
iajs-348	214	16	–	–	PUNCT
iajs-348	214	17	rnxn	rnxn	PROPN
iajs-348	214	18	∈	∈	PROPN
iajs-348	214	19	n.	n.	NOUN
iajs-348	214	20	this	this	PRON
iajs-348	214	21	implies	imply	VERB
iajs-348	214	22	m	m	PROPN
iajs-348	214	23	=	=	SYM
iajs-348	214	24	r1x1	r1x1	X
iajs-348	214	25	+	+	CCONJ
iajs-348	214	26	…	…	PUNCT
iajs-348	214	27	+	+	CCONJ
iajs-348	214	28	rnxn	rnxn	ADJ
iajs-348	214	29	+	+	CCONJ
iajs-348	214	30	n	n	CCONJ
iajs-348	214	31	for	for	ADP
iajs-348	214	32	some	some	DET
iajs-348	214	33	n	n	PRON
iajs-348	214	34	∈	∈	NOUN
iajs-348	214	35	n.	n.	NOUN
iajs-348	214	36	thus	thus	ADV
iajs-348	214	37	m	m	VERB
iajs-348	214	38	=	=	NOUN
iajs-348	215	1	<	<	X
iajs-348	215	2	x1	x1	PROPN
iajs-348	215	3	,	,	PUNCT
iajs-348	215	4	…	…	PUNCT
iajs-348	215	5	,	,	PUNCT
iajs-348	215	6	xn	xn	PROPN
iajs-348	215	7	>	>	X
iajs-348	215	8	+	+	CCONJ
iajs-348	215	9	n.	n.	NOUN
iajs-348	216	1	but	but	CCONJ
iajs-348	216	2	m	m	PROPN
iajs-348	216	3	/	/	SYM
iajs-348	217	1	<	<	X
iajs-348	217	2	x1	x1	NUM
iajs-348	217	3	,	,	PUNCT
iajs-348	217	4	…	…	PUNCT
iajs-348	217	5	,	,	PUNCT
iajs-348	217	6	xn	xn	PROPN
iajs-348	217	7	>	>	X
iajs-348	217	8	is	be	AUX
iajs-348	217	9	singular	singular	ADJ
iajs-348	217	10	(	(	PUNCT
iajs-348	217	11	since	since	SCONJ
iajs-348	217	12	m	m	PROPN
iajs-348	217	13	is	be	AUX
iajs-348	217	14	singular	singular	ADJ
iajs-348	217	15	)	)	PUNCT
iajs-348	217	16	and	and	CCONJ
iajs-348	217	17	n	n	PRON
iajs-348	217	18	δ	δ	NOUN
iajs-348	217	19			VERB
iajs-348	217	20	m	m	VERB
iajs-348	217	21	by	by	ADP
iajs-348	217	22	hypothesis	hypothesis	NOUN
iajs-348	217	23	m	m	NOUN
iajs-348	217	24	=	=	PUNCT
iajs-348	218	1	<	<	X
iajs-348	218	2	x1	x1	PROPN
iajs-348	218	3	,	,	PUNCT
iajs-348	218	4	…	…	PUNCT
iajs-348	218	5	,	,	PUNCT
iajs-348	218	6	xn	xn	PROPN
iajs-348	218	7	>	>	X
iajs-348	218	8	.	.	PUNCT
iajs-348	219	1	corollary	corollary	ADJ
iajs-348	219	2	3.6	3.6	NUM
iajs-348	219	3	:	:	PUNCT
iajs-348	219	4	let	let	VERB
iajs-348	219	5	m	m	PRON
iajs-348	219	6	be	be	AUX
iajs-348	219	7	a	a	DET
iajs-348	219	8	singular	singular	ADJ
iajs-348	219	9	r	r	NOUN
iajs-348	219	10	-	-	PUNCT
iajs-348	219	11	module	module	NOUN
iajs-348	219	12	and	and	CCONJ
iajs-348	219	13	n	n	CCONJ
iajs-348	219	14	be	be	VERB
iajs-348	219	15	a	a	DET
iajs-348	219	16	proper	proper	ADJ
iajs-348	219	17	submodule	submodule	NOUN
iajs-348	219	18	of	of	ADP
iajs-348	219	19	module	module	NOUN
iajs-348	219	20	m.	m.	NOUN
iajs-348	219	21	if	if	SCONJ
iajs-348	219	22	m	m	NOUN
iajs-348	219	23	is	be	AUX
iajs-348	219	24	a	a	DET
iajs-348	219	25	δhollow	δhollow	NOUN
iajs-348	219	26	module	module	NOUN
iajs-348	219	27	and	and	CCONJ
iajs-348	219	28	m	m	NOUN
iajs-348	219	29	n	n	PRON
iajs-348	219	30	is	be	AUX
iajs-348	219	31	finitely	finitely	ADV
iajs-348	219	32	generated	generate	VERB
iajs-348	219	33	then	then	ADV
iajs-348	219	34	m	m	VERB
iajs-348	219	35	is	be	AUX
iajs-348	219	36	finitely	finitely	ADV
iajs-348	219	37	generated	generate	VERB
iajs-348	219	38	.	.	PUNCT
iajs-348	220	1	proof	proof	NOUN
iajs-348	220	2	:	:	PUNCT
iajs-348	220	3	it	it	PRON
iajs-348	220	4	is	be	AUX
iajs-348	220	5	clear	clear	ADJ
iajs-348	220	6	by	by	ADP
iajs-348	220	7	proposition	proposition	NOUN
iajs-348	220	8	(	(	PUNCT
iajs-348	220	9	3.5	3.5	NUM
iajs-348	220	10	)	)	PUNCT
iajs-348	220	11	.	.	PUNCT
iajs-348	221	1	corollary	corollary	NOUN
iajs-348	221	2	3.7	3.7	NUM
iajs-348	221	3	:	:	PUNCT
iajs-348	221	4	let	let	VERB
iajs-348	221	5	m	m	PRON
iajs-348	221	6	be	be	AUX
iajs-348	221	7	an	an	DET
iajs-348	221	8	r	r	NOUN
iajs-348	221	9	-	-	PUNCT
iajs-348	221	10	module	module	NOUN
iajs-348	221	11	with	with	ADP
iajs-348	221	12	every	every	DET
iajs-348	221	13	factor	factor	NOUN
iajs-348	221	14	of	of	ADP
iajs-348	221	15	m	m	PROPN
iajs-348	221	16	is	be	AUX
iajs-348	221	17	singular	singular	ADJ
iajs-348	221	18	and	and	CCONJ
iajs-348	221	19	let	let	VERB
iajs-348	221	20	n	n	PRON
iajs-348	221	21	<	<	X
iajs-348	221	22	m.	m.	NOUN
iajs-348	221	23	if	if	SCONJ
iajs-348	221	24	m	m	NOUN
iajs-348	221	25	is	be	AUX
iajs-348	221	26	a	a	DET
iajs-348	221	27	δhollow	δhollow	NOUN
iajs-348	221	28	and	and	CCONJ
iajs-348	221	29	m	m	AUX
iajs-348	221	30	n	n	PRON
iajs-348	221	31	finitely	finitely	ADV
iajs-348	221	32	generated	generate	VERB
iajs-348	221	33	,	,	PUNCT
iajs-348	221	34	then	then	ADV
iajs-348	221	35	m	m	VERB
iajs-348	221	36	is	be	AUX
iajs-348	221	37	finitely	finitely	ADV
iajs-348	221	38	generated	generate	VERB
iajs-348	221	39	.	.	PUNCT
iajs-348	222	1	proof	proof	NOUN
iajs-348	222	2	:	:	PUNCT
iajs-348	222	3	it	it	PRON
iajs-348	222	4	is	be	AUX
iajs-348	222	5	clear	clear	ADJ
iajs-348	222	6	by	by	ADP
iajs-348	222	7	proposition	proposition	NOUN
iajs-348	222	8	(	(	PUNCT
iajs-348	222	9	3.5	3.5	NUM
iajs-348	222	10	)	)	PUNCT
iajs-348	222	11	.	.	PUNCT
iajs-348	223	1	note	note	NOUN
iajs-348	223	2	:	:	PUNCT
iajs-348	223	3	let	let	VERB
iajs-348	223	4	m	m	PRON
iajs-348	223	5	be	be	AUX
iajs-348	223	6	an	an	DET
iajs-348	223	7	r	r	NOUN
iajs-348	223	8	-	-	PUNCT
iajs-348	223	9	module	module	NOUN
iajs-348	223	10	.	.	PUNCT
iajs-348	224	1	if	if	SCONJ
iajs-348	224	2	every	every	DET
iajs-348	224	3	non	non	ADJ
iajs-348	224	4	zero	zero	NUM
iajs-348	224	5	factor	factor	NOUN
iajs-348	224	6	of	of	ADP
iajs-348	224	7	m	m	PROPN
iajs-348	224	8	is	be	AUX
iajs-348	224	9	indecomposable	indecomposable	ADJ
iajs-348	224	10	,	,	PUNCT
iajs-348	224	11	then	then	ADV
iajs-348	224	12	by	by	ADP
iajs-348	224	13	[	[	X
iajs-348	224	14	13,41.4(1	13,41.4(1	NUM
iajs-348	224	15	)	)	PUNCT
iajs-348	224	16	]	]	PUNCT
iajs-348	225	1	m	m	VERB
iajs-348	225	2	is	be	AUX
iajs-348	225	3	hollow	hollow	ADJ
iajs-348	225	4	module	module	NOUN
iajs-348	225	5	,	,	PUNCT
iajs-348	225	6	which	which	PRON
iajs-348	225	7	implies	imply	VERB
iajs-348	225	8	that	that	SCONJ
iajs-348	225	9	m	m	PROPN
iajs-348	225	10	is	be	AUX
iajs-348	225	11	δ	δ	NOUN
iajs-348	225	12	-	-	PUNCT
iajs-348	225	13	hollow	hollow	NOUN
iajs-348	225	14	.	.	PUNCT
iajs-348	226	1	but	but	CCONJ
iajs-348	226	2	the	the	DET
iajs-348	226	3	converse	converse	NOUN
iajs-348	226	4	is	be	AUX
iajs-348	226	5	not	not	PART
iajs-348	226	6	247	247	NUM
iajs-348	226	7	|	|	NOUN
iajs-348	226	8	mathematics	mathematic	NOUN
iajs-348	226	9	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	NUM
iajs-348	226	10	�	�	NOUN
iajs-348	226	11	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	NUM
iajs-348	226	12	:	:	PUNCT
iajs-348	226	13	a@âig@ú‹	a@âig@ú‹	PROPN
iajs-348	227	1	©	©	PROPN
iajs-348	227	2	@ü‹127@@öü»€a@i2@‚b«@h2014	@ü‹127@@öü»€a@i2@‚b«@h2014	PROPN
iajs-348	227	3	ibn	ibn	PROPN
iajs-348	227	4	al	al	PROPN
iajs-348	227	5	-	-	PUNCT
iajs-348	227	6	haitham	haitham	PROPN
iajs-348	227	7	jour	jour	X
iajs-348	227	8	.	.	PROPN
iajs-348	227	9	for	for	ADP
iajs-348	227	10	pure	pure	ADJ
iajs-348	227	11	&	&	CCONJ
iajs-348	227	12	appl	appl	PROPN
iajs-348	227	13	.	.	PUNCT
iajs-348	228	1	sci	sci	PROPN
iajs-348	228	2	.	.	PUNCT
iajs-348	228	3	vol	vol	NOUN
iajs-348	228	4	.	.	PROPN
iajs-348	229	1	27	27	NUM
iajs-348	229	2	(	(	PUNCT
iajs-348	229	3	2	2	NUM
iajs-348	229	4	)	)	PUNCT
iajs-348	229	5	2014	2014	NUM
iajs-348	229	6	true	true	ADJ
iajs-348	229	7	,	,	PUNCT
iajs-348	229	8	for	for	ADP
iajs-348	229	9	example	example	NOUN
iajs-348	229	10	z6	z6	PROPN
iajs-348	229	11	as	as	SCONJ
iajs-348	229	12	z6	z6	NOUN
iajs-348	229	13	-	-	PUNCT
iajs-348	229	14	module	module	NOUN
iajs-348	229	15	is	be	AUX
iajs-348	229	16	δ	δ	NOUN
iajs-348	229	17	-	-	ADJ
iajs-348	229	18	hollow	hollow	ADJ
iajs-348	229	19	but	but	CCONJ
iajs-348	229	20	does	do	AUX
iajs-348	229	21	not	not	PART
iajs-348	229	22	imply	imply	VERB
iajs-348	229	23	that	that	SCONJ
iajs-348	229	24	every	every	DET
iajs-348	229	25	non	non	ADJ
iajs-348	229	26	zero	zero	NUM
iajs-348	229	27	factor	factor	NOUN
iajs-348	229	28	of	of	ADP
iajs-348	229	29	z6	z6	PROPN
iajs-348	229	30	is	be	AUX
iajs-348	229	31	indecomposable	indecomposable	ADJ
iajs-348	229	32	,	,	PUNCT
iajs-348	229	33	since	since	SCONJ
iajs-348	229	34	6	6	NUM
iajs-348	229	35	6	6	NUM
iajs-348	229	36	z	z	NOUN
iajs-348	229	37	z	z	NOUN
iajs-348	229	38	(	(	PUNCT
iajs-348	229	39	0	0	NUM
iajs-348	229	40	)	)	PUNCT
iajs-348	229	41			PRON
iajs-348	229	42	is	be	AUX
iajs-348	229	43	not	not	PART
iajs-348	229	44	indecomposable	indecomposable	ADJ
iajs-348	229	45	.	.	PUNCT
iajs-348	230	1	recall	recall	VERB
iajs-348	230	2	that	that	PRON
iajs-348	230	3	,	,	PUNCT
iajs-348	230	4	an	an	DET
iajs-348	230	5	r	r	NOUN
iajs-348	230	6	-	-	PUNCT
iajs-348	230	7	module	module	NOUN
iajs-348	230	8	.	.	PUNCT
iajs-348	231	1	m	m	PROPN
iajs-348	231	2	is	be	AUX
iajs-348	231	3	called	call	VERB
iajs-348	231	4	δ	δ	NOUN
iajs-348	231	5	-	-	PUNCT
iajs-348	231	6	lifting	lifting	NOUN
iajs-348	231	7	,	,	PUNCT
iajs-348	231	8	if	if	SCONJ
iajs-348	231	9	for	for	ADP
iajs-348	231	10	every	every	DET
iajs-348	231	11	submodule	submodule	NOUN
iajs-348	231	12	n	n	PROPN
iajs-348	231	13	of	of	ADP
iajs-348	231	14	m	m	PRON
iajs-348	231	15	,	,	PUNCT
iajs-348	231	16	there	there	PRON
iajs-348	231	17	exist	exist	VERB
iajs-348	231	18	submodules	submodule	NOUN
iajs-348	231	19	k	k	NOUN
iajs-348	231	20	,	,	PUNCT
iajs-348	231	21	k	k	PROPN
iajs-348	231	22	'	'	PUNCT
iajs-348	231	23	≤	≤	NUM
iajs-348	231	24	m	m	VERB
iajs-348	231	25	such	such	ADJ
iajs-348	231	26	that	that	SCONJ
iajs-348	231	27	m	m	VERB
iajs-348	231	28	=	=	SYM
iajs-348	231	29	k	k	PROPN
iajs-348	231	30	⊕	⊕	PROPN
iajs-348	231	31	k	k	NOUN
iajs-348	231	32	'	'	PUNCT
iajs-348	231	33	with	with	ADP
iajs-348	231	34	k	k	PROPN
iajs-348	231	35	≤	≤	PROPN
iajs-348	231	36	n	n	ADP
iajs-348	231	37	and	and	CCONJ
iajs-348	231	38	n	n	CCONJ
iajs-348	231	39	∩	∩	ADJ
iajs-348	231	40	k	k	X
iajs-348	231	41	'	'	PUNCT
iajs-348	231	42	δ	δ	PROPN
iajs-348	231	43			NOUN
iajs-348	231	44	m	m	VERB
iajs-348	231	45	,	,	PUNCT
iajs-348	231	46	[	[	X
iajs-348	231	47	8	8	NUM
iajs-348	231	48	]	]	PUNCT
iajs-348	231	49	.	.	PUNCT
iajs-348	232	1	it	it	PRON
iajs-348	232	2	is	be	AUX
iajs-348	232	3	clear	clear	ADJ
iajs-348	232	4	that	that	SCONJ
iajs-348	232	5	every	every	DET
iajs-348	232	6	lifting	lifting	NOUN
iajs-348	232	7	is	be	AUX
iajs-348	232	8	δ	δ	NOUN
iajs-348	232	9	-	-	PUNCT
iajs-348	232	10	lifting	lifting	NOUN
iajs-348	232	11	.	.	PUNCT
iajs-348	233	1	proposition	proposition	NOUN
iajs-348	233	2	3.8	3.8	NUM
iajs-348	233	3	:	:	PUNCT
iajs-348	233	4	every	every	DET
iajs-348	233	5	indecomposable	indecomposable	ADJ
iajs-348	233	6	and	and	CCONJ
iajs-348	233	7	δ	δ	NOUN
iajs-348	233	8	-	-	PUNCT
iajs-348	233	9	lifting	lift	VERB
iajs-348	233	10	module	module	NOUN
iajs-348	233	11	is	be	AUX
iajs-348	233	12	δ	δ	NOUN
iajs-348	233	13	-	-	PUNCT
iajs-348	233	14	hollow	hollow	ADJ
iajs-348	233	15	.	.	PUNCT
iajs-348	234	1	proof	proof	NOUN
iajs-348	234	2	:	:	PUNCT
iajs-348	234	3	let	let	VERB
iajs-348	234	4	m	m	PRON
iajs-348	234	5	be	be	AUX
iajs-348	234	6	indecomposable	indecomposable	ADJ
iajs-348	234	7	and	and	CCONJ
iajs-348	234	8	δ	δ	NOUN
iajs-348	234	9	-	-	PUNCT
iajs-348	234	10	lifting	lift	VERB
iajs-348	234	11	module	module	NOUN
iajs-348	234	12	and	and	CCONJ
iajs-348	234	13	n	n	CCONJ
iajs-348	234	14	be	be	VERB
iajs-348	234	15	a	a	DET
iajs-348	234	16	proper	proper	ADJ
iajs-348	234	17	submodule	submodule	NOUN
iajs-348	234	18	of	of	ADP
iajs-348	234	19	m.	m.	NOUN
iajs-348	234	20	since	since	SCONJ
iajs-348	234	21	m	m	PROPN
iajs-348	234	22	is	be	AUX
iajs-348	234	23	δ	δ	NOUN
iajs-348	234	24	-	-	PUNCT
iajs-348	234	25	lifting	lifting	NOUN
iajs-348	234	26	,	,	PUNCT
iajs-348	234	27	then	then	ADV
iajs-348	234	28	m=	m=	X
iajs-348	234	29	k	k	PROPN
iajs-348	234	30	⊕	⊕	PROPN
iajs-348	234	31	k	k	PROPN
iajs-348	234	32	'	'	PUNCT
iajs-348	234	33	where	where	SCONJ
iajs-348	234	34	k	k	PROPN
iajs-348	234	35	≤	≤	PROPN
iajs-348	234	36	n	n	CCONJ
iajs-348	234	37	and	and	CCONJ
iajs-348	234	38	n	n	CCONJ
iajs-348	234	39	∩	∩	ADJ
iajs-348	234	40	k	k	X
iajs-348	234	41	'	'	PUNCT
iajs-348	234	42	δ	δ	PROPN
iajs-348	234	43			NUM
iajs-348	234	44	k	k	NOUN
iajs-348	234	45	'	'	PUNCT
iajs-348	234	46	.	.	PUNCT
iajs-348	235	1	but	but	CCONJ
iajs-348	235	2	m	m	PROPN
iajs-348	235	3	is	be	AUX
iajs-348	235	4	indecomposable	indecomposable	ADJ
iajs-348	235	5	,	,	PUNCT
iajs-348	235	6	so	so	SCONJ
iajs-348	235	7	k	k	NOUN
iajs-348	235	8	'	'	PUNCT
iajs-348	235	9	=	=	SYM
iajs-348	235	10	0	0	NUM
iajs-348	235	11	and	and	CCONJ
iajs-348	235	12	m	m	PROPN
iajs-348	235	13	=	=	SYM
iajs-348	236	1	k.	k.	PROPN
iajs-348	236	2	then	then	ADV
iajs-348	236	3	m	m	VERB
iajs-348	236	4	≤	≤	ADJ
iajs-348	236	5	n	n	CCONJ
iajs-348	236	6	<	<	X
iajs-348	236	7	m	m	VERB
iajs-348	236	8	which	which	PRON
iajs-348	236	9	is	be	AUX
iajs-348	236	10	a	a	DET
iajs-348	236	11	contradiction	contradiction	NOUN
iajs-348	236	12	.	.	PUNCT
iajs-348	237	1	hence	hence	ADV
iajs-348	237	2	k	k	X
iajs-348	237	3	'	'	PUNCT
iajs-348	237	4	=	=	NOUN
iajs-348	237	5	m	m	PROPN
iajs-348	237	6	and	and	CCONJ
iajs-348	237	7	so	so	ADV
iajs-348	237	8	n	n	ADP
iajs-348	237	9	∩	∩	ADJ
iajs-348	237	10	k	k	NOUN
iajs-348	237	11	'	'	PUNCT
iajs-348	237	12	=	=	SYM
iajs-348	237	13	n	n	NOUN
iajs-348	237	14	∩	∩	X
iajs-348	237	15	m	m	NOUN
iajs-348	237	16	=	=	PUNCT
iajs-348	237	17	n.	n.	NOUN
iajs-348	237	18	thus	thus	ADV
iajs-348	237	19	n	n	PROPN
iajs-348	237	20	δ	δ	PROPN
iajs-348	237	21			PROPN
iajs-348	237	22	m.	m.	NOUN
iajs-348	237	23	it	it	PRON
iajs-348	237	24	follows	follow	VERB
iajs-348	237	25	that	that	SCONJ
iajs-348	237	26	m	m	PROPN
iajs-348	237	27	is	be	AUX
iajs-348	237	28	δ	δ	NOUN
iajs-348	237	29	-	-	PUNCT
iajs-348	237	30	hollow	hollow	ADJ
iajs-348	237	31	.	.	PUNCT
iajs-348	238	1	proposition	proposition	NOUN
iajs-348	238	2	3.9	3.9	NUM
iajs-348	238	3	:	:	PUNCT
iajs-348	238	4	every	every	DET
iajs-348	238	5	δ	δ	PROPN
iajs-348	238	6	-	-	ADJ
iajs-348	238	7	hollow	hollow	ADJ
iajs-348	238	8	module	module	NOUN
iajs-348	238	9	is	be	AUX
iajs-348	238	10	δ	δ	NOUN
iajs-348	238	11	-	-	PUNCT
iajs-348	238	12	lifting	lifting	NOUN
iajs-348	238	13	.	.	PUNCT
iajs-348	239	1	proof	proof	NOUN
iajs-348	239	2	:	:	PUNCT
iajs-348	239	3	let	let	VERB
iajs-348	239	4	n	n	PRON
iajs-348	239	5	be	be	AUX
iajs-348	239	6	a	a	DET
iajs-348	239	7	proper	proper	ADJ
iajs-348	239	8	submodule	submodule	NOUN
iajs-348	239	9	of	of	ADP
iajs-348	239	10	δ	δ	PROPN
iajs-348	239	11	-	-	PUNCT
iajs-348	239	12	hollow	hollow	ADJ
iajs-348	239	13	module	module	NOUN
iajs-348	239	14	m	m	NOUN
iajs-348	239	15	,	,	PUNCT
iajs-348	239	16	then	then	ADV
iajs-348	239	17	m	m	VERB
iajs-348	239	18	=	=	SYM
iajs-348	239	19	(	(	PUNCT
iajs-348	239	20	0	0	X
iajs-348	239	21	)	)	PUNCT
iajs-348	239	22	⊕	⊕	PROPN
iajs-348	239	23	m	m	PROPN
iajs-348	239	24	and	and	CCONJ
iajs-348	239	25	{	{	PUNCT
iajs-348	239	26	0	0	NUM
iajs-348	239	27	}	}	PUNCT
iajs-348	239	28	≤	≤	NOUN
iajs-348	239	29	n	n	CCONJ
iajs-348	239	30	where	where	SCONJ
iajs-348	239	31	n	n	X
iajs-348	239	32	∩	∩	X
iajs-348	239	33	m	m	NOUN
iajs-348	239	34	=	=	SYM
iajs-348	239	35	n	n	CCONJ
iajs-348	239	36	δ	δ	PROPN
iajs-348	239	37			PROPN
iajs-348	239	38	m.	m.	NOUN
iajs-348	239	39	thus	thus	ADV
iajs-348	239	40	m	m	VERB
iajs-348	239	41	is	be	AUX
iajs-348	239	42	δ	δ	NOUN
iajs-348	239	43	-	-	PUNCT
iajs-348	239	44	lifting	lifting	NOUN
iajs-348	239	45	.	.	PUNCT
iajs-348	240	1	proposition	proposition	NOUN
iajs-348	240	2	3.10	3.10	NUM
iajs-348	240	3	:	:	PUNCT
iajs-348	240	4	let	let	VERB
iajs-348	240	5	m	m	PRON
iajs-348	240	6	be	be	AUX
iajs-348	240	7	an	an	DET
iajs-348	240	8	r	r	NOUN
iajs-348	240	9	-	-	PUNCT
iajs-348	240	10	module	module	NOUN
iajs-348	240	11	.	.	PUNCT
iajs-348	241	1	then	then	ADV
iajs-348	241	2	the	the	DET
iajs-348	241	3	following	follow	VERB
iajs-348	241	4	statements	statement	NOUN
iajs-348	241	5	are	be	AUX
iajs-348	241	6	equivalent	equivalent	ADJ
iajs-348	241	7	:	:	PUNCT
iajs-348	241	8	(	(	PUNCT
iajs-348	241	9	1	1	X
iajs-348	241	10	)	)	PUNCT
iajs-348	241	11	m	m	VERB
iajs-348	241	12	is	be	AUX
iajs-348	241	13	indecomposable	indecomposable	ADJ
iajs-348	241	14	and	and	CCONJ
iajs-348	241	15	δ	δ	NOUN
iajs-348	241	16	-	-	PUNCT
iajs-348	241	17	lifting	lifting	NOUN
iajs-348	241	18	.	.	PUNCT
iajs-348	242	1	(	(	PUNCT
iajs-348	242	2	2	2	X
iajs-348	242	3	)	)	PUNCT
iajs-348	242	4	m	m	VERB
iajs-348	242	5	is	be	AUX
iajs-348	242	6	δ	δ	NOUN
iajs-348	242	7	-	-	ADJ
iajs-348	242	8	hollow	hollow	ADJ
iajs-348	242	9	and	and	CCONJ
iajs-348	242	10	indecomposable	indecomposable	ADJ
iajs-348	242	11	.	.	PUNCT
iajs-348	243	1	(	(	PUNCT
iajs-348	243	2	3	3	X
iajs-348	243	3	)	)	PUNCT
iajs-348	243	4	m	m	VERB
iajs-348	243	5	is	be	AUX
iajs-348	243	6	hollow	hollow	ADJ
iajs-348	243	7	.	.	PUNCT
iajs-348	244	1	proof	proof	NOUN
iajs-348	244	2	:	:	PUNCT
iajs-348	244	3	(	(	PUNCT
iajs-348	244	4	1	1	X
iajs-348	244	5	)	)	PUNCT
iajs-348	244	6	⇒	⇒	NOUN
iajs-348	244	7	(	(	PUNCT
iajs-348	244	8	2	2	X
iajs-348	244	9	)	)	PUNCT
iajs-348	244	10	let	let	VERB
iajs-348	244	11	n	n	PRON
iajs-348	244	12	<	<	X
iajs-348	244	13	m.	m.	NOUN
iajs-348	244	14	since	since	SCONJ
iajs-348	244	15	m	m	PROPN
iajs-348	244	16	is	be	AUX
iajs-348	244	17	δ	δ	NOUN
iajs-348	244	18	-	-	PUNCT
iajs-348	244	19	lifting	lifting	NOUN
iajs-348	244	20	then	then	ADV
iajs-348	244	21	m	m	VERB
iajs-348	244	22	=	=	SYM
iajs-348	244	23	k	k	PROPN
iajs-348	244	24	⊕	⊕	PROPN
iajs-348	245	1	k	k	NOUN
iajs-348	245	2	'	'	PUNCT
iajs-348	245	3	with	with	ADP
iajs-348	245	4	k	k	PROPN
iajs-348	245	5	≤	≤	PROPN
iajs-348	245	6	n	n	ADP
iajs-348	245	7	and	and	CCONJ
iajs-348	245	8	n	n	CCONJ
iajs-348	245	9	∩	∩	ADJ
iajs-348	245	10	k	k	X
iajs-348	245	11	'	'	PART
iajs-348	245	12	δ	δ	PROPN
iajs-348	245	13			PROPN
iajs-348	245	14	m.	m.	NOUN
iajs-348	245	15	as	as	SCONJ
iajs-348	245	16	m	m	PROPN
iajs-348	245	17	is	be	AUX
iajs-348	245	18	indecomposable	indecomposable	ADJ
iajs-348	245	19	,	,	PUNCT
iajs-348	245	20	then	then	ADV
iajs-348	245	21	k	k	X
iajs-348	245	22	'	'	PUNCT
iajs-348	245	23	=	=	SYM
iajs-348	245	24	0	0	NUM
iajs-348	245	25	or	or	CCONJ
iajs-348	245	26	k	k	X
iajs-348	246	1	=	=	NOUN
iajs-348	246	2	0	0	PROPN
iajs-348	246	3	.	.	PUNCT
iajs-348	247	1	if	if	SCONJ
iajs-348	247	2	k	k	NOUN
iajs-348	247	3	'	'	PUNCT
iajs-348	247	4	=	=	SYM
iajs-348	247	5	0	0	NUM
iajs-348	247	6	,	,	PUNCT
iajs-348	247	7	then	then	ADV
iajs-348	247	8	k	k	PROPN
iajs-348	247	9	=	=	PUNCT
iajs-348	247	10	m	m	PROPN
iajs-348	247	11	,	,	PUNCT
iajs-348	247	12	which	which	PRON
iajs-348	247	13	implies	imply	VERB
iajs-348	247	14	that	that	SCONJ
iajs-348	247	15	m	m	VERB
iajs-348	247	16	≤	≤	ADJ
iajs-348	247	17	n.	n.	NOUN
iajs-348	247	18	that	that	PRON
iajs-348	247	19	is	be	AUX
iajs-348	247	20	a	a	DET
iajs-348	247	21	contradiction	contradiction	NOUN
iajs-348	247	22	.	.	PUNCT
iajs-348	248	1	so	so	ADV
iajs-348	248	2	k	k	X
iajs-348	248	3	=	=	SYM
iajs-348	248	4	0	0	NUM
iajs-348	248	5	,	,	PUNCT
iajs-348	248	6	hence	hence	ADV
iajs-348	248	7	k	k	NOUN
iajs-348	248	8	'	'	PUNCT
iajs-348	248	9	=	=	NOUN
iajs-348	248	10	m	m	PROPN
iajs-348	248	11	and	and	CCONJ
iajs-348	248	12	n	n	CCONJ
iajs-348	248	13	∩	∩	ADJ
iajs-348	248	14	k'=n	k'=n	NOUN
iajs-348	248	15	∩	∩	NOUN
iajs-348	248	16	m	m	PROPN
iajs-348	248	17	=	=	PROPN
iajs-348	248	18	n	n	PRON
iajs-348	248	19	δ	δ	NOUN
iajs-348	248	20			PROPN
iajs-348	248	21	m.	m.	NOUN
iajs-348	248	22	thus	thus	ADV
iajs-348	248	23	m	m	VERB
iajs-348	248	24	is	be	AUX
iajs-348	248	25	δ	δ	NOUN
iajs-348	248	26	-	-	PUNCT
iajs-348	248	27	hollow	hollow	NOUN
iajs-348	248	28	.	.	PUNCT
iajs-348	249	1	(	(	PUNCT
iajs-348	249	2	2	2	X
iajs-348	249	3	)	)	PUNCT
iajs-348	249	4	⇒	⇒	NOUN
iajs-348	249	5	(	(	PUNCT
iajs-348	249	6	3	3	X
iajs-348	249	7	)	)	PUNCT
iajs-348	249	8	it	it	PRON
iajs-348	249	9	is	be	AUX
iajs-348	249	10	clear	clear	ADJ
iajs-348	249	11	by	by	ADP
iajs-348	249	12	proposition	proposition	NOUN
iajs-348	249	13	(	(	PUNCT
iajs-348	249	14	2.2(1	2.2(1	NUM
iajs-348	249	15	)	)	PUNCT
iajs-348	249	16	)	)	PUNCT
iajs-348	249	17	.	.	PUNCT
iajs-348	250	1	(	(	PUNCT
iajs-348	250	2	3	3	X
iajs-348	250	3	)	)	PUNCT
iajs-348	250	4	⇒	⇒	NOUN
iajs-348	250	5	(	(	PUNCT
iajs-348	250	6	1	1	X
iajs-348	250	7	)	)	PUNCT
iajs-348	250	8	if	if	SCONJ
iajs-348	250	9	m	m	NOUN
iajs-348	250	10	is	be	AUX
iajs-348	250	11	hollow	hollow	ADJ
iajs-348	250	12	,	,	PUNCT
iajs-348	250	13	then	then	ADV
iajs-348	250	14	m	m	VERB
iajs-348	250	15	is	be	AUX
iajs-348	250	16	indecomposable	indecomposable	ADJ
iajs-348	250	17	by	by	ADP
iajs-348	250	18	[	[	X
iajs-348	250	19	11,proposition	11,proposition	NUM
iajs-348	250	20	1.3.9	1.3.9	NUM
iajs-348	250	21	]	]	PUNCT
iajs-348	250	22	.	.	PUNCT
iajs-348	251	1	but	but	CCONJ
iajs-348	251	2	m	m	PROPN
iajs-348	251	3	is	be	AUX
iajs-348	251	4	hollow	hollow	ADJ
iajs-348	251	5	,	,	PUNCT
iajs-348	251	6	hence	hence	ADV
iajs-348	251	7	m	m	VERB
iajs-348	251	8	is	be	AUX
iajs-348	251	9	lifting	lift	VERB
iajs-348	251	10	by	by	ADP
iajs-348	251	11	[	[	X
iajs-348	251	12	11	11	NUM
iajs-348	251	13	,	,	PUNCT
iajs-348	251	14	proposition	proposition	NOUN
iajs-348	251	15	1.3.16	1.3.16	NUM
iajs-348	251	16	]	]	PUNCT
iajs-348	251	17	,	,	PUNCT
iajs-348	251	18	which	which	PRON
iajs-348	251	19	implies	imply	VERB
iajs-348	251	20	that	that	SCONJ
iajs-348	251	21	m	m	PROPN
iajs-348	251	22	is	be	AUX
iajs-348	251	23	δ	δ	NOUN
iajs-348	251	24	-	-	PUNCT
iajs-348	251	25	lifting	lifting	NOUN
iajs-348	251	26	.	.	PUNCT
iajs-348	252	1	the	the	DET
iajs-348	252	2	following	follow	VERB
iajs-348	252	3	is	be	AUX
iajs-348	252	4	needed	need	VERB
iajs-348	252	5	for	for	ADP
iajs-348	252	6	the	the	DET
iajs-348	252	7	next	next	ADJ
iajs-348	252	8	result	result	NOUN
iajs-348	252	9	.	.	PUNCT
iajs-348	253	1	definition	definition	NOUN
iajs-348	253	2	3.11	3.11	NUM
iajs-348	253	3	:	:	PUNCT
iajs-348	254	1	[	[	X
iajs-348	254	2	2	2	X
iajs-348	254	3	]	]	PUNCT
iajs-348	254	4	a	a	DET
iajs-348	254	5	pair	pair	NOUN
iajs-348	254	6	(	(	PUNCT
iajs-348	254	7	p	p	X
iajs-348	254	8	,	,	PUNCT
iajs-348	254	9	f	f	PROPN
iajs-348	254	10	)	)	PUNCT
iajs-348	254	11	is	be	AUX
iajs-348	254	12	a	a	DET
iajs-348	254	13	δ	δ	NOUN
iajs-348	254	14	-	-	PUNCT
iajs-348	254	15	projective	projective	ADJ
iajs-348	254	16	cover	cover	NOUN
iajs-348	254	17	of	of	ADP
iajs-348	254	18	an	an	DET
iajs-348	254	19	r	r	NOUN
iajs-348	254	20	-	-	PUNCT
iajs-348	254	21	module	module	NOUN
iajs-348	254	22	m	m	NOUN
iajs-348	254	23	,	,	PUNCT
iajs-348	254	24	if	if	SCONJ
iajs-348	254	25	p	p	NOUN
iajs-348	254	26	is	be	AUX
iajs-348	254	27	a	a	DET
iajs-348	254	28	projective	projective	ADJ
iajs-348	254	29	module	module	NOUN
iajs-348	254	30	and	and	CCONJ
iajs-348	254	31	f	f	NOUN
iajs-348	254	32	:	:	PUNCT
iajs-348	254	33	p→m	p→m	PROPN
iajs-348	254	34	is	be	AUX
iajs-348	254	35	an	an	DET
iajs-348	254	36	epimorphism	epimorphism	NOUN
iajs-348	254	37	and	and	CCONJ
iajs-348	255	1	ker	ker	NOUN
iajs-348	255	2	f	f	PROPN
iajs-348	255	3	δ	δ	PROPN
iajs-348	255	4			PROPN
iajs-348	255	5	p.	p.	NOUN
iajs-348	255	6	proposition	proposition	NOUN
iajs-348	256	1	3.12	3.12	NUM
iajs-348	256	2	:	:	PUNCT
iajs-348	256	3	let	let	VERB
iajs-348	256	4	(	(	PUNCT
iajs-348	256	5	p	p	X
iajs-348	256	6	,	,	PUNCT
iajs-348	256	7	f	f	PROPN
iajs-348	256	8	)	)	PUNCT
iajs-348	256	9	be	be	AUX
iajs-348	256	10	δ	δ	PROPN
iajs-348	256	11	-	-	PUNCT
iajs-348	256	12	projective	projective	ADJ
iajs-348	256	13	cover	cover	NOUN
iajs-348	256	14	of	of	ADP
iajs-348	256	15	m.	m.	NOUN
iajs-348	256	16	then	then	ADV
iajs-348	256	17	m	m	VERB
iajs-348	256	18	is	be	AUX
iajs-348	256	19	δ	δ	NOUN
iajs-348	256	20	-	-	ADJ
iajs-348	256	21	hollow	hollow	ADJ
iajs-348	256	22	if	if	SCONJ
iajs-348	256	23	and	and	CCONJ
iajs-348	256	24	only	only	ADV
iajs-348	256	25	if	if	SCONJ
iajs-348	256	26	p	p	NOUN
iajs-348	256	27	is	be	AUX
iajs-348	256	28	δ	δ	NOUN
iajs-348	256	29	-	-	PUNCT
iajs-348	256	30	hollow	hollow	ADJ
iajs-348	256	31	.	.	PUNCT
iajs-348	257	1	proof	proof	NOUN
iajs-348	257	2	:	:	PUNCT
iajs-348	257	3	248	248	NUM
iajs-348	257	4	|	|	ADV
iajs-348	257	5	mathematics	mathematics	PROPN
iajs-348	257	6	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	NUM
iajs-348	257	7	�	�	NOUN
iajs-348	257	8	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	NUM
iajs-348	257	9	:	:	PUNCT
iajs-348	257	10	a@âig@ú‹	a@âig@ú‹	PROPN
iajs-348	257	11	©	©	PROPN
iajs-348	257	12	@ü‹127@@öü»€a@i2@‚b«@h2014	@ü‹127@@öü»€a@i2@‚b«@h2014	PROPN
iajs-348	257	13	ibn	ibn	PROPN
iajs-348	257	14	al	al	PROPN
iajs-348	257	15	-	-	PUNCT
iajs-348	257	16	haitham	haitham	PROPN
iajs-348	257	17	jour	jour	X
iajs-348	257	18	.	.	PROPN
iajs-348	257	19	for	for	ADP
iajs-348	257	20	pure	pure	ADJ
iajs-348	257	21	&	&	CCONJ
iajs-348	257	22	appl	appl	PROPN
iajs-348	257	23	.	.	PUNCT
iajs-348	258	1	sci	sci	PROPN
iajs-348	258	2	.	.	PUNCT
iajs-348	258	3	vol	vol	NOUN
iajs-348	258	4	.	.	PROPN
iajs-348	259	1	27	27	NUM
iajs-348	259	2	(	(	PUNCT
iajs-348	259	3	2	2	NUM
iajs-348	259	4	)	)	PUNCT
iajs-348	259	5	2014	2014	NUM
iajs-348	259	6	(	(	PUNCT
iajs-348	259	7	⇒	⇒	NOUN
iajs-348	259	8	)	)	PUNCT
iajs-348	259	9	since	since	SCONJ
iajs-348	259	10	m	m	PROPN
iajs-348	259	11	is	be	AUX
iajs-348	259	12	δ	δ	NOUN
iajs-348	259	13	-	-	ADJ
iajs-348	259	14	hollow	hollow	ADJ
iajs-348	259	15	module	module	NOUN
iajs-348	259	16	and	and	CCONJ
iajs-348	259	17	since	since	SCONJ
iajs-348	259	18	f	f	X
iajs-348	259	19	:	:	PUNCT
iajs-348	259	20	p→m	p→m	PROPN
iajs-348	259	21	is	be	AUX
iajs-348	259	22	an	an	DET
iajs-348	259	23	epimorphism	epimorphism	NOUN
iajs-348	259	24	,	,	PUNCT
iajs-348	259	25	then	then	ADV
iajs-348	259	26	p	p	PROPN
iajs-348	259	27	m	m	PROPN
iajs-348	259	28	ker	ker	PROPN
iajs-348	260	1	f	f	PROPN
iajs-348	260	2			ADV
iajs-348	260	3	by	by	ADP
iajs-348	260	4	the	the	DET
iajs-348	260	5	first	first	ADJ
iajs-348	260	6	fundamental	fundamental	ADJ
iajs-348	260	7	theorem	theorem	NOUN
iajs-348	260	8	and	and	CCONJ
iajs-348	261	1	hence	hence	ADV
iajs-348	261	2	p	p	X
iajs-348	261	3	ker	ker	PROPN
iajs-348	262	1	f	f	X
iajs-348	262	2	is	be	AUX
iajs-348	262	3	δ	δ	NOUN
iajs-348	262	4	-	-	PUNCT
iajs-348	262	5	hollow	hollow	NOUN
iajs-348	262	6	.	.	PUNCT
iajs-348	263	1	but	but	CCONJ
iajs-348	263	2	p	p	PRON
iajs-348	263	3	ker	ker	X
iajs-348	263	4	f	f	X
iajs-348	263	5	is	be	AUX
iajs-348	263	6	δ	δ	NOUN
iajs-348	263	7	-	-	ADJ
iajs-348	263	8	hollow	hollow	ADJ
iajs-348	263	9	and	and	CCONJ
iajs-348	264	1	ker	ker	NOUN
iajs-348	264	2	f	f	PROPN
iajs-348	264	3	δ	δ	PROPN
iajs-348	265	1			PROPN
iajs-348	265	2	p.	p.	NOUN
iajs-348	265	3	so	so	ADV
iajs-348	265	4	by	by	ADP
iajs-348	265	5	proposition	proposition	NOUN
iajs-348	265	6	(	(	PUNCT
iajs-348	265	7	2.6	2.6	NUM
iajs-348	265	8	)	)	PUNCT
iajs-348	265	9	,	,	PUNCT
iajs-348	265	10	p	p	PROPN
iajs-348	265	11	is	be	AUX
iajs-348	265	12	δ	δ	NOUN
iajs-348	265	13	-	-	PUNCT
iajs-348	265	14	hollow	hollow	NOUN
iajs-348	265	15	.	.	PUNCT
iajs-348	266	1	(	(	PUNCT
iajs-348	266	2	⇐	⇐	NOUN
iajs-348	266	3	)	)	PUNCT
iajs-348	266	4	let	let	VERB
iajs-348	266	5	n	n	PRON
iajs-348	266	6	be	be	AUX
iajs-348	266	7	a	a	DET
iajs-348	266	8	proper	proper	ADJ
iajs-348	266	9	submodule	submodule	NOUN
iajs-348	266	10	of	of	ADP
iajs-348	266	11	m	m	PROPN
iajs-348	266	12	,	,	PUNCT
iajs-348	266	13	then	then	ADV
iajs-348	266	14	f	f	PROPN
iajs-348	266	15	–	–	PUNCT
iajs-348	266	16	1(n	1(n	NUM
iajs-348	266	17	)	)	PUNCT
iajs-348	266	18	is	be	AUX
iajs-348	266	19	a	a	DET
iajs-348	266	20	proper	proper	ADJ
iajs-348	266	21	submodule	submodule	NOUN
iajs-348	266	22	of	of	ADP
iajs-348	266	23	p.	p.	NOUN
iajs-348	266	24	since	since	SCONJ
iajs-348	266	25	p	p	PROPN
iajs-348	266	26	is	be	AUX
iajs-348	266	27	δ	δ	NOUN
iajs-348	266	28	-	-	NOUN
iajs-348	266	29	hollow	hollow	ADJ
iajs-348	266	30	,	,	PUNCT
iajs-348	266	31	then	then	ADV
iajs-348	266	32	f	f	PROPN
iajs-348	266	33	–	–	PUNCT
iajs-348	266	34	1(n	1(n	NUM
iajs-348	266	35	)	)	PUNCT
iajs-348	266	36	δ	δ	PROPN
iajs-348	266	37			NUM
iajs-348	266	38	p	p	X
iajs-348	266	39	,	,	PUNCT
iajs-348	266	40	and	and	CCONJ
iajs-348	266	41	hence	hence	ADV
iajs-348	266	42	f	f	PROPN
iajs-348	266	43	f	f	PROPN
iajs-348	266	44	–	–	PUNCT
iajs-348	266	45	1(n	1(n	NUM
iajs-348	266	46	)	)	PUNCT
iajs-348	266	47	δ	δ	PROPN
iajs-348	266	48			PRON
iajs-348	266	49	m	m	VERB
iajs-348	266	50	by	by	ADP
iajs-348	266	51	proposition	proposition	NOUN
iajs-348	266	52	(	(	PUNCT
iajs-348	266	53	1.3(4	1.3(4	NUM
iajs-348	266	54	)	)	PUNCT
iajs-348	266	55	)	)	PUNCT
iajs-348	266	56	.	.	PUNCT
iajs-348	267	1	but	but	CCONJ
iajs-348	267	2	f	f	PROPN
iajs-348	267	3	f	f	PROPN
iajs-348	267	4	–	–	PUNCT
iajs-348	267	5	1(n	1(n	NUM
iajs-348	267	6	)	)	PUNCT
iajs-348	267	7	=	=	SYM
iajs-348	268	1	n	n	CCONJ
iajs-348	268	2	,	,	PUNCT
iajs-348	268	3	so	so	ADV
iajs-348	268	4	n	n	ADP
iajs-348	268	5	δ	δ	PROPN
iajs-348	268	6			PROPN
iajs-348	268	7	m.	m.	NOUN
iajs-348	268	8	thus	thus	ADV
iajs-348	268	9	m	m	VERB
iajs-348	268	10	is	be	AUX
iajs-348	268	11	δ	δ	NOUN
iajs-348	268	12	-	-	PUNCT
iajs-348	268	13	hollow	hollow	NOUN
iajs-348	268	14	.	.	PUNCT
iajs-348	269	1	references	reference	NOUN
iajs-348	269	2	1	1	NUM
iajs-348	269	3	.	.	PUNCT
iajs-348	269	4	fleury	fleury	PROPN
iajs-348	269	5	,	,	PUNCT
iajs-348	269	6	p.	p.	NOUN
iajs-348	269	7	(	(	PUNCT
iajs-348	269	8	1974	1974	NUM
iajs-348	269	9	)	)	PUNCT
iajs-348	269	10	,	,	PUNCT
iajs-348	269	11	hollow	hollow	ADJ
iajs-348	269	12	modules	module	NOUN
iajs-348	269	13	and	and	CCONJ
iajs-348	269	14	local	local	ADJ
iajs-348	269	15	endomorphism	endomorphism	NOUN
iajs-348	269	16	rings	ring	NOUN
iajs-348	269	17	,	,	PUNCT
iajs-348	269	18	pac.j.math	pac.j.math	NOUN
iajs-348	269	19	.	.	PROPN
iajs-348	269	20	,	,	PUNCT
iajs-348	269	21	53	53	NUM
iajs-348	269	22	,	,	PUNCT
iajs-348	269	23	379	379	NUM
iajs-348	269	24	-	-	SYM
iajs-348	269	25	385	385	NUM
iajs-348	269	26	.	.	PUNCT
iajs-348	270	1	2	2	NUM
iajs-348	270	2	.	.	X
iajs-348	270	3	zhou	zhou	PROPN
iajs-348	270	4	,	,	PUNCT
iajs-348	270	5	y.q	y.q	PROPN
iajs-348	270	6	.	.	PUNCT
iajs-348	271	1	(	(	PUNCT
iajs-348	271	2	2000)generalizations	2000)generalization	NOUN
iajs-348	271	3	of	of	ADP
iajs-348	271	4	perfect	perfect	ADJ
iajs-348	271	5	semiperfect	semiperfect	NOUN
iajs-348	271	6	and	and	CCONJ
iajs-348	271	7	semiregular	semiregular	NOUN
iajs-348	271	8	rings	ring	NOUN
iajs-348	271	9	,	,	PUNCT
iajs-348	271	10	algebra	algebra	NOUN
iajs-348	271	11	collog	collog	NOUN
iajs-348	271	12	,	,	PUNCT
iajs-348	271	13	7	7	NUM
iajs-348	271	14	,	,	PUNCT
iajs-348	271	15	305	305	NUM
iajs-348	271	16	-	-	SYM
iajs-348	271	17	318	318	NUM
iajs-348	271	18	.	.	PUNCT
iajs-348	272	1	3	3	X
iajs-348	272	2	.	.	X
iajs-348	273	1	goodearl	goodearl	PROPN
iajs-348	273	2	,	,	PUNCT
iajs-348	273	3	k.r	k.r	PROPN
iajs-348	273	4	.	.	PROPN
iajs-348	273	5	(	(	PUNCT
iajs-348	273	6	1976	1976	NUM
iajs-348	273	7	)	)	PUNCT
iajs-348	273	8	,	,	PUNCT
iajs-348	273	9	ring	ring	NOUN
iajs-348	273	10	theory	theory	NOUN
iajs-348	273	11	,	,	PUNCT
iajs-348	273	12	nonsingular	nonsingular	ADJ
iajs-348	273	13	rings	ring	NOUN
iajs-348	273	14	and	and	CCONJ
iajs-348	273	15	modules	module	NOUN
iajs-348	273	16	,	,	PUNCT
iajs-348	273	17	marcel	marcel	PROPN
iajs-348	273	18	dekkel	dekkel	PROPN
iajs-348	273	19	.	.	PUNCT
iajs-348	274	1	4	4	X
iajs-348	274	2	.	.	X
iajs-348	274	3	kasch	kasch	PROPN
iajs-348	274	4	,	,	PUNCT
iajs-348	274	5	f.	f.	PROPN
iajs-348	274	6	(	(	PUNCT
iajs-348	274	7	1982	1982	NUM
iajs-348	274	8	)	)	PUNCT
iajs-348	274	9	modules	module	NOUN
iajs-348	274	10	and	and	CCONJ
iajs-348	274	11	rings	ring	NOUN
iajs-348	274	12	,	,	PUNCT
iajs-348	274	13	academic	academic	ADJ
iajs-348	274	14	press	press	NOUN
iajs-348	274	15	,	,	PUNCT
iajs-348	274	16	inc	inc	PROPN
iajs-348	274	17	-	-	PROPN
iajs-348	274	18	london	london	PROPN
iajs-348	274	19	.	.	PUNCT
iajs-348	275	1	5	5	NUM
iajs-348	275	2	.	.	X
iajs-348	275	3	nematollah	nematollah	PROPN
iajs-348	275	4	,	,	PUNCT
iajs-348	275	5	m.j	m.j	PROPN
iajs-348	275	6	.	.	PROPN
iajs-348	275	7	(	(	PUNCT
iajs-348	275	8	2009	2009	NUM
iajs-348	275	9	)	)	PUNCT
iajs-348	275	10	on	on	ADP
iajs-348	275	11	δ	δ	NOUN
iajs-348	275	12	-	-	PUNCT
iajs-348	275	13	supplemented	supplement	VERB
iajs-348	275	14	submodules	submodule	NOUN
iajs-348	275	15	,	,	PUNCT
iajs-348	275	16	tarbiat	tarbiat	PROPN
iajs-348	275	17	modlen	modlen	VERB
iajs-348	275	18	univ	univ	PROPN
iajs-348	275	19	.	.	PROPN
iajs-348	275	20	,	,	PUNCT
iajs-348	275	21	20th	20th	ADJ
iajs-348	275	22	seminar	seminar	NOUN
iajs-348	275	23	on	on	ADP
iajs-348	275	24	algebra	algebra	NOUN
iajs-348	275	25	2	2	NUM
iajs-348	275	26	-	-	SYM
iajs-348	275	27	3	3	NUM
iajs-348	275	28	ordibehesht	ordibehesht	NOUN
iajs-348	275	29	,	,	PUNCT
iajs-348	275	30	1388	1388	NUM
iajs-348	275	31	(	(	PUNCT
iajs-348	275	32	apr	apr	PROPN
iajs-348	275	33	22	22	NUM
iajs-348	275	34	-	-	SYM
iajs-348	275	35	23	23	NUM
iajs-348	275	36	)	)	PUNCT
iajs-348	275	37	,	,	PUNCT
iajs-348	275	38	155	155	NUM
iajs-348	275	39	-	-	SYM
iajs-348	275	40	158	158	NUM
iajs-348	275	41	.	.	PUNCT
iajs-348	276	1	6	6	NUM
iajs-348	276	2	.	.	X
iajs-348	277	1	hassan	hassan	PROPN
iajs-348	277	2	,	,	PUNCT
iajs-348	277	3	s.s	s.s	PROPN
iajs-348	277	4	.	.	PROPN
iajs-348	277	5	(	(	PUNCT
iajs-348	277	6	2011	2011	NUM
iajs-348	277	7	)	)	PUNCT
iajs-348	277	8	some	some	DET
iajs-348	277	9	generalizations	generalization	NOUN
iajs-348	277	10	of	of	ADP
iajs-348	277	11	δ	δ	NOUN
iajs-348	277	12	-	-	PUNCT
iajs-348	277	13	lifting	lift	VERB
iajs-348	277	14	modules	module	NOUN
iajs-348	277	15	,	,	PUNCT
iajs-348	277	16	m.sc	m.sc	PROPN
iajs-348	277	17	.	.	PUNCT
iajs-348	277	18	thesis	thesis	NOUN
iajs-348	277	19	,	,	PUNCT
iajs-348	277	20	university	university	NOUN
iajs-348	277	21	of	of	ADP
iajs-348	277	22	baghdad	baghdad	PROPN
iajs-348	277	23	.	.	PUNCT
iajs-348	278	1	7	7	X
iajs-348	278	2	.	.	X
iajs-348	278	3	desale	desale	NOUN
iajs-348	278	4	,	,	PUNCT
iajs-348	278	5	g.and	g.and	PROPN
iajs-348	278	6	nicholoson	nicholoson	NOUN
iajs-348	278	7	,	,	PUNCT
iajs-348	278	8	w.k.(1981)endoprimitive	w.k.(1981)endoprimitive	PROPN
iajs-348	278	9	ring	ring	NOUN
iajs-348	278	10	,	,	PUNCT
iajs-348	278	11	j.of	j.of	PROPN
iajs-348	278	12	algebra	algebra	NOUN
iajs-348	278	13	,	,	PUNCT
iajs-348	278	14	70	70	NUM
iajs-348	278	15	:	:	PUNCT
iajs-348	278	16	548	548	NUM
iajs-348	278	17	-	-	SYM
iajs-348	278	18	560	560	NUM
iajs-348	278	19	.	.	NOUN
iajs-348	278	20	8	8	NUM
iajs-348	278	21	.	.	PUNCT
iajs-348	279	1	mohamed	mohamed	PROPN
iajs-348	279	2	,	,	PUNCT
iajs-348	279	3	s.h	s.h	PROPN
iajs-348	279	4	.	.	PROPN
iajs-348	279	5	and	and	CCONJ
iajs-348	279	6	muller	muller	PROPN
iajs-348	279	7	,	,	PUNCT
iajs-348	279	8	b.j	b.j	PROPN
iajs-348	279	9	.	.	PROPN
iajs-348	280	1	(	(	PUNCT
iajs-348	280	2	1990)continuous	1990)continuous	ADJ
iajs-348	280	3	and	and	CCONJ
iajs-348	280	4	discrete	discrete	ADJ
iajs-348	280	5	modules	module	NOUN
iajs-348	280	6	,	,	PUNCT
iajs-348	280	7	cambridge	cambridge	PROPN
iajs-348	280	8	univ	univ	PROPN
iajs-348	280	9	.	.	PUNCT
iajs-348	281	1	press	press	PROPN
iajs-348	281	2	,	,	PUNCT
iajs-348	281	3	cambridge	cambridge	PROPN
iajs-348	281	4	.	.	PROPN
iajs-348	282	1	9	9	X
iajs-348	282	2	.	.	X
iajs-348	282	3	wang	wang	PROPN
iajs-348	282	4	,	,	PUNCT
iajs-348	282	5	y.	y.	PROPN
iajs-348	282	6	(	(	PUNCT
iajs-348	282	7	2007)δ	2007)δ	NUM
iajs-348	282	8	-	-	PUNCT
iajs-348	282	9	small	small	ADJ
iajs-348	282	10	submodules	submodule	NOUN
iajs-348	282	11	and	and	CCONJ
iajs-348	282	12	δ	δ	NOUN
iajs-348	282	13	-	-	PUNCT
iajs-348	282	14	supplemented	supplement	VERB
iajs-348	282	15	modules	module	NOUN
iajs-348	282	16	,	,	PUNCT
iajs-348	282	17	international	international	PROPN
iajs-348	282	18	j.	j.	PROPN
iajs-348	282	19	math	math	PROPN
iajs-348	282	20	.	.	PUNCT
iajs-348	283	1	and	and	CCONJ
iajs-348	283	2	mathematical	mathematical	ADJ
iajs-348	283	3	sciences	science	NOUN
iajs-348	283	4	,	,	PUNCT
iajs-348	283	5	1	1	NUM
iajs-348	283	6	-	-	SYM
iajs-348	283	7	8	8	NUM
iajs-348	283	8	.	.	PUNCT
iajs-348	283	9	10	10	NUM
iajs-348	283	10	.	.	PUNCT
iajs-348	284	1	kosan	kosan	PROPN
iajs-348	284	2	,	,	PUNCT
iajs-348	284	3	m.t	m.t	PROPN
iajs-348	284	4	.	.	PROPN
iajs-348	284	5	(	(	PUNCT
iajs-348	284	6	2007	2007	NUM
iajs-348	284	7	)	)	PUNCT
iajs-348	284	8	δ	δ	NOUN
iajs-348	284	9	-	-	PUNCT
iajs-348	284	10	lifting	lifting	NOUN
iajs-348	284	11	and	and	CCONJ
iajs-348	284	12	δ	δ	NOUN
iajs-348	284	13	-	-	PUNCT
iajs-348	284	14	supplemented	supplement	VERB
iajs-348	284	15	modules	module	NOUN
iajs-348	284	16	,	,	PUNCT
iajs-348	284	17	algebra	algebra	NOUN
iajs-348	284	18	colloguim	colloguim	PROPN
iajs-348	284	19	,	,	PUNCT
iajs-348	284	20	h	h	NOUN
iajs-348	284	21	(	(	PUNCT
iajs-348	284	22	1	1	NUM
iajs-348	284	23	)	)	PUNCT
iajs-348	284	24	,	,	PUNCT
iajs-348	284	25	5360	5360	NUM
iajs-348	284	26	.	.	PUNCT
iajs-348	285	1	11	11	NUM
iajs-348	285	2	.	.	X
iajs-348	285	3	ali	ali	PROPN
iajs-348	285	4	,	,	PUNCT
iajs-348	285	5	p.m.h	p.m.h	PROPN
iajs-348	285	6	.	.	PUNCT
iajs-348	285	7	(	(	PUNCT
iajs-348	285	8	2005	2005	NUM
iajs-348	285	9	)	)	PUNCT
iajs-348	285	10	hollow	hollow	ADJ
iajs-348	285	11	modules	module	NOUN
iajs-348	285	12	and	and	CCONJ
iajs-348	285	13	semihollow	semihollow	NOUN
iajs-348	285	14	modules	module	NOUN
iajs-348	285	15	,	,	PUNCT
iajs-348	285	16	m.sc	m.sc	PROPN
iajs-348	285	17	.	.	PUNCT
iajs-348	286	1	thesis	thesis	PROPN
iajs-348	286	2	,	,	PUNCT
iajs-348	286	3	univ	univ	PROPN
iajs-348	286	4	.	.	PROPN
iajs-348	286	5	of	of	ADP
iajs-348	286	6	baghdad	baghdad	PROPN
iajs-348	286	7	.	.	PUNCT
iajs-348	287	1	12	12	NUM
iajs-348	287	2	.	.	PUNCT
iajs-348	288	1	lomp	lomp	PROPN
iajs-348	288	2	,	,	PUNCT
iajs-348	288	3	c.	c.	PROPN
iajs-348	288	4	and	and	CCONJ
iajs-348	288	5	büyükasik	büyükasik	PROPN
iajs-348	288	6	,	,	PUNCT
iajs-348	288	7	e.	e.	PROPN
iajs-348	288	8	(	(	PUNCT
iajs-348	288	9	2009	2009	NUM
iajs-348	288	10	)	)	PUNCT
iajs-348	288	11	when	when	SCONJ
iajs-348	288	12	δ	δ	NOUN
iajs-348	288	13	-	-	PUNCT
iajs-348	288	14	semiperfect	semiperfect	ADJ
iajs-348	288	15	rings	ring	NOUN
iajs-348	288	16	are	be	AUX
iajs-348	288	17	semiperfect	semiperfect	ADJ
iajs-348	288	18	,	,	PUNCT
iajs-348	288	19	turk.j.math	turk.j.math	PROPN
iajs-348	288	20	.	.	PROPN
iajs-348	288	21	,	,	PUNCT
iajs-348	288	22	33	33	NUM
iajs-348	288	23	,	,	PUNCT
iajs-348	288	24	pp.1	pp.1	NOUN
iajs-348	288	25	-	-	PUNCT
iajs-348	288	26	8	8	NUM
iajs-348	288	27	.	.	NOUN
iajs-348	288	28	13	13	NUM
iajs-348	288	29	.	.	PUNCT
iajs-348	288	30	wisbauer	wisbauer	NOUN
iajs-348	288	31	,	,	PUNCT
iajs-348	288	32	r.	r.	PROPN
iajs-348	288	33	(	(	PUNCT
iajs-348	288	34	1991	1991	NUM
iajs-348	288	35	)	)	PUNCT
iajs-348	288	36	foundations	foundation	NOUN
iajs-348	288	37	of	of	ADP
iajs-348	288	38	modules	module	NOUN
iajs-348	288	39	and	and	CCONJ
iajs-348	288	40	rings	ring	NOUN
iajs-348	288	41	theory	theory	NOUN
iajs-348	288	42	,	,	PUNCT
iajs-348	288	43	gordon	gordon	PROPN
iajs-348	288	44	and	and	CCONJ
iajs-348	288	45	breach	breach	VERB
iajs-348	288	46	science	science	NOUN
iajs-348	288	47	publisher	publisher	NOUN
iajs-348	288	48	reading	reading	NOUN
iajs-348	288	49	.	.	PUNCT
iajs-348	289	1	249	249	NUM
iajs-348	289	2	|	|	ADV
iajs-348	289	3	mathematics	mathematics	PROPN
iajs-348	289	4	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	NUM
iajs-348	289	5	�	�	NOUN
iajs-348	289	6	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	NUM
iajs-348	289	7	:	:	PUNCT
iajs-348	289	8	a@âig@ú‹	a@âig@ú‹	PROPN
iajs-348	289	9	©	©	PROPN
iajs-348	289	10	@ü‹127@@öü»€a@i2@‚b«@h2014	@ü‹127@@öü»€a@i2@‚b«@h2014	PROPN
iajs-348	289	11	ibn	ibn	PROPN
iajs-348	289	12	al	al	PROPN
iajs-348	289	13	-	-	PUNCT
iajs-348	289	14	haitham	haitham	PROPN
iajs-348	289	15	jour	jour	X
iajs-348	289	16	.	.	PROPN
iajs-348	290	1	for	for	ADP
iajs-348	290	2	pure	pure	ADJ
iajs-348	290	3	&	&	CCONJ
iajs-348	290	4	appl	appl	PROPN
iajs-348	290	5	.	.	PUNCT
iajs-348	291	1	sci	sci	PROPN
iajs-348	291	2	.	.	PUNCT
iajs-348	291	3	vol	vol	NOUN
iajs-348	291	4	.	.	PROPN
iajs-348	292	1	27	27	NUM
iajs-348	292	2	(	(	PUNCT
iajs-348	292	3	2	2	NUM
iajs-348	292	4	)	)	PUNCT
iajs-348	292	5	2014	2014	NUM
iajs-348	292	6	δالمقاسات	δالمقاسات	PROPN
iajs-348	292	7	المجوفھ	المجوفھ	NOUN
iajs-348	292	8	من	من	PRON
iajs-348	292	9	النمط	النمط	PROPN
iajs-348	292	10	إنعام	إنعام	PROPN
iajs-348	292	11	محمد	محمد	PROPN
iajs-348	292	12	علي	علي	NOUN
iajs-348	292	13	ھادي	ھادي	NOUN
iajs-348	292	14	سمیعھ	سمیعھ	VERB
iajs-348	292	15	حسون	حسون	PROPN
iajs-348	292	16	عیدي	عیدي	PROPN
iajs-348	292	17	جامعة	جامعة	PROPN
iajs-348	292	18	بغداد	بغداد	PROPN
iajs-348	292	19	/	/	SYM
iajs-348	292	20	(	(	PUNCT
iajs-348	292	21	ابن	ابن	PROPN
iajs-348	292	22	الھیثم)كلیة	الھیثم)كلیة	PROPN
iajs-348	292	23	التربیة	التربیة	NOUN
iajs-348	292	24	للعلوم	للعلوم	NOUN
iajs-348	292	25	الصرفة	الصرفة	NOUN
iajs-348	292	26	/قسم	/قسم	PUNCT
iajs-348	292	27	الریاضیات	الریاضیات	VERB
iajs-348	292	28	2014حزیران	2014حزیران	NUM
iajs-348	292	29	22،قبل	22،قبل	PROPN
iajs-348	292	30	البحث	البحث	NOUN
iajs-348	292	31	في	في	ADP
iajs-348	292	32	2014ایار	2014ایار	NUM
iajs-348	292	33	8استلم	8استلم	NUM
iajs-348	292	34	البحث	البحث	PROPN
iajs-348	292	35	خالصةال	خالصةال	PROPN
iajs-348	292	36	مقاسا	مقاسا	NOUN
iajs-348	292	37	ً	ً	NOUN
iajs-348	292	38	مجوفا	مجوفا	NOUN
iajs-348	292	39	ً	ً	NOUN
iajs-348	292	40	اذا	اذا	NOUN
iajs-348	292	41	كان	كان	NOUN
iajs-348	292	42	m.	m.	NOUN
iajs-348	292	43	یُدعى	یُدعى	PUNCT
iajs-348	292	44	rمقاسا	rمقاسا	NOUN
iajs-348	292	45	ً	ً	PROPN
iajs-348	293	1	غیر	غیر	ADJ
iajs-348	293	2	صفري	صفري	ADJ
iajs-348	293	3	أیسر	أیسر	NOUN
iajs-348	293	4	أحادي	أحادي	NOUN
iajs-348	293	5	على	على	NOUN
iajs-348	293	6	mحلقة	mحلقة	PROPN
iajs-348	293	7	إبدالیة	إبدالیة	ADJ
iajs-348	293	8	ذات	ذات	NOUN
iajs-348	293	9	محاید	محاید	PROPN
iajs-348	293	10	ولیكن	ولیكن	VERB
iajs-348	293	11	rلتكن	rلتكن	PROPN
iajs-348	293	12	مقاس	مقاس	PROPN
iajs-348	293	13	جزئي	جزئي	NOUN
iajs-348	293	14	wلكل	wلكل	NOUN
iajs-348	293	15	n	n	PROPN
iajs-348	293	16	+	+	CCONJ
iajs-348	293	17	w	w	PROPN
iajs-348	293	18	≠	≠	PROPN
iajs-348	293	19	m	m	NUM
iajs-348	293	20	،	،	NOUN
iajs-348	293	21	ھذا	ھذا	NOUN
iajs-348	293	22	یعني	یعني	ADV
iajs-348	293	23	(	(	PUNCT
iajs-348	293	24	n	n	X
iajs-348	293	25	≪	≪	ADJ
iajs-348	293	26	m)مقاسا	m)مقاسا	NOUN
iajs-348	293	27	ً	ً	NOUN
iajs-348	293	28	جزئیا	جزئیا	NOUN
iajs-348	293	29	ً	ً	NOUN
iajs-348	293	30	صغیرا	صغیرا	ADJ
iajs-348	293	31	ً	ً	NOUN
iajs-348	293	32	mفي	mفي	NOUN
iajs-348	293	33	nكل	nكل	PROPN
iajs-348	293	34	مقاس	مقاس	PROPN
iajs-348	293	35	جزئي	جزئي	NOUN
iajs-348	293	36	فعلي	فعلي	NOUN
iajs-348	293	37	اذا	اذا	PROPN
iajs-348	293	38	s	s	PART
iajs-348	293	39	–	–	PUNCT
iajs-348	293	40	من	من	PRON
iajs-348	293	41	النمط	النمط	NOUN
iajs-348	293	42	مقاسا	مقاسا	NOUN
iajs-348	293	43	ً	ً	NOUN
iajs-348	293	44	مجوفا	مجوفا	NOUN
iajs-348	293	45	ً	ً	PROPN
iajs-348	293	46	mیُدعى	mیُدعى	PROPN
iajs-348	293	47	،	،	NOUN
iajs-348	293	48	إذ	إذ	PROPN
iajs-348	293	49	،	،	X
iajs-348	293	50	تعمیماً	تعمیماً	NOUN
iajs-348	293	51	للمقاس	للمقاس	ADJ
iajs-348	293	52	المجوفδ	المجوفδ	NOUN
iajs-348	293	53	–	–	PUNCT
iajs-348	293	54	.	.	PUNCT
iajs-348	294	1	ندرس	ندرس	NOUN
iajs-348	294	2	المقاس	المقاس	PROPN
iajs-348	294	3	المجوف	المجوف	VERB
iajs-348	294	4	من	من	ADP
iajs-348	294	5	النمط	النمط	ADJ
iajs-348	294	6	mفعلي	mفعلي	NOUN
iajs-348	294	7	في	في	X
iajs-348	294	8	(	(	PUNCT
iajs-348	294	9	δ	δ	PROPN
iajs-348	294	10	m	m	PROPN
iajs-348	294	11	-مقاس	-مقاس	PROPN
iajs-348	294	12	جزئي	جزئي	NOUN
iajs-348	294	13	صغیر	صغیر	X
iajs-348	294	14	من	من	PRON
iajs-348	294	15	النمط	النمط	PROPN
iajs-348	294	16	mفي	mفي	PROPN
iajs-348	294	17	nكان	nكان	PROPN
iajs-348	294	18	كل	كل	PROPN
iajs-348	294	19	مقاس	مقاس	PROPN
iajs-348	294	20	جزئي	جزئي	NOUN
iajs-348	294	21	فعلي	فعلي	PROPN
iajs-348	294	22	δ	δ	PROPN
iajs-348	294	23			PROPN
iajs-348	295	1	(	(	PUNCT
iajs-348	295	2	n	n	CCONJ
iajs-348	295	3	ھذا	ھذا	AUX
iajs-348	295	4	یعني	یعني	ADV
iajs-348	295	5	انn	انn	ADJ
iajs-348	295	6	+	+	CCONJ
iajs-348	295	7	w	w	PROPN
iajs-348	295	8	≠	≠	NOUN
iajs-348	295	9	m	m	VERB
iajs-348	295	10	لكل	لكل	NOUN
iajs-348	295	11	mبحیث	mبحیث	NOUN
iajs-348	295	12	mمن	mمن	PROPN
iajs-348	295	13	wمقاس	wمقاس	NOUN
iajs-348	295	14	جزئي	جزئي	NOUN
iajs-348	295	15	فعلي	فعلي	NOUN
iajs-348	296	1	w	w	NOUN
iajs-348	296	2	في	في	ADP
iajs-348	297	1	ھذا	ھذا	PROPN
iajs-348	297	2	العمل	العمل	VERB
iajs-348	297	3	الصنف	الصنف	VERB
iajs-348	297	4	من	من	DET
iajs-348	297	5	المقاسات	المقاسات	PROPN
iajs-348	297	6	ونعطي	ونعطي	PROPN
iajs-348	297	7	العدید	العدید	VERB
iajs-348	297	8	من	من	PRON
iajs-348	297	9	ندرس	ندرس	NOUN
iajs-348	297	10	مقاس	مقاس	NOUN
iajs-348	297	11	منفرد	منفرد	PROPN
iajs-348	297	12	.	.	PUNCT
iajs-348	298	1	الخواص	الخواص	PROPN
iajs-348	298	2	االساسیة	االساسیة	PROPN
iajs-348	298	3	المتعلقة	المتعلقة	PROPN
iajs-348	298	4	بھذا	بھذا	ADJ
iajs-348	298	5	المفھوم	المفھوم	NOUN
iajs-348	298	6	.	.	PUNCT
iajs-348	299	1	،	،	PROPN
iajs-348	299	2	δ	δ	PROPN
iajs-348	299	3	،	،	PROPN
iajs-348	299	4	مقاس	مقاس	PROPN
iajs-348	299	5	مجوف	مجوف	PROPN
iajs-348	299	6	،	،	PROPN
iajs-348	299	7	مقاس	مقاس	PROPN
iajs-348	299	8	مجوف	مجوف	VERB
iajs-348	300	1	من	من	X
iajs-348	300	2	النمط	النمط	PROPN
iajs-348	300	3	δمقاس	δمقاس	PROPN
iajs-348	300	4	جزئي	جزئي	NOUN
iajs-348	300	5	صغیر	صغیر	PROPN
iajs-348	300	6	،	،	PROPN
iajs-348	300	7	مقاس	مقاس	PROPN
iajs-348	300	8	جزئي	جزئي	NOUN
iajs-348	300	9	صغیرة	صغیرة	NOUN
iajs-348	300	10	من	من	PROPN
iajs-348	300	11	النمط	النمط	PROPN
iajs-348	300	12	الكلمات	الكلمات	VERB
iajs-348	300	13	المفتاحیة	المفتاحیة	ADV
iajs-348	300	14	:	:	PUNCT
iajs-348	300	15	مقاس	مقاس	NOUN
iajs-348	300	16	منفرد	منفرد	PROPN
iajs-348	300	17	،	،	PROPN
iajs-348	300	18	مقاس	مقاس	PROPN
iajs-348	300	19	غیر	غیر	PROPN
iajs-348	300	20	منفرد	منفرد	PROPN
iajs-348	300	21	.	.	PUNCT
iajs-348	301	1	250	250	NUM
iajs-348	301	2	|	|	ADV
iajs-348	301	3	mathematics	mathematics	PROPN
iajs-348	301	4	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	@a@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@úó‘ój	NUM
iajs-348	301	5	�	�	NOUN
iajs-348	301	6	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	n€a@î@úœäñ€a@‚ï‹»‹€@·ró	NUM
iajs-348	301	7	:	:	PUNCT
iajs-348	301	8	a@âig@ú‹	a@âig@ú‹	PROPN
iajs-348	301	9	©	©	PROPN
iajs-348	301	10	@ü‹127@@öü»€a@i2@‚b«@h2014	@ü‹127@@öü»€a@i2@‚b«@h2014	PROPN
iajs-348	301	11	ibn	ibn	PROPN
iajs-348	301	12	al	al	PROPN
iajs-348	301	13	-	-	PUNCT
iajs-348	301	14	haitham	haitham	PROPN
iajs-348	301	15	jour	jour	X
iajs-348	301	16	.	.	PROPN
iajs-348	302	1	for	for	ADP
iajs-348	302	2	pure	pure	ADJ
iajs-348	302	3	&	&	CCONJ
iajs-348	302	4	appl	appl	PROPN
iajs-348	302	5	.	.	PUNCT
iajs-348	303	1	sci	sci	PROPN
iajs-348	303	2	.	.	PUNCT
iajs-348	303	3	vol	vol	NOUN
iajs-348	303	4	.	.	PROPN
iajs-348	304	1	27	27	NUM
iajs-348	304	2	(	(	PUNCT
iajs-348	304	3	2	2	NUM
iajs-348	304	4	)	)	PUNCT
iajs-348	304	5	2014	2014	NUM
iajs-348	305	1	1preliminary	1preliminary	NUM
iajs-348	305	2	2basic	2basic	NUM
iajs-348	305	3	properties	property	NOUN
iajs-348	305	4	of	of	ADP
iajs-348	305	5	(	(	PUNCT
iajs-348	305	6	-hollow	-hollow	ADJ
iajs-348	305	7	modules	module	NOUN
iajs-348	305	8	3(-hollow	3(-hollow	NUM
iajs-348	305	9	modules	module	NOUN
iajs-348	305	10	and	and	CCONJ
iajs-348	305	11	other	other	ADJ
iajs-348	305	12	related	relate	VERB
iajs-348	305	13	modules	module	NOUN
iajs-348	305	14	لتكن	لتكن	NOUN
iajs-348	305	15	r	r	NOUN
iajs-348	305	16	حلقة	حلقة	PROPN
iajs-348	305	17	إبدالية	إبدالية	NOUN
iajs-348	305	18	ذات	ذات	NOUN
iajs-348	305	19	محايد	محايد	NOUN
iajs-348	305	20	وليكن	وليكن	NOUN
iajs-348	305	21	m	m	VERB
iajs-348	305	22	مقاسا	مقاسا	NOUN
iajs-348	305	23	ً	ً	NOUN
iajs-348	305	24	غير	غير	AUX
iajs-348	305	25	صفري	صفري	NOUN
iajs-348	305	26	أيسر	أيسر	NOUN
iajs-348	305	27	أحادي	أحادي	VERB
iajs-348	305	28	على	على	PROPN
iajs-348	305	29	r.	r.	PROPN
iajs-348	305	30	يُدعى	يُدعى	PROPN
iajs-348	306	1	m	m	PROPN
iajs-348	307	1	مقاسا	مقاسا	NOUN
iajs-348	307	2	ً	ً	NOUN
iajs-348	307	3	مجوفا	مجوفا	NOUN
iajs-348	307	4	ً	ً	NOUN
iajs-348	307	5	اذا	اذا	NOUN
iajs-348	307	6	كان	كان	PROPN
iajs-348	307	7	كل	كل	PROPN
iajs-348	307	8	مقاس	مقاس	PROPN
iajs-348	307	9	جزئي	جزئي	NOUN
iajs-348	307	10	فعلي	فعلي	NOUN
iajs-348	308	1	n	n	DET
iajs-348	308	2	في	في	ADP
iajs-348	308	3	m	m	VERB
iajs-348	308	4	مقاسا	مقاسا	NOUN
iajs-348	308	5	ً	ً	PROPN
iajs-348	308	6	جزئيا	جزئيا	NOUN
iajs-348	308	7	ً	ً	PUNCT
iajs-348	308	8	صغيرا	صغيرا	VERB
iajs-348	308	9	ً	ً	NOUN
iajs-348	308	10	(	(	PUNCT
iajs-348	308	11	n	n	CCONJ
iajs-348	308	12	≪	≪	ADJ
iajs-348	308	13	m	m	NOUN
iajs-348	308	14	)	)	PUNCT
iajs-348	308	15	،	،	NOUN
iajs-348	308	16	هذا	هذا	PROPN
iajs-348	308	17	يعني	يعني	PROPN
iajs-348	308	18	n	n	PROPN
iajs-348	308	19	+	+	CCONJ
iajs-348	308	20	w	w	PROPN
iajs-348	308	21	(	(	PUNCT
iajs-348	308	22	m	m	VERB
iajs-348	308	23	لكل	لكل	NOUN
iajs-348	308	24	w	w	PROPN
iajs-348	308	25	مقاس	مقاس	PROPN
iajs-348	308	26	جزئي	جزئي	NOUN
iajs-348	308	27	فعلي	فعلي	NOUN
iajs-348	308	28	في	في	SCONJ
iajs-348	308	29	m.	m.	NOUN
iajs-348	308	30	ندرس	ندرس	PROPN
iajs-348	308	31	المقاس	المقاس	PROPN
iajs-348	308	32	المجوف	المجوف	VERB
iajs-348	308	33	من	من	ADP
iajs-348	308	34	النمط	النمط	NOUN
iajs-348	308	35	–	–	PUNCT
iajs-348	308	36	(	(	PUNCT
iajs-348	308	37	...	...	PUNCT
iajs-348	308	38	الكلمات	الكلمات	ADJ
iajs-348	308	39	المفتاحية	المفتاحية	NOUN
iajs-348	308	40	:	:	PUNCT
iajs-348	308	41	مقاس	مقاس	NOUN
iajs-348	308	42	جزئي	جزئي	NOUN
iajs-348	308	43	صغير	صغير	PROPN
iajs-348	308	44	،	،	PROPN
iajs-348	308	45	مقاس	مقاس	PROPN
iajs-348	308	46	جزئي	جزئي	NOUN
iajs-348	308	47	صغيرة	صغيرة	ADP
iajs-348	308	48	من	من	PROPN
iajs-348	308	49	النمط	النمط	PROPN
iajs-348	308	50	(	(	PUNCT
iajs-348	308	51	،	،	PROPN
iajs-348	308	52	مقاس	مقاس	PROPN
iajs-348	308	53	مجوف	مجوف	PROPN
iajs-348	308	54	،	،	PROPN
iajs-348	308	55	مقاس	مقاس	PROPN
iajs-348	308	56	مجوف	مجوف	VERB
iajs-348	308	57	من	من	PRON
iajs-348	308	58	النمط	النمط	PROPN
iajs-348	308	59	(	(	PUNCT
iajs-348	308	60	،	،	PROPN
iajs-348	308	61	مقاس	مقاس	PROPN
iajs-348	308	62	منفرد	منفرد	PROPN
iajs-348	308	63	،	،	PROPN
iajs-348	308	64	مقاس	مقاس	PROPN
iajs-348	308	65	غير	غير	PROPN
iajs-348	308	66	منفرد	منفرد	VERB
iajs-348	308	67	.	.	PUNCT