On the congruence-subgroup problem for some anisotropic algebraic groups over number fields.
Let be a normal subgroup of a group . The structure of is given when the -conjugacy class sizes of is a set of a special kind. In fact, we give the structure of a normal subgroup under the assumption that the set of -conjugacy class sizes of is , where , and are distinct primes for , .
We prove that the converse of Theorem 9 in "On generalized inverses in C*-algebras" by Harte and Mbekhta (Studia Math. 103 (1992)) is indeed true.
For a finite abelian group G and a splitting field K of G, let (G,K) denote the largest integer l ∈ ℕ for which there is a sequence over G such that for all . If (G) denotes the Davenport constant of G, then there is the straightforward inequality (G) - 1 ≤ (G,K). Equality holds for a variety of groups, and a conjecture of W. Gao et al. states that equality holds for all groups. We offer further groups for which equality holds, but we also give the first examples of groups G for which (G) -...
This paper deals with the decidability of semigroup freeness. More precisely, the freeness problem over a semigroup S is defined as: given a finite subset X ⊆ S, decide whether each element of S has at most one factorization over X. To date, the decidabilities of the following two freeness problems have been closely examined. In 1953, Sardinas and Patterson proposed a now famous algorithm for the freeness problem over the free monoids....
This paper deals with the decidability of semigroup freeness. More precisely, the freeness problem over a semigroup S is defined as: given a finite subset X ⊆ S, decide whether each element of S has at most one factorization over X. To date, the decidabilities of the following two freeness problems have been closely examined. In 1953, Sardinas and Patterson proposed a now famous algorithm for the freeness problem over the free monoids. In 1991, Klarner, Birget and Satterfield proved the undecidability...