Solving open problems in right alternative rings with Z-module reasoning (Q1825048)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Solving open problems in right alternative rings with Z-module reasoning |
scientific article |
Statements
Solving open problems in right alternative rings with Z-module reasoning (English)
0 references
1989
0 references
Some problems about right alternative rings are solved with the Z-module reasoning system. This system is designed to solve problems in abelian groups, with some extra structure, exploiting the \({\mathbb{Z}}\)-module structure of the group. In this case the extra structure is that of a right alternative ring, i.e. a non-associative ring for which \(x(yy)=xyy\) and \(x(yzy)=xyzy\) holds, with the convention that \(xyz=(xy)z\). The Z- module reasoning system transforms the axioms into equations in a finite dimensional \({\mathbb{Z}}\)-module and uses a variant of Gaussian elimination to solve the equations. The theorems that are derived with the system are the following. First the law \(x(yzy)=xyzy\) is derivable rom \(x(yy)=xyy\), when 2x\(\neq 0\). Second, when 3x\(\neq 0\) and the ring is commutative, then it is associative. Finally, it is derived that \((x,x,y)^ 2x^ n(x,x,y)^ 2=0\) for all n, where (x,y,z) is a notation for xyz-x(yz).
0 references
theorem proving
0 references
non-associative ring
0 references
reasoning system
0 references