Submodule of free \(\mathbb Z\)-module
type: Item
instance of: scholarly article
title: Submodule of free \(\mathbb Z\)-module
zbMATH Open document ID: 1298.13013
author: Yuichi Futa
author: Hiroyuki Okazaki
author: Yasunari Shidama
published in: Formalized Mathematics
publication date: 2014-11-05T00:00:00Z
Mathematics Subject Classification ID: 13C10
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6365911
zbMATH Keywords: free \(\mathbb Z\)-module
zbMATH Keywords: submodule of free \(\mathbb Z\)-module
MaRDI profile type: Publication
full work available at URL: forma-2013-0029
OpenAlex ID: W2006694045
cites work: Semantics of MML query -- ordering
cites work: \(\mathbb Z\)-modules
cites work: Quotient module of \(\mathbb Z\)-module
cites work: Free \(\mathbb Z\)-module
cites work: Gaussian integers
cites work: Q4829810
cites work: Q5203581
DOI: 10.2478/FORMA-2013-0029
Recommended article: Free \(\mathbb Z\)-module
Recommended article: Free submodules of indecomposable modules.
Recommended article: Radicals of submodules of free modules
Recommended article: Free modules with two distinguished submodules
Recommended article: Q3789728
Recommended article: Submodules of a torsion-free and finitely generated module over a Dedekind ring
Recommended article: Q2992066
Recommended article: On subrings of free rings
Recommended article: Free sets and free subsemimodules in a semimodule
Recommended article: \(\mathbb Z\)-modules
description: scientific article; zbMATH DE number 6365911