Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Abstract   Suppose that  T  is an equational theory of groups or of rings. If  T  is finitely axiomatizable, then there is a least number  μ  so that  T  can be axiomatized by  μ  equations. This  μ  can depend on the operation symbols that occur in  T . In the 1960s, Tarski and Green completely determined the values of  μ  for arbitrary equational theories of groups and of rings. While Tarski and Green announced the results of their collaboration in 1970, the only fuller publication of their work occurred as part of a seminar led by Tarski at Berkeley during the 1968–69 academic year. The present paper gives a full account of their findings and their proofs.
['George F. McNulty']
I am writing a research paper on a idea Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green
[{"from": "human", "value": "I am writing a research paper on a idea Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Abstract   Suppose that  T  is an equational theory of groups or of rings. If  T  is finitely axiomatizable, then there is a least number  \u03bc  so that  T  can be axiomatized by  \u03bc  equations. This  \u03bc  can depend on the operation symbols that occur in  T . In the 1960s, Tarski and Green completely determined the values of  \u03bc  for arbitrary equational theories of groups and of rings. While Tarski and Green announced the results of their collaboration in 1970, the only fuller publication of their work occurred as part of a seminar led by Tarski at Berkeley during the 1968\u201369 academic year. The present paper gives a full account of their findings and their proofs."}]