PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (200)
Orphanage
Unclass'd
Unproven (490)
Corrections (6)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: Very high Entry average rating: Very high
[parent] homomorphism between algebraic systems (Definition)

Let $ (A,O),(B,O)$ be two algebraic systems with operator set $ O$. Given operators $ \omega_A$ on $ A$ and $ \omega_B$ on $ B$, with $ \omega\in O$ and $ n=$ arity of $ \omega$, a function $ f:A\to B$ is said to be compatible with $ \omega$ if

$\displaystyle f(\omega_A(a_1,\ldots,a_n))=\omega_B(f(a_1),\ldots,f(a_n)).$

Dropping the subscript, we now simply identify $ \omega\in O$ as an operator for both algebras $ A$ and $ B$. If a function $ f:A\to B$ is compatible with every operator $ \omega\in O$, then we say that $ f$ is a homomorphism from $ A$ to $ B$. If $ O$ contains a constant operator $ \omega$ such that $ a\in A$ and $ b\in B$ are two constants assigned by $ \omega$, then any homomorphism $ f$ from $ A$ to $ B$ maps $ a$ to $ b$.

Examples.

  1. When $ O$ is the empty set, any function from $ A$ to $ B$ is a homomorphism.
  2. When $ O$ is a singleton consisting of a constant operator, a homomorphism is then a function $ f$ from one pointed set $ (A,p)$ to another $ (B,q)$, such that $ f(p)=q$.
  3. A homomorphism defined in any one of the well known algebraic systems, such as groups, modules, rings, and lattices is consistent with the more general definition given here. The essential thing to remember is that a homomorphism preserves constants, so that between two rings with 1, both the additive identity 0 and the multiplicative identity 1 are preserved by this homomorphism. Similarly, a homomorphism between two bounded lattices is called a $ \lbrace 0,1\rbrace$-lattice homomorphism because it preserves both 0 and 1, the bottom and top elements of the lattices.

Remarks.

  • Like the familiar algebras, once a homomorphism is defined, special types of homomorphisms can now be named:
    • a homomorphism that is one-to-one is a monomorphism;
    • an onto homomorphism is an epimorphism;
    • an isomorphism is both a monomorphism and an epimorphism;
    • a homomorphism such that its codomain is its domain is called an endomorphism;
    • finally, an automorphism is an endomorphism that is also an isomorphism.
  • All trivial algebraic systems (of the same type) are isomorphic.
  • If $ f:A\to B$ is a homomorphism, then the image $ f(A)$ is a subalgebra of $ B$. If $ \omega_B$ is an $ n$-ary operator on $ B$, and $ c_1,\ldots,c_n\in f(A)$, then $ \omega_B(c_1,\ldots,c_n)=\omega_B(f(a_1),\ldots,f(a_n))=f(\omega_A(a_1,\ldots, a_n))\in f(A)$. $ f(A)$ is sometimes called the homomorphic image of $ f$ in $ B$ to emphasize the fact that $ f$ is a homomorphism.



"homomorphism between algebraic systems" is owned by CWoo.
(view preamble)

View style:

Also defines:  compatible function, homomorphism, monomorphism, epimorphism, endomorphism, isomorphism, automorphism, homomorphic image

This object's parent.

Attachments:
kernel of a homomorphism between algebraic systems (Definition) by CWoo
isomorphism theorems on algebraic systems (Theorem) by CWoo
Log in to rate this entry.
(view current ratings)

Cross-references: subalgebra, image, isomorphic, type, trivial algebraic systems, domain, codomain, onto, one-to-one, multiplicative identity, identity, additive, preserves, consistent, rings, modules, groups, pointed set, singleton, empty set, maps, constant operator, contains, algebras, subscript, compatible, function, arity, operators, operator set, algebraic systems
There are 72 references to this entry.

This is version 5 of homomorphism between algebraic systems, born on 2006-05-28, modified 2007-08-31.
Object id is 7934, canonical name is HomomorphismBetweenAlgebraicSystems.
Accessed 4940 times total.

Classification:
AMS MSC: 08A05 (General algebraic systems :: Algebraic structures :: Structure theory)
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)