# Category:Homomorphisms

This category contains results about Homomorphisms in the context of Abstract Algebra.

Definitions specific to this category can be found in Definitions/Homomorphisms.

Let $\struct {S, \circ}$ and $\struct {T, *}$ be magmas.

Let $\phi: \struct {S, \circ} \to \struct {T, *}$ be a mapping from $\struct {S, \circ}$ to $\struct {T, *}$.

Let $\circ$ have the morphism property under $\phi$, that is:

- $\forall x, y \in S: \map \phi {x \circ y} = \map \phi x * \map \phi y$

Then $\phi$ is a **homomorphism**.

## Subcategories

This category has the following 11 subcategories, out of 11 total.

### A

### E

### F

### G

### I

### M

### Q

### R

### S

## Pages in category "Homomorphisms"

The following 27 pages are in this category, out of 27 total.

### C

### H

- Homomorphic Image of Vector Space
- Homomorphism of External Direct Products
- Homomorphism of External Direct Products/General Result
- Homomorphism of Powers
- Homomorphism of Powers/Integers
- Homomorphism of Powers/Natural Numbers
- Homomorphism of Powers/Naturally Ordered Semigroup
- Homomorphism on Induced Structure
- Homomorphism Preserves Subsemigroups
- Homomorphism to Group Preserves Identity
- Homomorphism to Group Preserves Inverses
- Homomorphism with Cancellable Codomain Preserves Identity
- Homomorphism with Identity Preserves Inverses