|
Magma[HasZero] - test for the existence of a (two-sided) zero element in a finite magma
|
|
Calling Sequence
|
|
HasZero( m )
|
|
|
Parameters
|
|
|
m
|
-
|
Array representing the Cayley table of a finite magma
|
|
|
|
|
|
Description
|
|
|
•
|
The HasZero command returns true if the given magma has a zero element; that is, an element z such that z*x = x*z = z, for all x in m. It returns false otherwise.
|
|
|
|
Compatibility
|
|
|
•
|
The Magma[HasZero] command was introduced in Maple 15.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
![m := Matrix([[1, 1, 1], [1, 3, 3], [1, 2, 2]])](/support/helpjp/helpview.aspx?si=8559/file02107/math77.png)
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
![m := Matrix([[1, 1, 1], [1, 1, 1], [2, 1, 1]])](/support/helpjp/helpview.aspx?si=8559/file02107/math91.png)
| (3) |
|
>
|
|
|
| (4) |
|
|
Download Help Document
Was this information helpful?
