Operator | Symbol | Meaning (General) | Meaning in Set Theory | Usage in Cryptography |
---|---|---|---|---|
Membership | Element is in a set |
|
Is a key or vector part of a keyspace | |
Non-Membership | Element is not in a set |
|
Excluded elements, invalid keys | |
Containment (Subset) | Set |
Every member of |
Subspaces, subgroup keys | |
Proper Subset | Strict inclusion |
|
Small keyspaces inside larger ones | |
For All | For every element |
Universal quantifier | Validating all keys or states | |
There Exists | There is at least one |
Existential quantifier | Existence of valid keys, collisions | |
Union | Combine all elements | Set of all elements in |
Combining keyspaces, union attacks | |
Intersection | Common elements | Set of elements in both |
Shared secrets, joint key material | |
Set Difference | Elements in |
Subtract |
Revoked keys, blacklisted vectors | |
Span | All linear combinations of |
The smallest subspace containing |
Possible key combinations, attacks | |
Basis | Minimal set generating space | Minimal generator set | Efficient encryption bases | |
Linear Transformation | Structure-preserving map | Functions between vector spaces | Encryption as linear transformations | |
Kernel (Nullspace) | Vectors mapped to zero | Solutions to |
Finding weak spots in crypto | |
Image (Range) | Output set of |
Range of transformation | What values are reachable (attack surface) | |
Orthogonal Complement | Set of vectors orthogonal to |
All vectors at 90^\circ to |
Secure orthogonal keying | |
Determinant | Scalar describing transformation | Area/volume scaling factor | Checking invertibility of key matrices | |
Inverse | Matrix that reverses |
Solves |
Decryption key from encryption matrix | |
Eigenvalues/Eigenvectors | Stretching factors/directions | Characterizes transformations | Stability of key systems, attacks | |
Modular Arithmetic | Remainder after division | Working within finite sets | Core of RSA, Diffie-Hellman | |
Scalar Multiplication | Scale vector by |
Stretching vectors | Key scaling in ECC (Elliptic Curves) |
- Membership is crucial for key verification.
- Subset and containment model subspaces (e.g., valid keyspaces).
- Span, basis, linear transformations model encryption/decryption.
- Kernel/image helps detect collisions or weaknesses.
- Modular operations keep things finite and computable.
Concept | Symbol/Notation | Set Elements | Structure Type | Notes |
---|---|---|---|---|
Binary Alphabet | 0, 1 | Finite set, forms groups under XOR | Used in computer languages, cryptography | |
Decimal Alphabet | 0โ9 | Set; group under addition mod 10 | Number systems, modular arithmetic | |
English Letters | 26 letters | Set | Foundation for string groups | |
Hexadecimal Alphabet | 0โ9, AโF | Set; group under mod 16 | Cryptography (hashes, addresses) | |
General Alphabet | Arbitrary finite symbols | Free monoid under concatenation | Language theory (strings, languages) | |
Finite Cyclic Group | Group under addition mod |
Important for modular cryptography | ||
Ring of Integers Mod n | Ring (addition and multiplication mod |
RSA, ECC arithmetic | ||
Boolean Ring | 0, 1 | Ring under XOR and AND | Logic operations, bitwise cryptography | |
Polynomial Ring | Polynomials over a field |
Ring | Error correction, coding theory | |
Vector Space Alphabet | Vectors of length |
Vector space | Symmetric ciphers, block ciphers |
===
Enumerated Set | Symbol | Members | Information Continuum Mapping | Projective Manifold Embedding |
---|---|---|---|---|
Natural Numbers | Countable infinite | Mapped via encoding (e.g., binary, Gรถdel numbering) into continuous data spaces | Points projectively mapped to |
|
Finite Alphabet | Finite | Symbol frequencies embedded into probability spaces (e.g., Shannon entropy) | Represented as discrete projective points | |
Finite Group | Finite group elements | Group elements embedded as states in code spaces | Mapped into projective representations (group actions) | |
Integers Mod n | Finite cyclic | Uniform or non-uniform mappings in modulo spaces | Cyclic projective orbits | |
Vector Space Over Finite Field | Vectors of length |
Continuous approximations via coding and error models | Projective space |
|
Binary Strings | Length |
Continuous probability distribution over |
Points in a discrete projective cube | |
Polynomials Over Fields | Polynomial coefficients | Continuum mapping via function spaces | Projective varieties | |
Matrices Over Fields |
|
Data compression, entropy mappings | Points in Grassmannians (manifold of subspaces) |
Structure Type | Symbol | Entropy |
Natural Ordering | Manifold Interpretation |
---|---|---|---|---|
Deterministic Set | Trivial (one point) | Single point manifold or delta function | ||
Finite Ordered Set | By cardinality and uniformity | Discrete points embedded into manifold with separable structure | ||
Finite Ring |
|
Natural modulo order | Circular (cyclic) manifold |
|
Finite Field | Ordered by field size | Points embedded in projective space |
||
Vector Space over |
Lex order or basis-dependent | Manifold as linear subspaces, Grassmannians | ||
Polynomial Rings | Depends on degree bound | Degree-based ordering | Projective varieties, moduli spaces | |
Random Binary Strings | Hamming weight or lex order | Discrete hypercube |
||
Permutation Group | Lexicographic or cycle notation | Symmetric group manifold (permutahedron embedding) | ||
Continuous Field Elements | Infinite entropy | No total ordering (dense) | Manifolds like |