homomorphic image of a Σ-structure is a Σ-structure


Let Σ be a fixed signaturePlanetmathPlanetmathPlanetmath, and 𝔄 and 𝔅 two structuresMathworldPlanetmath for Σ. If f:𝔄𝔅 is a homomorphismPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath, then im(f) is a structure for Σ.

Title homomorphic image of a Σ-structure is a Σ-structure
Canonical name HomomorphicImageOfASigmastructureIsASigmastructure
Date of creation 2013-03-22 13:46:44
Last modified on 2013-03-22 13:46:44
Owner almann (2526)
Last modified by almann (2526)
Numerical id 6
Author almann (2526)
Entry type Theorem
Classification msc 03C05
Classification msc 03C07