·

How to construct a field that is larger than the complex numbers $\mathbb{C}$?

Published at 2024-10-15 19:04:35Viewed 182 times
Academic article
·
Note
Please reprint with source link
Writing categories

In this article, we discuss the following questions:

Can we extend the complex numbers in any way such that $\mathbb{C} \subset\mathbb{C}[a]$ ? Or is $\mathbb{C}$ the extension to end all extensions?

Surrounding these questions, we will provide two methods that extend the complex field $\mathbb{C}$.

Method 1: The cartesian product of fields $$P = {\Bbb C}\times{\Bbb C}\times\cdots$$ isn't a field because has zero divisors: $$(0,1,0,1,\cdots)(1,0,1,0\cdots)=(0,0,0,0,\cdots).$$

But a quotient will be a field. Let $\mathcal U$ be a nonprincipal ultrafilter on $\Bbb N$. Define

$$(a_1,a_2,\cdots)\sim(b_1,b_2,\cdots)$$ when $$\{n\in\Bbb N\,\vert\, a_n=b_n\}\in\mathcal U.$$

The quotient $F = P/\sim$ is a field strictly bigger (in the sense of cardinality) than $\mathbb{C}$, which is called ultraproduct. And the inclusion $\Bbb C\longrightarrow F$ is obvious.

Method 2: Given any field, we can always construct bigger fields. If our field isn't algebraically closed, we can adjoin new roots of polynomials, otherwise we can adjoin transcendental elements (which is equivalent to forming a field of rational functions). In fact, every field extension is an algebraic extension of a purely transcendental extension.

(As $\Bbb C$ is algebraically closed, it has no algebraic extensions, so no finite ones.)

In particular, $\Bbb C(T)$ (the field of rational functions in the variable T𝑇 with complex coefficients) is bigger than $\Bbb C$ in the sense of set-theoretic inclusion. However, the algebraic closure has the same cardinality as $\Bbb C$ itself, and therefore is abstractly isomorphic to $\Bbb C$, which means there exists a way to embed $\Bbb C(T)$ inside $\Bbb C$. If we want to go bigger in the sense of cardinality, we can form the field of complex-coefficient rational functions in $\kappa$-many variables, where $\kappa$ is a cardinal number bigger than the continuum $\mathfrak{c}=|\mathbb{C}|$. This is certainly bigger!

Note that there is no subring of the polynomial ring $\Bbb C(T)$ that is a field and which strictly contained $\Bbb C$ itself, for if there were then it would contain some nonconstant $f(T)$, hence contain the nonpolynomial element $f(T)^{−1}$, which is impossible inside $\mathbb{C}[T]$.

Note also that fields of different characteristic are incompatible: fields of different characteristic can never be contained inside a common field. So not only is there not a field to end all fields, but the "class of all fields" juts out in different, mutually exclusive directions (one for each prime, and zero).

Comments

There is no comment, let's add the first one.

弦圈热门内容

Django change an existing field to foreign key

I have a Django model that used to look like this:class Car(models.Model): manufacturer_id = models.IntegerField()There is another model called Manufacturer that the id field refers to. However, I realized that it would be useful to use Django's built-in foreign key functionality, so I changed the model to this:class Car(models.Model): manufacturer = models.ForeignKey(Manufacturer)This change appears to work fine immediately, queries work without errors, but when I try to run migrations, Django outputs the following:- Remove field manufacturer_id from car - Add field manufacturer to carDoing this migration would clear all the existing relationships in the database, so I don't want to do that. I don't really want any migrations at all, since queries like Car.objects.get(manufacturer__name="Toyota") work fine. I would like a proper database foreign key constraint, but it's not a high priority.So my question is this: Is there a way to make a migration or something else that allows me to convert an existing field to a foreign key? I cannot use --fake since I need to reliably work across dev, prod, and my coworkers' computers.内容来源于 Stack Overflow, 遵循 CCBY-SA 4.0 许可协议进行翻译与使用。原文链接:Django change an existing field to foreign key

Get connected with us on social networks! Twitter

©2024 Guangzhou Sinephony Technology Co., Ltd All Rights Reserved