OpenMath Content Dictionary: magma2

Canonical URL:
http://www.openmath.org/cd/magma2.ocd
CD Base:
http://www.openmath.org/cd
CD File:
magma2.ocd
CD as XML Encoded OpenMath:
magma2.omcd
Defines:
is_automorphism, is_endomorphism, is_homomorphism, is_isomorphism, isomorphic
Date:
2004-06-01
Version:
1 (Revision 2)
Review Date:
2006-06-01
Status:
experimental

Basic functions for magma theory

Initiated by Arjeh M. Cohen 2003-10-03
Edited by Arjeh M. Cohen 2004-03-02

is_homomorphism

Description:

This symbol is a boolean function with three arguments. The first and arguments are magmas M, N, the third is a map f from the element set of M to the element set of N. When applied to M, N, and f, it denotes that f is a magma homomorphism from M to N.

Commented Mathematical property (CMP):
If is_homomorphism(M,N,f) then, for each pair of elements x, y of M, we have f(x * y) = f(x) * f(y).
Formal Mathematical property (FMP):
is_homomorphism ( M , N , f ) x , y . x carrier ( M ) y carrier ( G ) f ( x y ) = f ( y ) f ( x )
Example:
is_homomorphism ( M , N , f )
Signatures:
sts


[Next: is_isomorphism] [Last: isomorphic] [Top]

is_isomorphism

Description:

This symbol is a boolean function with three arguments. The first and arguments are magmas M, N, the third is a map f from the element set of M to the element set of N. When applied to M, N, and f, it denotes that f is a magma isomorphism from M to N. This means that f is a homomorphism from M to N, that f is bijective, and that its inverse is a homomorphism from N to M.

Example:
is_isomorphism ( M , N , f )
Signatures:
sts


[Next: is_endomorphism] [Previous: is_homomorphism] [Top]

is_endomorphism

Description:

This symbol is a boolean function with two arguments. The first argument is a magma M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes that f is a magma endomorphism from M to M.

Commented Mathematical property (CMP):
If is_endomorphism(M,f) then is_homomorphism(M,M,f)
Formal Mathematical property (FMP):
is_endomorphism ( M , f ) is_homomorphism ( M , M , f )
Example:
is_endomorphism ( M , f )
Signatures:
sts


[Next: is_automorphism] [Previous: is_isomorphism] [Top]

is_automorphism

Description:

This symbol is a boolean function with two arguments. The first is a magma M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes a magma automorphism f of M.

Commented Mathematical property (CMP):
If is_automorphism(M,f) then is_isomorphism(M,M,f)
Formal Mathematical property (FMP):
is_automorphism ( M , f ) is_isomorphism ( M , M , f )
Example:
is_automorphism ( M , f )
Signatures:
sts


[Next: isomorphic] [Previous: is_endomorphism] [Top]

isomorphic

Description:

This symbol is a Boolean function with n arguments, n at least 2, which are magmas. When applied to M_1, ..., M_n, it denotes the fact that there is an isomorphism from each M_i to each M_j.

Example:
isomorphic ( M , N )
Signatures:
sts


[First: is_homomorphism] [Previous: is_automorphism] [Top]