Tara B

4,098 reputation

930

bio	website
	location	Scotland
	age	30
visits	member for	1 year, 2 months
	seen	May 16 at 22:36
stats	profile views	918

I do research on groups, semigroups, and especially interactions between algebra and formal language theory. My non-research interests include combinatorics, elementary number theory and topology.

	4,098 reputation	bio	website		visits	member for	1 year, 2 months
930 badges		location	Scotland		seen	May 16 at 22:36

summary answers questions tags badges favorites bounties reputation activity

116 Answers

votes activity newest

41	How is the set of all programs countable?
20	Is this group abelian?
16	Let $p$ be a prime. Prove that $p$ divides $ab^p−ba^p$ for all integers $a$ and $b$.
13	No permutation of $S_4$ satisfying the expression.
12	Is there an infinite simple group with no element of order $2$?

4,098 Reputation

+10	Proof by induction; $a^n$ divides $b^n$ implies $a$ divides $b$
+10	How is the set of all programs countable?
+5	Why is a matrix $A\in \operatorname{SL}(2,\mathbb{R})$ with $\|\operatorname{tr}(A)\|<2$ conjugate to a matrix of the following form?
-2	Associativity with one operation or two (or more) operations

3 Questions

votes activity newest

12	Why is a matrix $A\in \operatorname{SL}(2,\mathbb{R})$ with $\|\operatorname{tr}(A)\|<2$ conjugate to a matrix of the following form?
8	Name for a function whose image has smaller cardinality than its domain
1	Finitely generated subgroups of direct limits of groups

72 Tags

118 group-theory × 38	25 semigroups × 16
67 abstract-algebra × 27	24 automata × 14
54 computer-science × 6	19 finite-groups × 7
53 elementary-set-theory × 9	17 homework × 10
39 elementary-number-theory × 8	16 formal-languages × 10

6 Accounts

$Mathematics Stack Exchange$	Mathematics	4,098 rep	930
	Academia	983 rep	28
	German Language & Usage	338 rep	15
	Computer Science	236 rep	14
	Theoretical Computer Science	103 rep	4