|
Magma[IsSubMagma] - test whether a set is a submagma of a given magma
|
|
Calling Sequence
|
|
IsSubMagma( ss, m )
|
|
|
Parameters
|
|
|
s
|
-
|
subset of the domain of the magma m
|
|
m
|
-
|
Array representing the Cayley table of a finite magma
|
|
|
|
|
|
Description
|
|
|
•
|
A submagma of a magma is a subset that is closed under the specified binary operation. Note that the empty set if vacuously a submagma of any magma. Also, every magma is a submagma of itself.
|
|
•
|
The IsSubMagma( ss, m ) command returns true if the set ss is a submagma of the magma m, and returns false otherwise.
|
|
|
|
Compatibility
|
|
|
•
|
The Magma[IsSubMagma] command was introduced in Maple 15.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
![m := Matrix([[3, 5, 3, 4, 3], [2, 5, 2, 3, 3], [4, 3, 1, 4, 2], [3, 2, 1, 1, 1], [5, 2, 4, 5, 4]])](/support/helpjp/helpview.aspx?si=8601/file02154/math88.png)
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
|
|
| (5) |
|
|
Download Help Document
Was this information helpful?
