MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

A set $\Sigma$ of group identities is called bounded if there is $n\geq 1$ such that for any $(w\approx 1)\in \Sigma$, we have $w\in F(x_1, \ldots, x_n)$. A variety $\mathbf{V}$ is called bounded defined if $\mathbf{V}=Mod(\Sigma)$ for some bounded set $\Sigma$.

Question: Is there an example of a bounded defined non-finitely based variety of groups?

P.S. $F(x_1, \ldots, x_n)$ is the free group of rank $n$.

share|cite|improve this question
I think there is a better way to ask this question. Let T be a "narrow" equational theory, with closure of T logically equivalent to closure of S, where S is an equational basis in group theory at most n distinct variables. Does cl(T) have a finite basis necessarily? – The Masked Avenger Jan 19 '14 at 4:29
up vote 5 down vote accepted

Yes. It is usually called a non-finitely based variety of finite axiomatic rank.

Actually, one of the first examples of non-finitely based variety of groups has axiomatic rank two; Adian proved that the following set of identities is independent: $$ \{[x^{pn},y^{pn}]^n=1\;|\; p \hbox{ is prime}\}, $$ where $n\ge 1003$ is any given odd number. Independence means that none of the laws is a consequence of the other ones.

share|cite|improve this answer
Dear Anton Klyachko, thank you for the example. Would you please check your emails? I sent a message. – M. Shahryari Jan 19 '14 at 16:46
Sorry for this question, it may be comic: the example of Adian has axiomatic rank 2 which is smaller than the axiomatic rank of the variety of groups. can you give an example of axiomatic rank >2? – M. Shahryari Jan 19 '14 at 20:14

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.