Automatically presented groups. (Q2372588)

Summary: We introduce the notions of automatically presented groups and piecewise automatically presented groups. We show that if \(G\) is a piecewise automatically presented group satisfying the property \(T\) of Kazhdan, then \(G\) is finite. We prove that if \(G\) is amenable and finitely presented, then \(G\) is virtually Abelian. We give further restrictions for a group to be piecewise automatically presented and study properties of such groups. We also give examples of automatically presented groups.