This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.

Multiplicative units in modular arithmetic

module elementary-number-theory.multiplicative-units-standard-cyclic-rings where
Imports 




See also



ConceptFile


Acyclic mapssynthetic-homotopy-theory.acyclic-maps


Acyclic typessynthetic-homotopy-theory.acyclic-types


Acyclic undirected graphsgraph-theory.acyclic-undirected-graphs


Braceletsunivalent-combinatorics.bracelets


The category of cyclic ringsring-theory.category-of-cyclic-rings


The circlesynthetic-homotopy-theory.circle


Connected set bundles over the circlesynthetic-homotopy-theory.connected-set-bundles-circle


Cyclic finite typesunivalent-combinatorics.cyclic-finite-types


Cyclic groupsgroup-theory.cyclic-groups


Cyclic higher groupshigher-group-theory.cyclic-higher-groups


Cyclic ringsring-theory.cyclic-rings


Cyclic typesstructured-types.cyclic-types


Euler's totient functionelementary-number-theory.eulers-totient-function


Finitely cyclic mapselementary-number-theory.finitely-cyclic-maps


Generating elements of groupsgroup-theory.generating-elements-groups


Hatcher's acyclic typesynthetic-homotopy-theory.hatchers-acyclic-type


Homomorphisms of cyclic ringsring-theory.homomorphisms-cyclic-rings


Infinite cyclic typessynthetic-homotopy-theory.infinite-cyclic-types


Multiplicative units in the standard cyclic ringselementary-number-theory.multiplicative-units-standard-cyclic-rings


Necklacesunivalent-combinatorics.necklaces


Polygonsgraph-theory.polygons


The poset of cyclic ringsring-theory.poset-of-cyclic-rings


Standard cyclic groups (ℤ/k)elementary-number-theory.standard-cyclic-groups


Standard cyclic rings (ℤ/k)elementary-number-theory.standard-cyclic-rings