Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
3,031
Quantifying Residual Finiteness
"... We introduce the notion of quantifying the extent to which a finitely generated group is residually finite. We investigate this behavior for examples that include free groups, the first Grigorchuk group, finitely generated nilpotent groups, and certain arithmetic groups such as SLn(Z). In the contex ..."
Abstract
-
Cited by 23 (7 self)
- Add to MetaCart
We introduce the notion of quantifying the extent to which a finitely generated group is residually finite. We investigate this behavior for examples that include free groups, the first Grigorchuk group, finitely generated nilpotent groups, and certain arithmetic groups such as SLn
Residual finite state automata
-
, 2002
"... We define a new variety of Non Deterministic Automata: a Residual Finite State Automata is a NFA all the states of which define residual languages of the language it recognizes. We prove that every regular language is recognized by a unique (canonical) RFSA which has a minimal number of states and a ..."
Abstract
-
Cited by 16 (5 self)
- Add to MetaCart
We define a new variety of Non Deterministic Automata: a Residual Finite State Automata is a NFA all the states of which define residual languages of the language it recognizes. We prove that every regular language is recognized by a unique (canonical) RFSA which has a minimal number of states
ARBITRARILY LARGE RESIDUAL FINITENESS GROWTH
"... Abstract. The residual finiteness growth of a group quantifies how well ap-proximated the group is by its finite quotients. In this paper, we construct groups with arbitrarily large residual finiteness growth. We also demonstrate a new relationship between residual finiteness growth and some decisio ..."
Abstract
-
Cited by 5 (2 self)
- Add to MetaCart
Abstract. The residual finiteness growth of a group quantifies how well ap-proximated the group is by its finite quotients. In this paper, we construct groups with arbitrarily large residual finiteness growth. We also demonstrate a new relationship between residual finiteness growth and some
Residual Finite Tree Automata
- In Proceedings of the seventh int. conf. developments in Language Theory DLT’03, number 2710 in Lecture Notes in Computer Science
, 2003
"... Tree automata based algorithms are essential in many fields in computer science such as verification, specification, program analysis. They become also essential for databases with... ..."
Abstract
-
Cited by 7 (1 self)
- Add to MetaCart
Tree automata based algorithms are essential in many fields in computer science such as verification, specification, program analysis. They become also essential for databases with...
Non-linear residually finite groups
- J. Algebra
"... We prove that groups 〈a, b, t | tat −1 = a k, tbt −1 = b l 〉 are not linear provided k, l ̸∈ {−1, 1}. As a consequence we obtain the first example of a non-linear residually finite 1-related group. 1 ..."
Abstract
-
Cited by 8 (1 self)
- Add to MetaCart
We prove that groups 〈a, b, t | tat −1 = a k, tbt −1 = b l 〉 are not linear provided k, l ̸∈ {−1, 1}. As a consequence we obtain the first example of a non-linear residually finite 1-related group. 1
RESIDUALLY FINITE VARIETIES OF NONASSOCIATIVE ALGEBRAS
"... We prove that if V is a residually finite variety of nonassociative algebras over a finite field, and the enveloping algebra of each finite member of V is finitely generated as a module over its center, then V is generated by a single finite algebra. ..."
Abstract
- Add to MetaCart
We prove that if V is a residually finite variety of nonassociative algebras over a finite field, and the enveloping algebra of each finite member of V is finitely generated as a module over its center, then V is generated by a single finite algebra.
On a Class of Residually Finite Groups
, 2003
"... Let kn, be positive integers and kttt,,, 10 … be non-zero integers. We denote by)(nWk the class of groups G in which, for every subset X of G of cardinality 1+n, there exist a subset XX ⊆0, with,1||2 0 +≤ ≤ nX, and a function 0},,2,1,0{: Xkf → … , with)1()0 ( ff ≠ such that 1],,, [ 10 10 =ktktt ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
=ktktt xxx … where)(: ifxi = , ki,,1,0 … =. The class)( * nWk is defined exactly as)(nWk, with additional conditions “ Hx j ∈ whenever Hx jtj ∈, where GHx jtj ≤ ≠ ”. Let G be a finitely generated residually finite group. Here we prove that (1) If)(nWG k ∈ , then G has a normal nilpotent subgroup N
Residual finiteness growths of virtually special groups
"... Abstract. Let G be a virtually special group. Then the residual finiteness growth of G is at most linear. This result cannot be found by embedding G into a special linear group. Indeed, the special linear group SLk(Z), for k> 2, has residual finiteness growth nk−1. ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Abstract. Let G be a virtually special group. Then the residual finiteness growth of G is at most linear. This result cannot be found by embedding G into a special linear group. Indeed, the special linear group SLk(Z), for k> 2, has residual finiteness growth nk−1.
Residually finite dimensional and AF-embeddable C∗-algebras
, 2000
"... We show that every separable nuclear residually finite dimensional C-algebras satisfying the Universal Coefficient Theorem can be embedded into a unital separable simple AF-algebra. ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
We show that every separable nuclear residually finite dimensional C-algebras satisfying the Universal Coefficient Theorem can be embedded into a unital separable simple AF-algebra.
Results 1 - 10
of
3,031
