Commutativity theorems in groups with power-like maps

DOI10.6092/ISSN.1972-5787/8751MaRDI QIDQ5195291zbMATH OpenOpenAlexFDO

Authors R. Padmanabhan, Yang Zhang

Publication date 18 September 2019

Full work available at URL https://doaj.org/article/bbeef9bafdfa4a7c9be4c67170a4b612

zbMATH Keywords

groupspower-like mapsProver9

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Axiomatics and elementary properties of groups (20A05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Automated reasoning with power maps
• Commutativity theorems for certain rings with polynomial constraints
• A Commutattvity Theorem for Rings and Groups
• scientific article; zbMATH DE number 1033882
• scientific article; zbMATH DE number 3861381

Cites work

• A Commutattvity Theorem for Rings and Groups
• Automated deduction in equational logic and cubic curves
• Commutativity theorems for cancellative semigroups
• Commutativity theorems for groups and semigroups
• scientific article; zbMATH DE number 3830157 (Why is no real title available?)
• scientific article; zbMATH DE number 125206 (Why is no real title available?)
• Mathematical induction in Otter-lambda
• Some semigroup laws in groups

Cited in

(7)

• On commutators and powers in groups. II
• Automated reasoning with power maps
• POWER MAPS ON SPECIAL ORTHOGONAL GROUPS
• scientific article; zbMATH DE number 1295583 (Why is no real title available?)
• scientific article; zbMATH DE number 2144675 (Why is no real title available?)
• The formalization of group theory knowledge and solving
• Power-like maps in n-abelian semigroups

Describes a project that uses

Uses Software

• OTTER
• Prover9

This page was built for publication: Commutativity theorems in groups with power-like maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5195291)