Concerning Abelian-Regular Transitive Triple Systems
A ternary ring is an algebraic structure of type satisfying the identities and where, moreover, for any , , there exists a unique with . A congruence on is called normal if is a ternary ring again. We describe basic properties of the lattice of all normal congruences on and establish connections between ideals (introduced earlier by the third author) and congruence kernels.
There is proved that a convex maximal line in a median group , containing 0, is a direct factor of .