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

@@ 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