Faktorraum

Faktorraum is a term that arises in abstract algebra, specifically in the context of group theory and module theory. It refers to a quotient structure formed by an equivalence relation. When a group or module is partitioned into disjoint subsets, each containing elements that are equivalent to each other under a specific relation, the collection of these subsets forms a new structure called the faktorraum.

The equivalence relation is typically a congruence relation, meaning it respects the algebraic operations of the original structure. For groups, this congruence relation is usually defined by a normal subgroup. If G is a group and N is a normal subgroup of G, then the relation "a is equivalent to b if and only if ab⁻¹ is in N" is an equivalence relation. The resulting faktorraum, denoted as G/N, is called the quotient group. The elements of G/N are the cosets of N in G, and the group operation is defined on these cosets.

Similarly, in module theory, if M is a module over a ring R and K is a submodule of M, then the relation "a is equivalent to b if and only if a - b is in K" is an equivalence relation. The resulting faktorraum, denoted as M/K, is called the quotient module. Its elements are the cosets of K in M, and the module operations are defined on these cosets. The concept of a faktorraum is fundamental for understanding homomorphisms and the structure of algebraic objects.