Loi de composition interne sur E : une application E×E→E, (x,y)↦x∗y. Elle peut être associative, commutative, et avoir un élément neutre e, tel que x∗e=e∗x=x pour tout x∈E ; s'il existe, le neutre est unique.
Symétrique. Pour une loi associative de neutre e, x′ est un symétrique de x si x∗x′=x′∗x=e ; il est unique s'il existe. Le symétrique d'un composé inverse l'ordre : (x∗y)′=y′∗x′.
Groupe : une loi associative, avec un neutre, pour laquelle chaque élément a un symétrique ; le groupe est abélien si la loi est commutative. Exemples : (Z,+), (R∗,×), (U,×) où U est l'ensemble des complexes de module 1, et les bijections d'un ensemble dans lui-même pour ∘.
Sous-groupe. Une partie H d'un groupe G est un sous-groupe si e∈H et si x∗y′∈H pour tous x,y∈H ; H est alors un groupe pour la même loi. Les sous-groupes de (Z,+) sont les nZ, n∈N.
Morphismes. f:(G,∗)→(G′,⋆) est un morphisme de groupes si f(x∗y)=f(x)⋆f(y) pour tous x,y∈G ; alors f(e)=e′ et f(x′) est le symétrique de f(x). Le noyau kerf={x∈G:f(x)=e′} est un sous-groupe de G, et f est injective si et seulement si kerf={e}.
Anneaux et corps. Dans un anneau (A,+,×), (A,+) est un groupe abélien, et × est associative, distributive sur +, avec un neutre 1A. Un corps est un anneau commutatif, avec 1A=0A, dont tout élément non nul est inversible : Q, R, C et Z/pZ pour p premier en sont ; Z et K[X] sont des anneaux qui n'en sont pas.