Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|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 at 4:29

1 Answer 1

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|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 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 at 20:14

Your Answer

 
discard

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.