User Paul Slevin - Mathematics Stack Exchange

bio	website	N/A
	location	Glasgow, Scotland
	age	24
visits	member for	1 year, 3 months
	seen	yesterday
stats	profile views	510

	1,822 reputation	bio	website	N/A	visits	member for	1 year, 3 months
220 badges		location	Glasgow, Scotland		seen	yesterday

2

8

votes

4

answers

246

views

Equality of two notions of tensor products over a commutative ring

commutative-algebra tensor-products

aug 24 at 20:57 ashpool 1,476

2

7

votes

2

answers

360

views

Showing that the dual space of bilinear maps $V \times W \to \mathbb{R}$ satisfies the tensor product property, for finite dimensional vector spaces.

may 1 '12 at 17:14 Paul Slevin 1,822

1

6

votes

3

answers

194

views

Are bimodules over a commutative ring always modules?

commutative-algebra tensor-products

aug 20 at 22:59 paul garrett 10.5k

1

6

votes

3

answers

209

views

Axiom of Choice (for example in the Snake Lemma)

commutative-algebra set-theory axiom-of-choice

jun 5 '12 at 4:41 Asaf Karagila 90k

1

5

votes

1

answer

145

views

Is $(gf)(X) = g ( f(X))$ in a category?

category-theory

dec 30 at 3:42 Zhen Lin 20.7k

3

5

votes

1

answer

93

views

Why can I choose to work in a strict monoidal category without loss of generality?

category-theory monoidal-categories

nov 17 at 13:57 Berci 20.4k

5

votes

2

answers

83

views

Does tensoring flat modules preserve minimal generating sets?

commutative-algebra

oct 27 at 11:14 QiL'8 15.3k

2

5

votes

2

answers

162

views

Computing an example of Ext

commutative-algebra

jun 10 '12 at 20:41 Paul Slevin 1,822

2

5

votes

2

answers

168

views

Detecting whether something is a Dedekind domain

commutative-algebra

may 21 '12 at 18:05 Pete L. Clark 44.3k

5

votes

2

answers

149

views

Suslin Trees - constructing a normal $\omega_1$ tree.

combinatorics set-theory

mar 27 '12 at 21:53 Arthur Fischer 21.2k

2

5

votes

1

answer

287

views

Finding the cardinality of a set

set-theory cardinals

mar 1 '12 at 1:50 Brian M. Scott 153k

3

4

votes

1

answer

99

views

Confusion over functors regarding universal objects

set-theory category-theory

sep 2 at 3:39 Agustí Roig 8,060

4

votes

0

answers

94

views

When do we have the condition $\operatorname{ker} f = 0 \iff f$ monic?

category-theory

jun 9 '12 at 10:16 Paul Slevin 1,822

2

4

votes

1

answer

174

views

Calculating an example of the tensor product

commutative-algebra

may 27 '12 at 0:53 Arturo Magidin 158k

1

4

votes

1

answer

129

views

Trying to find a left adjoint

category-theory

may 15 '12 at 15:13 Dylan Moreland 13.4k

1

4

votes

2

answers

124

views

Why is this set stationary?

set-theory

feb 15 '12 at 20:26 Brian M. Scott 153k

2

3

votes

1

answer

43

views

Symplectic Forms

differential-geometry symplectic-geometry

apr 11 at 21:06 Damien L 3,424

3

votes

3

answers

220

views

Definition of cofinality

set-theory ordinals

nov 26 at 19:43 Asaf Karagila 90k

1

3

votes

1

answer

61

views

Existence of a Coend in a Monoidal Category

category-theory

sep 28 at 14:15 Agustí Roig 8,060

1

3

votes

3

answers

157

views

confusion over the use of universes in category theory

category-theory

sep 23 at 16:10 Zhen Lin 20.7k

3

votes

1

answer

120

views

Proving something is the basis of a quotient space

commutative-algebra vector-spaces tensor-products

aug 31 at 14:34 paul garrett 10.5k

3

votes

1

answer

116

views

An $(R,S)$-bimodule is a left $R \otimes_k S^{\text{op}}$-module

commutative-algebra tensor-products noncommutative-algebra

aug 22 at 12:19 Paul Slevin 1,822

3

votes

1

answer

107

views

Question about Ramsey Ultrafilters

set-theory filters

jun 14 '12 at 19:19 Martin Sleziak 20.3k

2

3

votes

2

answers

128

views

Showing that if $R$ is local and $M$ an $R$-module, then $M \otimes_R (R/\mathfrak m) \cong M / \mathfrak m M$.

commutative-algebra

may 26 '12 at 19:01 Frank Murphy 629

1

3

votes

2

answers

106

views

Showing the Dimension of a Ring

commutative-algebra

may 22 '12 at 18:11 Georges Elencwajg 44.7k

2

3

votes

2

answers

197

views

How to show a ring is normal or not, and how to show the normalisation of the ring

commutative-algebra

may 21 '12 at 22:03 Justin Campbell 2,130

3

votes

1

answer

73

views

IF $\kappa$ is weakly compact, then $\kappa$ has the tree property.

combinatorics set-theory cardinals

mar 30 '12 at 18:29 Brian M. Scott 153k

3

votes

1

answer

127

views

Almost Disjoint Functions

set-theory

mar 29 '12 at 21:04 Brian M. Scott 153k

3

votes

1

answer

79

views

Constructing an Aronszajn Tree by Induction

set-theory

mar 29 '12 at 17:22 Brian M. Scott 153k

3

votes

1

answer

103

views

An increasing ${\omega}_1$-sequence of sets of size $2^{\aleph_0}$.

set-theory

mar 19 '12 at 16:16 Brian M. Scott 153k

Paul Slevin

84 Questions