OpenMath Content Dictionary: semigroup4

Canonical URL:

http://www.openmath.org/cd/semigroup4.ocd

CD Base:

http://www.openmath.org/cd

CD File:

semigroup4.ocd

CD as XML Encoded OpenMath:

semigroup4.omcd

Defines:

automorphism_group, homomorphism_by_generators

Date:

2004-06-01

Version:

1 (Revision 1)

Review Date:

2006-06-01

Status:

experimental

---

A CD of functions for morphisms of semigroups.

Written by Arjeh M. Cohen 2004-07-07

---

automorphism_group

Description:

This is a function with a single argument which must be a semigroup. It refers to the automorphism group of its argument.

Signatures:

sts

---

[Next: homomorphism_by_generators] [Last: homomorphism_by_generators] [Top]

---

homomorphism_by_generators

Description:

This is a function with three arguments the first two of which must be semigroups F and K. The third argument should be a set or a list L of ordered pairs (lists of length 2). Each pair [x,y] from L consists of an element x from F and an element y from K. when applied to F, K, and L, the symbol represents the homomorphism from F to K that maps the first entry x of each pair [x,y] to the second entry y of the same pair.

Signatures:

sts

---

[First: automorphism_group] [Previous: automorphism_group] [Top]