Torsion part of \(\mathbb{Z}\)-module (Q271895): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+C12
@@ Property / Mathematics Subject Classification ID: 13C12 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C10
@@ Property / Mathematics Subject Classification ID: 13C10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B35
@@ Property / Mathematics Subject Classification ID: 03B35 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6570926
@@ Property / zbMATH DE Number: 6570926 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+torsion part of \(\mathbb{Z}\)-module
@@ Property / zbMATH Keywords: torsion part of \(\mathbb{Z}\)-module / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+torsion-free non free \(\mathbb{Z}\)-module
@@ Property / zbMATH Keywords: torsion-free non free \(\mathbb{Z}\)-module / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1515/forma-2015-0024
+Normal rank
@@ Property / OpenAlex ID @@
+W2326370346
@@ Property / OpenAlex ID: W2326370346 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of MML Query - Ordering
@@ Property / cites work: Semantics of MML Query - Ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Mizar: State-of-the-art and Beyond
@@ Property / cites work: Mizar: State-of-the-art and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+Z-modules
@@ Property / cites work: Z-modules / rank @@
+Normal rank
@@ Property / cites work @@
+Quotient Module of Z-module
@@ Property / cites work: Quotient Module of Z-module / rank @@
+Normal rank
@@ Property / cites work @@
+Free ℤ-module
@@ Property / cites work: Free ℤ-module / rank @@
+Normal rank
@@ Property / cites work @@
+Gaussian integers
@@ Property / cites work: Gaussian integers / rank @@
+Normal rank
@@ Property / cites work @@
+Submodule of free \(\mathbb Z\)-module
@@ Property / cites work: Submodule of free \(\mathbb Z\)-module / rank @@
+Normal rank
@@ Property / cites work @@
+Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module
+Normal rank
@@ Property / cites work @@
+Factoring polynomials with rational coefficients
@@ Property / cites work: Factoring polynomials with rational coefficients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4829810
@@ Property / cites work: Q4829810 / rank @@
+Normal rank
@@ Property / cites work @@
+Rank of submodule, linear transformations and linearly independent subsets of \(\mathbb Z\)-module
+Normal rank
@@ Property / cites work @@
+Q5203581
@@ Property / cites work: Q5203581 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:271895