On subdirect decomposition and varieties of some rings with involution. II

Igor Dolinka, Nebojša Mudrinski

We describe an effective algorithm which, for a given $n\geq1$ constructs the lattice of all varieties of (involution) rings satisfying the 'Jacobson identity` $x^{n+1}=x$.