# OpenMath Content Dictionary: magma3

Canonical URL:
http://www.openmath.org/cd/magma3.ocd
CD Base:
http://www.openmath.org/cd
CD File:
magma3.ocd
CD as XML Encoded OpenMath:
magma3.omcd
Defines:
automorphism_group, direct_product, free_magma
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 AMC 2004-03-02


## automorphism_group

Description:

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

Signatures:
sts

 [Next: direct_product] [Last: free_magma] [Top]

## direct_product

Description:

This is an n-ary function whose arguments must be magmas. It refers to the direct product of its arguments.

Signatures:
sts

 [Next: free_magma] [Previous: automorphism_group] [Top]

## free_magma

Description:

This symbol represents a binary function. The argument is a list or a set. When evaluated on such an argument, the function represents the free magma generated by the entries of the list or set.

Example:
The free magma on the letters a, b:
$\mathrm{free_magma}\left(\left(a,b\right)\right)$
Signatures:
sts

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