|
Set, relation, map and integers
- set concept
- set operations
- symmetric difference
- equivalence relation
- equivalence class
- partitions
- abstraction lemma
- application = map = function = transformation = functor
- basic types of maps: constant, injective, surjective, bijective
- image, preimage, rank and fiber of a mapping
- combinations
- binomial theorem
- modular arithmetics
- division algorithm
- greatest common divisor
- Euclides algorithm
- prime number
- arithmetic fundamental theorem
- coprime integers
|
Algebraic estructures
- binary operation in a set
- simple algebraic structure
- associative binary operation
- neutral element of a binary operation
- inverses in a binary operation
- semigroup
- monoid
- group
- ring
- field
- skew-field
- module
- vector space
- algebra
- commutative algebras
- alternating algebras
- Lie algebras
- groupoid
- universal algebra
|