# Category:Homomorphisms (Abstract Algebra)

Jump to navigation
Jump to search

This category contains results about **homomorphisms** in the context of **abstract algebra**.

Definitions specific to this category can be found in Definitions/Homomorphisms (Abstract Algebra).

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

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 20 subcategories, out of 20 total.

### A

- Algebra Homomorphisms (empty)

### C

### E

### F

### G

- G-Module Homomorphisms (empty)

### H

- Homomorphism of Powers (4 P)

### I

### K

- Kernels of Magma Homomorphisms (empty)

### M

- Morphism Property (4 P)

### R

### S

## Pages in category "Homomorphisms (Abstract Algebra)"

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

### C

- Composite of Homomorphisms is Homomorphism
- Composite of Homomorphisms is Homomorphism/Algebraic Structure
- Composite of Homomorphisms is Homomorphism/R-Algebraic Structure
- Composition of Mappings is Left Distributive over Homomorphism of Pointwise Operation
- Condition for Mapping between Structures to be Homomorphism
- Constant Mapping to Identity is Homomorphism

### E

- Equivalent Conditions for Entropic Structure/Mapping from External Direct Product is Homomorphism
- Equivalent Conditions for Entropic Structure/Pointwise Operation is Homomorphism
- Equivalent Conditions for Entropic Structure/Pointwise Operation of Homomorphisms from External Direct Product is Homomorphism
- Extension Theorem for Homomorphisms

### H

- Homomorphic Image of Vector Space
- Homomorphism of External Direct Products
- Homomorphism of Powers
- Homomorphism on Induced Structure to Commutative Semigroup
- Homomorphism Preserves Subsemigroups
- Homomorphism to Group Preserves Identity
- Homomorphism to Group Preserves Inverses
- Homomorphism with Cancellable Codomain Preserves Identity
- Homomorphism with Identity Preserves Inverses