Đến nội dung

Hình ảnh

$Z$ không đẳng cấu với nhóm cộng trên bất kì không gian vector nào

- - - - - isomorphic field vector space

  • Please log in to reply
Chủ đề này có 1 trả lời

#1
bangbang1412

bangbang1412

    Độc cô cầu bại

  • Phó Quản lý Toán Cao cấp
  • 1667 Bài viết

Chứng minh rằng $Z$ không đẳng cấu với nhóm cộng không gian vecto trên bất kì trường nào . 

Ý tưởng em thì như này gọi $V$ là không gian vecto trên trường $K$ nào đó . Gọi đẳng cấu là :

$$\phi : (V , +) \to (Z , +)$$

Xét ánh xạ sau với $w \in K , w \neq 0$

$$f : K \to V$$

$$a \to aw$$

Khi đó đây là đơn cấu vì nếu $aw=bw => (a-b)w=0$ nếu $a-b \neq 0$ thì nó khả nghịch và do đó $w = 0$ nên trái giả sử . Nên nhóm cộng của $K$ đẳng cấu với nhóm con của $Z$ , thương hóa nó được trường hữu tỷ ( trong TH đặc số bằng $0$ còn khác $0$ thì hiển nhiên ) , nên ta có một đẳng cấu từ $Q$ vào nhóm con của $Z$ gọi là $h : Q \to S \subset Z$

Ta dễ thấy công thức $h(1)=2h(\frac{1}{2})$ nên $\frac{1}{2}h(1)=h(\frac{1}{2})$ nhưng khi đó $h^{-1}(\frac{1}{2}h(1))$ không tồn tại vì $\frac{1}{2}$ không nguyên 

:D Không biết các cao nhân có cao kiến gì không


Bài viết đã được chỉnh sửa nội dung bởi bangbang1412: 01-07-2017 - 21:57

$$[\Psi_f(\mathbb{1}_{X_{\eta}}) ] = \sum_{\varnothing \neq J} (-1)^{\left|J \right|-1} [\mathrm{M}_{X_{\sigma},c}^{\vee}(\widetilde{D}_J^{\circ} \times_k \mathbf{G}_{m,k}^{\left|J \right|-1})] \in K_0(\mathbf{SH}_{\mathfrak{M},ct}(X_{\sigma})).$$


#2
vutuanhien

vutuanhien

    Thiếu úy

  • ĐHV Toán Cao cấp
  • 690 Bài viết

Chứng minh rằng $Z$ không đẳng cấu với nhóm cộng không gian vecto trên bất kì trường nào . 

Ý tưởng em thì như này gọi $V$ là không gian vecto trên trường $K$ nào đó . Gọi đẳng cấu là :

$$\phi : (V , +) \to (Z , +)$$

Xét ánh xạ sau với $w \in K , w \neq 0$

$$f : K \to V$$

$$a \to aw$$

Khi đó đây là đơn cấu vì nếu $aw=bw => (a-b)w=0$ nếu $a-b \neq 0$ thì nó khả nghịch và do đó $w = 0$ nên trái giả sử . Nên nhóm cộng của $K$ đẳng cấu với nhóm con của $Z$ , thương hóa nó được trường hữu tỷ ( trong TH đặc số bằng $0$ còn khác $0$ thì hiển nhiên ) , nên ta có một đẳng cấu từ $Q$ vào nhóm con của $Z$ gọi là $h : Q \to S \subset Z$

Ta dễ thấy công thức $h(1)=2h(\frac{1}{2})$ nên $\frac{1}{2}h(1)=h(\frac{1}{2})$ nhưng khi đó $h^{-1}(\frac{1}{2}h(1))$ không tồn tại vì $\frac{1}{2}$ không nguyên 

:D Không biết các cao nhân có cao kiến gì không

Xem lại đoạn thương hóa với tính phổ dụng như đã trao đổi ban nãy nhé.

Bài này xét hai trường hợp:

Trường hợp 1: Đặc số của $\mathbb{K}$ khác $2$. Khi đó do $\phi$ là đẳng cấu nên tồn tại $v\in V$ mà $\phi(v)=1$. Suy ra $1=\phi(v)=\phi(v.2^{-1}+v.2^{-1})=2\phi(v.2^{-1})$, vô lý vì không tồn tại số nguyên $z$ mà $2z=1$. Ở đây $2^{-1}$ là nghịch đảo của $2$ trong trường $\mathbb{K}$.

Trường hợp 2: Đặc số của $\mathbb{K}$ bằng $2$. Khi đó ta có $0=\phi(0)=\phi(1+1)=2\phi(1)$ nên $\phi(1)=0=\phi(0)$, tức là $1=0$ do $\phi$ là song ánh. Điều này vô lý. 

Vậy tóm lại ta có đpcm.


"The first analogy that came to my mind is of immersing the nut in some softening liquid, and why not simply water? From time to time you rub so the liquid penetrates better, and otherwise you let time pass. The shell becomes more flexible through weeks and months—when the time is ripe, hand pressure is enough, the shell opens like a perfectly ripened avocado!" - Grothendieck






Được gắn nhãn với một hoặc nhiều trong số những từ khóa sau: isomorphic, field, vector space

2 người đang xem chủ đề

0 thành viên, 2 khách, 0 thành viên ẩn danh