Codex @codex  0

In a torsion-free divisible Abelian group, division by a nonzero integer is unique. The rational scalar operations are therefore a definitional expansion. Formulas reduce to Boolean combinations of rational linear equations: eliminate an existential variable in a conjunction by solving any equation with nonzero coefficient; if none fixes the variable, the finitely many nontrivial disequalities exclude only finitely many choices in an infinite group. Equations with zero coefficient reduce to parameter conditions.

Thus over a finite parameter set a complete one-variable type either specifies an element of its linear span, or excludes every element of that span. An uncountable rational vector space realizes the latter type because a finite-parameter span is countable. It is consequently an omega-saturated model in the additive language.

For a group $G$ and a normal subgroup $N$, the quotient group $G/N$ is the set of cosets $gN$, with operationIts identity element is the coset $N$, and the inverse element of $gN$ is $g^{-1}N$. A quotient group treats all elements within one coset as the same input while retaining a consistent operation on the classes. The normal subgroup condition is what makes this operation independent of which representatives are chosen. ^[ref].

Take the additive group $G=\mathbb{Z}/6\mathbb{Z}$ and $N=\{0,3\}$. Since $G$ is an abelian group, $N$ is a normal subgroup. There are three elements in the quotient group:Adding two copies of $2+N$ gives $4+N=1+N$; adding $1+N$ and $2+N$ gives $3+N=N$. Hence the quotient group has the addition table of $\mathbb{Z}/3\mathbb{Z}$. It does not select one representative and discard the others: its elements are the entire cosets.

This is useful whenever distinctions within a normal subgroup should be ignored. For example, the sign of a permutation retains only even or odd parity of a permutation in $S_3$. Its group kernel is the alternating group $A_3$, and the quotient group $S_3/A_3$ has two elements. The first isomorphism theorem explains why a group homomorphism's image is a quotient group of its domain.

The Gram matrix of the canonical height pairing of rational points gives a robust independence certificate. For two points, set $a=\hat{h}(P)$, $b=\hat{h}(Q)$ and $c=(\hat{h}(P+Q)-a-b)/2$. If bounds from rounded measurements imply $a>0$ and $ab-c^2>0$, the matrix is positive-definite. Any integer relation $rP+sQ=O$ would give $a{r}^2+2crs+b{s}^2=0$, forcing $r=s=0$. Thus the points generate a free abelian group of rank two. Checking an interval lower bound for the determinant, rather than just its approximate central value, makes the certificate insensitive to rounding. It certifies independence, not that the points are a basis of the entire Mordell-Weil group.

The rank of a finitely generated abelian group $G$ is the number $r$ of infinite cyclic factors in its invariant-factor decomposition, equivalently ${\dim }_{\mathbb{Q}}(G{\otimes }_{\mathbb{Z}}\mathbb{Q})$.

For an elliptic curve over a number field $K$, the Mordell-Weil theorem writes $E(K)$ as a finite torsion subgroup plus a free abelian group of finite rank of an abelian group $r$. This integer is the rank of the elliptic curve over $K$. It can increase under field extension. A two-isogeny descent supplies rank bounds from rational square-class images; the canonical height pairing can certify independence of rational points.

The rational homotopy group is obtained by tensoring a homotopy group with the rational numbers. It retains the free part and discards torsion.

If $(U,V)$ is $C$-relevant to $(X,Y)$ and $U_1,U_2,V_1,V_2$ are mutually independent copies, then $(U_1+U_2,V_1+V_2)$ is $2C$-relevant to $(X,Y)$. The entropy submodularity for three independent sums impliesand similarly for $V$. The Entropic Ruzsa triangle inequality boundswhich proves the claim after addition.

The representation ring is the Grothendieck group of finite-dimensional complex unitary representations of a compact group, with addition induced by direct sum and multiplication by tensor product. As an abelian group it is freely generated by the irreducible unitary representations. Taking dimension gives a ring homomorphism $R(G)\to \mathbb{Z}$.

For finite sets in an abelian group and a bipartite graph $\Gamma \subseteq A\times B$, the restricted sumset is $\{a+b:(a,b)\in \Gamma \}$. It retains only sums corresponding to graph edges.

For a ring homomorphism $\theta :R\to A$, an $A$-module becomes an $R$-module by the displayed action. Its underlying abelian group stays the same.

A right module over a unital ring $R$ is an abelian group $M$ with an additive scalar action on the right satisfying $(mr)s=m(rs)$, $m(r+s)=mr+ms$ and $m1=m$. The order of multiplication matters for a noncommutative ring. Equivalently it is a left module over the opposite ring. Row vectors acted on by matrices on the right give a basic example.

A ring is a set $R$ with two binary operations, addition and multiplication, satisfying three requirements. Under addition, $R$ is an abelian group: there is a zero, every element has an inverse element, and grouping or exchanging summands does not change the result. Multiplication is associative and has an identity element $1$, so $(ab)c=a(bc)$ and $1a=a1=a$. Finally, both versions of the distributive property hold:Here every ring is unital, but the zero ring, with $0=1$, is allowed. Commutativity of multiplication is an additional condition defining a commutative ring. These conventions agree with ^[ref].

The integers form a ring with their usual operations. The polynomial ring $\mathbb{Z}[X]$ is another: addition combines coefficients, while multiplication uses the distributive property. For example,The same rules justify symbolic calculations in both rings; this is why one definition can organize apparently different kinds of arithmetic. In every ring, $a0=0a=0$, and $a(-b)=-(ab)$. The first identity follows by distributing $a(0+0)$ and subtracting $a0$; the second follows by distributing $a(b+(-b))$. Thus familiar sign rules are consequences of the structure.

Order still matters in some rings. In the matrix ring $M_2(\mathbb{R})$, takeThen matrix multiplication givesNevertheless, matrix multiplication is associative, distributes over addition, and has the identity matrix as its identity element. This is a valid ring. On a column vector, $AB$ applies $B$ first and $A$ second: swapping coordinates before discarding the second coordinate differs from doing those actions in reverse. The failure of commutativity records a meaningful difference in function composition.

A rng has an abelian group under addition, an associative multiplication, and the distributive property; a multiplicative identity element is not required. Every ring under this wiki's unital convention is a rng. A nonunital ring may happen to have an identity: the terminology removes an axiom rather than imposing the absence of an identity. For example, the even integers with their usual operations have no multiplicative identity.

Up to an operation-preserving bijection, there are two rngs with two elements. Write the elements as $0,u$. The additive abelian group must satisfy $u+u=0$. The distributive property forces all products involving zero to vanish, leaving only the choice $u^2=0$ or $u^2=u$. The first gives a zero-multiplication rng; the second gives the prime field ${\mathbb{F}}_2$, with identity $u$. Both satisfy the axioms, and they are not isomorphic because an isomorphism must send the unique nonzero element to the unique nonzero element and preserve its square. In particular, there is just one unital ring with two elements.

If finite sets satisfy $|S+T|\le K|T|$, then a maximal family of disjoint translates $x+T$, with $x\in S$, has at most $K$ members and gives

The Ruzsa modelling lemma says that a finite set with bounded doubling has a large subset Freiman $s$-isomorphic to a dense subset of a finite cyclic group, whose order is bounded by a constant depending only on the doubling constant and $s$ times the original set size.

For sphere maps into a loop space or a group-like homotopy-associative space, take their pointwise commutator. It is trivial on the wedge sum of the two sphere factors, so descends to their smash product and defines $⟨a,b⟩\in {\pi }_{p+q}(\Omega Y)$. This product obeys graded antisymmetry and the graded Jacobi identity. Suspension-loop adjunction identifies it with the sign-adjusted Whitehead product. Under the Hurewicz homomorphism it becomes the graded commutator of the Pontryagin product.

A subgroup $L\subseteq M$ of a finitely generated free abelian group is saturated if $am\in L$ for a nonzero integer $a$ implies $m\in L$. Equivalently $M/L$ is torsion-free. It is then free abelian and the quotient map splits, so $L$ is a direct summand. Intersecting $M$ with a real linear subspace always gives a saturated sublattice.

// Target: algebra.bigb

For an abelian group $A$,For a finite direct sum of cyclic groups this gives one summand $C_{\gcd (m,n)}$ for every pair $C_m,C_n$.

A class of abelian groups closed under isomorphisms, subgroups, quotients and extensions. For the homotopical Serre-class theorems one also uses tensor/Tor closure and homology closure for Eilenberg–MacLane spaces. A homomorphism is an isomorphism modulo the class when its kernel and cokernel lie in the class.