Fundamental Lemma of Altermagnetism (FLAM)

• Fundamental Lemma of Altermagnetism (FLAM) is a symmetry-based framework defining criteria for altermagnetic and alterferrimagnetic phases.
• It uses crystallographic space groups, halving subgroups, and Wyckoff site symmetries to predict momentum-dependent spin splitting and zero net magnetization.
• FLAM enables systematic screening of materials, guiding the design of novel spintronics systems and advancing quantum transport research.

The Fundamental Lemma of Altermagnetism (FLAM) establishes an exact symmetry-based criterion for the existence of altermagnetic and alterferrimagnetic phases in collinear magnetic crystals. Altermagnetism, characterized by zero net magnetization and alternating spin-momentum locked band structures, is sharply distinguished from conventional ferromagnetism and antiferromagnetism by its symmetry group properties and band-structure phenomenology. FLAM formalizes the interplay between crystallographic space groups, halving subgroups, and site symmetries in predicting and classifying these phases, providing a symmetry-driven framework for materials design and electronic structure analysis (Šmejkal et al., 2021, Barman et al., 29 Dec 2025).

1. Formal Statement and Mathematical Foundation

FLAM precisely characterizes the necessary and sufficient crystallographic conditions under which a collinear, non-relativistic magnetic material manifests an altermagnetic phase. Let $G$ represent the parent crystallographic space group of the system, and $H \subset G$ denote an index–2 normal (halving) subgroup, i.e., $[G\!:\!H]=2$ ($G = H \cup A H$, $A \notin H$), with inversion $\mathcal P$ and any centering translation $t$ required to reside in $H$ if present in $G$ (Barman et al., 29 Dec 2025). The Wyckoff position populated by magnetic ions must have even multiplicity, and its site-symmetry group $\mathbf W$ must satisfy $\mathbf W \subseteq H \triangleleft G$.

This framework yields the symmetry-augmented spin space group: $$\mathcal G_{\rm spin} = \{[\mathfrak I \mid h], [\mathfrak C_2 \mid g]\} \quad h\in H, \ g\in G-H$$ with $\mathfrak I$ the spin identity, $\mathfrak C_2$ a 180° spin rotation. The symmetry acts on Bloch bands via: $$[\mathfrak C_2 \mid A]\,\varepsilon_j(\sigma, \mathbf k) = \varepsilon_j(-\sigma, A\,\mathbf k)$$ and imposes the spectral constraints: $$\varepsilon(s, \mathbf k) = \varepsilon(s, -\mathbf k), \quad \varepsilon(s, \mathbf k) = \varepsilon(-s, A\,\mathbf k)$$ These conditions guarantee zero net magnetization, local spin-splitting that alternates in momentum, and equal populations of up/down Fermi surfaces.

2. Spin-Group Theory and Classification

The spin-group formalism delineates three essential types of collinear spin orders by combining spin $\{E, C_2\}$ and crystallographic group $G$ (Šmejkal et al., 2021):

Type	Spin Group Construction	Physical Hallmark
Type I (FM/FiM)	$[E \parallel G]$	Non-degenerate bands; $M\neq 0$
Type II (AFM)	$[E \parallel G] \cup [C_2 \parallel G]$	Kramers-like degeneracy; $M=0$
Type III (AM & AFiM)	$[E \parallel H] \cup [C_2 \parallel G-H]$	Momentum-dependent spin splitting; $M=0$

For the altermagnetic class (Type III), only $H$ maps "same-spin" sites while $G-H$ maps to "opposite-spin" sites, facilitating a local spin polarization with a vanishing global moment.

3. Band Structure Phenomenology and Spin-Momentum Locking

Altermagnetic bands display extraordinary spin splitting driven by local electric crystal fields, distinct from global magnetization or relativistic (spin-orbit) effects. The defining spectral relations, enforced by the non-trivial spin Laue group $R_s^3$, yield inversion-even, two-fold split iso-surfaces with no Kramers degeneracy at generic $\mathbf k$ (Šmejkal et al., 2021):

• $$\varepsilon(s, \mathbf k) = \varepsilon(s, -\mathbf k)$$ (inversion symmetry in the spectrum; independent of actual inversion in $G$)
• $$\varepsilon(s, \mathbf k) = \varepsilon(-s, A\,\mathbf{k})$$ (coset-induced spin-mapping)

Near the zone center $\Gamma$, the spin splitting manifests as six distinct planar or bulk spin textures with even winding number $W \in \{2, 4, 6\}$. The representative $k \cdot p$ models for these textures are:

Texture Type	Winding Number $W$	Model Hamiltonian
Planar d-wave	2	$H_{P-2} = J k_x k_y \cdot \sigma_z$
Planar g-wave	4	$H_{P-4} = J k_x k_y (k_x^2-k_y^2) \cdot \sigma_z$
Bulk i-wave	6	$$H_{B-6} = J (k_x^2-k_y^2)(k_y^2-k_z^2)(k_z^2-k_x^2)\cdot \sigma_z$$

These spin textures are classified by the interplay of $G$, $H$, and $A$.

4. Alterferrimagnetism: Generalization and Criteria

Alterferrimagnetism (AFiM) generalizes altermagnetism to fully compensated ferrimagnetic systems. Each magnetic species (A, B, …) resides on fully compensated Wyckoff sites with even multiplicity and compatible site-symmetry subgroup: at least one $\mathbf W \subseteq H$ (Barman et al., 29 Dec 2025). The SSG formalism admits a common halving subgroup acting independently on each sublattice, yielding Type III SSG and momentum-dependent, sign-alternating spin polarization within the Brillouin zone. The polarization of band $j$ is defined as: $$P_j(\mathbf{k}) = \frac{\varepsilon_j(\uparrow, \mathbf{k}) - \varepsilon_j(\downarrow, \mathbf{k})} {\varepsilon_j(\uparrow, \mathbf{k}) + \varepsilon_j(\downarrow, \mathbf{k})}$$ with symmetry-imposed alternation: $$\varepsilon_j(\uparrow, \mathbf{k}) = \varepsilon_j(\downarrow, R\,\mathbf{k})$$ for $R \in G-H$.

A plausible implication is that alterferrimagnetism expands the candidate pool for spin-momentum locked phases to complex multi-sublattice systems, contingent on compatible Wyckoff positions and halving subgroup structure.

5. Distinction from Conventional Magnetic Phases

Altermagnets (and alterferrimagnets) are uniquely identified by the absence of net magnetization ($M=0$), the existence of spin-split bands (no global Kramers degeneracy), and momentum-alternating spin polarization. This sharply contrasts with:

• Ferromagnets/Ferrimagnets: $R_s^I$ spin group, net $M\neq 0$, no twofold spin-mapping.
• Collinear Antiferromagnets: $R_s^{II}$ spin group, strict Kramers degeneracy ($$\varepsilon(s, \mathbf{k}) = \varepsilon(-s, \mathbf{k})$$), no spin-momentum locking.

In altermagnetic/alterferrimagnetic phases ($R_s^3$-type SSG), the coset structure ($G = H \cup A H$) enables local spin splitting and compensates global moments, a symmetry property not present in Type I or II systems.

6. Representative Materials and Practical Application

Experimentally relevant examples include:

• KRu₄O₈ (I4/m, tetragonal): $G=2/m$, $H=2/m$, $A=C_{4z}$; realizes planar $W=2$ textures and crystalline nodal lines (Šmejkal et al., 2021).
• CrSb, MnTe (P6₃/mmc, hexagonal NiAs type): Magnetic cations on 2a with $D_{3d}$ site symmetry; $H \cong D_{3d}$; confirmed alternating spin splitting and bulk $W=4$, in agreement with ARPES and DFT (Barman et al., 29 Dec 2025).
• La₂CuO₄ (orthorhombic): $G=2/m$, $H=2/m$, $A=C_{2y}$; observes planar $W=2$ via DFT.
• LaMO₃ (perovskites, M=Cr,Mn,Fe): $G=P\,nma$, magnetic $M$ on 4a ($C_i$ site symmetry), stacked order determined by choice of $H$.
• CuFePO₅ (alterferrimagnet): 4a (Cu, $C_i$) and 4c (Fe, $C_s$) Wyckoff positions, both compatible with a common halving subgroup, yielding Type III SSG and altermagnetic-like spin splitting.

FLAM enables predictive screening for altermagnetic and alterferrimagnetic materials through purely symmetry-based crystallographic analysis, obviating exhaustive band-structure calculations.

7. Consequences, Methodology, and Outlook

FLAM distills the search for altermagnetic phases to two algorithmic steps:

1. Identification of index–2 normal (halving) subgroups $H \triangleleft G$ that include relevant inversion/translation symmetries.
2. Verification that the site-symmetry group $\mathbf W$ for magnetic ions sits entirely within $H$, and that the Wyckoff multiplicity is even.

This symmetry-centric methodology provides rigorous a priori constraints for candidate selection in large materials databases and fundamental understanding of collinear, zero-magnetization phases with k-dependent spin splitting. The theory's extension to alterferrimagnetism enlarges the set of systems accessible to non-relativistic spintronics, quantum transport, and unconventional magnetic order (Barman et al., 29 Dec 2025).

A plausible implication is that ongoing advances in mapping Wyckoff multiplicities and site symmetries in crystal structure repositories will greatly facilitate systematic discovery of both altermagnetic and alterferrimagnetic compounds by direct application of FLAM.