62.59 IsIntegralNearring

IsIntegralNearring( nr )

A near-ring (N,+,cdot) with zero element 0 is called integral if it has no zero divisors, i.e. the condition forall n_1,n_2: n_1 cdot n_2 = 0 Rightarrow n_1 = 0 lor n_2 = 0 holds.

The function IsIntegralNearring returns the according value true or false for a near-ring nr.

  gap> IsIntegralNearring( LibraryNearring( "S3", 24 ) );
  true
  gap> IsIntegralNearring( LibraryNearring( "S3", 25 ) );
  false

Previous Up Top Next
Index